Access to undefined reference in verify_method

[fredrikekre]

From https://github.com/Ferrite-FEM/Ferrite.jl/actions/runs/14664097559/job/41154858674?pr=1162#step:6:372:

ERROR: LoadError: UndefRefError: access to undefined reference
Stacktrace:
  [1] getproperty
    @ ./Base_compiler.jl:54 [inlined]
  [2] needs_instrumentation(codeinst::Core.CodeInstance, mi::Core.MethodInstance, def::Method, validation_world::UInt64)
    @ Base.StaticData ./staticdata.jl:94
  [3] verify_method(codeinst::Core.CodeInstance, stack::Vector{Core.CodeInstance}, visiting::IdDict{Core.CodeInstance, Int64}, mwis::IdSet{Method}, validation_world::UInt64)
    @ Base.StaticData ./staticdata.jl:134
  [4] verify_method(codeinst::Core.CodeInstance, stack::Vector{Core.CodeInstance}, visiting::IdDict{Core.CodeInstance, Int64}, mwis::IdSet{Method}, validation_world::UInt64) (repeats 2 times)
    @ Base.StaticData ./staticdata.jl:243
  [5] verify_method_graph(codeinst::Core.CodeInstance, stack::Vector{Core.CodeInstance}, visiting::IdDict{Core.CodeInstance, Int64}, mwis::IdSet{Method}, validation_world::UInt64)
    @ Base.StaticData ./staticdata.jl:68
  [6] _insert_backedges(edges::Vector{Any}, stack::Vector{Core.CodeInstance}, visiting::IdDict{Core.CodeInstance, Int64}, mwis::IdSet{Method}, external::Bool)
    @ Base.StaticData ./staticdata.jl:42
  [7] _insert_backedges
    @ ./staticdata.jl:39 [inlined]
  [8] insert_backedges
    @ ./staticdata.jl:32 [inlined]
  [9] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::String, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1289
 [10] _include_from_serialized
    @ ./loading.jl:1246 [inlined]
 [11] _require_search_from_serialized(pkg::Base.PkgId, sourcepath::String, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String})
    @ Base ./loading.jl:2087
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2599
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2465
 [14] macro expansion
    @ ./loading.jl:2393 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2358
 [17] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2334
 [18] include(mod::Module, _path::String)
    @ Base ./Base.jl:303
 [19] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String)
    @ Base ./loading.jl:2978

Julia Version 1.13.0-DEV.444
Commit ead23dbe103 (2025-04-25 00:34 UTC)

[lmiq]

Same issue here but with 1.12-beta2.

edit: The issue is Linux-specific. The same runs on MacOS and Windows precompile fine.

[vtjnash]

Probably a duplicate of #57457. CI failing with -t (the default) is a known issue since January the merge of those two PRs