concretization of :foreigncall

[goerch]

Testing with a reduced MWE from #224

using Libdl

let
    llvmpaths = filter(lib -> occursin(r"LLVM\b", basename(lib)), Libdl.dllist())
    if length(llvmpaths) != 1
        throw(ArgumentError("Found one or multiple LLVM libraries"))
    end
    libllvm = Libdl.dlopen(llvmpaths[1])
    gethostcpufeatures = Libdl.dlsym(libllvm, :LLVMGetHostCPUFeatures)
    features_cstring = ccall(gethostcpufeatures, Cstring, ())
    features = split(unsafe_string(features_cstring), ',')
    Libc.free(features_cstring)
    features
end

reveals

ERROR: BoundsError: attempt to access 31-element Vector{Bool} at index [32]
Stacktrace:
  [1] getindex
    @ .\array.jl:921 [inlined]
  [2] selective_eval!(recurse::Any, frame::JuliaInterpreter.Frame, isrequired::Vector{Bool}, istoplevel::Bool)
    @ LoweredCodeUtils C:\Users\Win10\.julia\packages\LoweredCodeUtils\jZY56\src\codeedges.jl:848
  [3] selective_eval_fromstart!
    @ C:\Users\Win10\.julia\packages\LoweredCodeUtils\jZY56\src\codeedges.jl:875 [inlined]
  [4] partially_interpret!(interp::JET.ConcreteInterpreter{JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, Expr}, mod::Module, src::Core.CodeInfo)
    @ JET C:\Users\Win10\Documents\GitHub\JET.jl\src\toplevel\virtualprocess.jl:799
  [5] _virtual_process!(toplevelex::Expr, filename::String, analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, config::JET.ToplevelConfig{Expr}, context::Module, res::JET.VirtualProcessResult)
    @ JET C:\Users\Win10\Documents\GitHub\JET.jl\src\toplevel\virtualprocess.jl:630
  [6] _virtual_process!(s::String, filename::String, analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, config::JET.ToplevelConfig{Expr}, context::Module, res::JET.VirtualProcessResult)
    @ JET C:\Users\Win10\Documents\GitHub\JET.jl\src\toplevel\virtualprocess.jl:432
  [7] virtual_process(x::String, filename::String, analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, config::JET.ToplevelConfig{Expr})
    @ JET C:\Users\Win10\Documents\GitHub\JET.jl\src\toplevel\virtualprocess.jl:301
  [8] report_text(text::String, filename::String; analyzer::Type{JET.JETAnalyzer}, source::String, jetconfigs::Base.Pairs{Symbol, IOContext{Base.TTY}, Tuple{Symbol}, NamedTuple{(:toplevel_logger,), Tuple{IOContext{Base.TTY}}}})
    @ JET C:\Users\Win10\Documents\GitHub\JET.jl\src\JET.jl:1003
  [9] report_file(filename::String; __default_configs::Tuple{Pair{Symbol, IOContext{Base.TTY}}}, source::Nothing, jetconfigs::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}})
    @ JET C:\Users\Win10\Documents\GitHub\JET.jl\src\JET.jl:826
 [10] report_file(filename::String)
    @ JET C:\Users\Win10\Documents\GitHub\JET.jl\src\JET.jl:801
 [11] top-level scope
    @ none:1

[goerch]

It looks to me as if Frame(mod, src) in

    selective_eval_fromstart!(interp, Frame(mod, src), concretize, #= istoplevel =# true)

might change the length of src?

[aviatesk]

BoundsError is fixed, but we still need to figure out a way to successfully interpret :foreigncall expressions.

[goerch]

Works after @aviatesk `s last commit.