Regression: Unresolved calls from printing string and parsing on Julia 1.13+

[jakobnissen]

This occurs using JuliaC 0.2.2 on Julia 1.13-alpha2 and on recent master.
If I compile the following package:

module FooPkg

function @main(ARGS)
    s = string(parse(Int, ARGS[1]))
    println(Core.stdout, s)
    return 0
end

end # module FooPkg

Using the command: juliac --output-exe myapp --bundle build --trim=safe --experimental .

Then it compiles fine on Julia 1.12, but throws 10 verifier errors on Julia 1.13 and 1.14.

Verifier errors (click to expand)

``` Verifier error #1: unresolved call from statement Base._str_sizehint(φ ()::Any)::Int64 Stacktrace: [1] print_to_string(::String, ::Vararg{Any}) @ Base strings/io.jl:138 [2] string(::String, ::Int64) @ Base strings/io.jl:184 [inlined] [3] prevind(s::String, i::Int64, n::Int64) @ Base strings/basic.jl:506 [4] prevind(s::String, i::Int64) @ Base strings/basic.jl:503 [inlined] [5] prevind(s::String, i::UInt64) @ Base strings/basic.jl:502 [inlined] [6] match(re::Regex, str::String, idx::Int64, add_opts::UInt32) @ Base regex.jl:441 [7] match(re::Regex, str::String, idx::Int64) @ Base regex.jl:432 [inlined] [8] match(r::Regex, s::String) @ Base regex.jl:477 [inlined] [9] _splitdir_nodrive(a::String, b::String) @ Base.Filesystem path.jl:157 [10] splitdir(path::String) @ Base.Filesystem path.jl:151 [inlined] [11] dirname(path::String) @ Base.Filesystem path.jl:183 [inlined] [12] __init__() @ libblastrampoline_jll ./libblastrampoline_jll/src/libblastrampoline_jll.jl:58

Verifier error #2: unresolved call from statement Base.print(%new()::IOBuffer, φ ()::Any)::Any
Stacktrace:
[1] print_to_string(::String, ::Vararg{Any})
@ Base strings/io.jl:143
[2] string(::String, ::Int64)
@ Base strings/io.jl:184 [inlined]
[3] prevind(s::String, i::Int64, n::Int64)
@ Base strings/basic.jl:506
[4] prevind(s::String, i::Int64)
@ Base strings/basic.jl:503 [inlined]
[5] prevind(s::String, i::UInt64)
@ Base strings/basic.jl:502 [inlined]
[6] match(re::Regex, str::String, idx::Int64, add_opts::UInt32)
@ Base regex.jl:441
[7] match(re::Regex, str::String, idx::Int64)
@ Base regex.jl:432 [inlined]
[8] match(r::Regex, s::String)
@ Base regex.jl:477 [inlined]
[9] _splitdir_nodrive(a::String, b::String)
@ Base.Filesystem path.jl:157
[10] splitdir(path::String)
@ Base.Filesystem path.jl:151 [inlined]
[11] dirname(path::String)
@ Base.Filesystem path.jl:183 [inlined]
[12] init()
@ libblastrampoline_jll ./libblastrampoline_jll/src/libblastrampoline_jll.jl:58

Verifier error #3: unresolved call from statement Base.IOContext(%new()::IOBuffer, Base.stderr::IO)::IOContext{IOBuffer}
Stacktrace:
[1] wait_forever()
@ Base task.jl:1173

Verifier error #4: unresolved call from statement Base.write(Base.stderr::IO, Base.IOContext(%new()::IOBuffer, Base.stderr::IO)::IOContext{IOBuffer})::Any
Stacktrace:
[1] wait_forever()
@ Base task.jl:1176

Verifier error #5: unresolved call from statement Core.kwcall(%new()::@NamedTuple{backtrace::Bool}, Base.showerror, io::IOContext{IOBuffer}, Base.getfield(Base.memoryrefget(Base.memoryrefnew(Base.getfield(Base.getfield(stack::Base.ExceptionStack, :stack)::Vector{NamedTuple{(:exception, :backtrace)}}, :ref)::MemoryRef{NamedTuple{(:exception, :backtrace)}}, φ ()::Int64, false::Bool)::MemoryRef{NamedTuple{(:exception, :backtrace)}}, :not_atomic, false::Bool)::NamedTuple{(:exception, :backtrace)}, 1)::Any, Base.getfield(Base.memoryrefget(Base.memoryrefnew(Base.getfield(Base.getfield(stack::Base.ExceptionStack, :stack)::Vector{NamedTuple{(:exception, :backtrace)}}, :ref)::MemoryRef{NamedTuple{(:exception, :backtrace)}}, φ ()::Int64, false::Bool)::MemoryRef{NamedTuple{(:exception, :backtrace)}}, :not_atomic, false::Bool)::NamedTuple{(:exception, :backtrace)}, 2)::Any)::Any
Stacktrace:
[1] show_exception_stack(io::IOContext{IOBuffer}, stack::Base.ExceptionStack)
@ Base errorshow.jl:1114
[2] display_error(io::IOContext{IOBuffer}, stack::Base.ExceptionStack)
@ Base client.jl:110
[3] wait_forever()
@ Base task.jl:1175

Verifier error #6: unresolved call from statement (f::Function)(%new()::IOContext{IOBuffer}, Core.getfield(args::Tuple{String}, 1)::String)::Any
Stacktrace:
[1] with_output_color(f::Function, color::Symbol, io::IOContext{IOBuffer}, args::String; bold::Bool, italic::Bool, underline::Bool, blink::Bool, reverse::Bool, hidden::Bool)
@ Base util.jl:78
[2] printstyled(io::IOContext{IOBuffer}, msg::String; bold::Bool, italic::Bool, underline::Bool, blink::Bool, reverse::Bool, hidden::Bool, color::Symbol)
@ Base util.jl:141 [inlined]
[3] display_error(io::IOContext{IOBuffer}, stack::Base.ExceptionStack)
@ Base client.jl:109
[4] wait_forever()
@ Base task.jl:1175

Verifier error #7: unresolved call from statement Base.print(io::IOBuffer, φ ()::Any)::Any
Stacktrace:
[1] print(::IOBuffer, ::String, ::SubString{String}, ::Vararg{Any})
@ Base strings/io.jl:46
[2] with_output_color(f::Function, color::Symbol, io::IOContext{IOBuffer}, args::String; bold::Bool, italic::Bool, underline::Bool, blink::Bool, reverse::Bool, hidden::Bool)
@ Base util.jl:110
[3] printstyled(io::IOContext{IOBuffer}, msg::String; bold::Bool, italic::Bool, underline::Bool, blink::Bool, reverse::Bool, hidden::Bool, color::Symbol)
@ Base util.jl:141 [inlined]
[4] display_error(io::IOContext{IOBuffer}, stack::Base.ExceptionStack)
@ Base client.jl:109
[5] wait_forever()
@ Base task.jl:1175

Verifier error #8: unresolved call from statement (f::Function)(%new()::IOContext{IOBuffer}, Core.getfield(args::Tuple{String}, 1)::String)::Any
Stacktrace:
[1] with_output_color(f::Function, color::Int64, io::IOContext{IOBuffer}, args::String; bold::Bool, italic::Bool, underline::Bool, blink::Bool, reverse::Bool, hidden::Bool)
@ Base util.jl:78
[2] printstyled(io::IOContext{IOBuffer}, msg::String; bold::Bool, italic::Bool, underline::Bool, blink::Bool, reverse::Bool, hidden::Bool, color::Int64)
@ Base util.jl:141 [inlined]
[3] display_error(io::IOContext{IOBuffer}, stack::Base.ExceptionStack)
@ Base client.jl:109
[4] wait_forever()
@ Base task.jl:1175

Verifier error #9: unresolved call from statement Base._str_sizehint(φ ()::Any)::Int64
Stacktrace:
[1] print_to_string(::String, ::Vararg{Any})
@ Base strings/io.jl:138
[2] string(::String, ::Int64)
@ Base strings/io.jl:184 [inlined]
[3] prevind(s::String, i::Int64, n::Int64)
@ Base strings/basic.jl:506
[4] prevind(s::String, i::Int64)
@ Base strings/basic.jl:503 [inlined]
[5] prevind(s::String, i::UInt64)
@ Base strings/basic.jl:502 [inlined]
[6] match(re::Regex, str::String, idx::Int64, add_opts::UInt32)
@ Base regex.jl:441
[7] match(re::Regex, str::String, idx::Int64)
@ Base regex.jl:432 [inlined]
[8] match(r::Regex, s::String)
@ Base regex.jl:477 [inlined]
[9] _splitdir_nodrive(a::String, b::String)
@ Base.Filesystem path.jl:157
[10] splitdir(path::String)
@ Base.Filesystem path.jl:151 [inlined]
[11] dirname(path::String)
@ Base.Filesystem path.jl:183 [inlined]
[12] init()
@ libblastrampoline_jll ./libblastrampoline_jll/src/libblastrampoline_jll.jl:58

Verifier error #10: unresolved call from statement Base.print(%new()::IOBuffer, φ ()::Any)::Any
Stacktrace:
[1] print_to_string(::String, ::Vararg{Any})
@ Base strings/io.jl:143
[2] string(::String, ::Int64)
@ Base strings/io.jl:184 [inlined]
[3] prevind(s::String, i::Int64, n::Int64)
@ Base strings/basic.jl:506
[4] prevind(s::String, i::Int64)
@ Base strings/basic.jl:503 [inlined]
[5] prevind(s::String, i::UInt64)
@ Base strings/basic.jl:502 [inlined]
[6] match(re::Regex, str::String, idx::Int64, add_opts::UInt32)
@ Base regex.jl:441
[7] match(re::Regex, str::String, idx::Int64)
@ Base regex.jl:432 [inlined]
[8] match(r::Regex, s::String)
@ Base regex.jl:477 [inlined]
[9] _splitdir_nodrive(a::String, b::String)
@ Base.Filesystem path.jl:157
[10] splitdir(path::String)
@ Base.Filesystem path.jl:151 [inlined]
[11] dirname(path::String)
@ Base.Filesystem path.jl:183 [inlined]
[12] init()
@ libblastrampoline_jll ./libblastrampoline_jll/src/libblastrampoline_jll.jl:58

Trim verify finished with 10 errors, 0 warnings.

</details>

[visr]

Yes besides the verifier errors I also see an UndefVarError on Windows, as shown in #47 (comment).

Now that this lives in a separate repo it might be good to run CI for prereleases (version = 'pre')