Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

IR Verification failed -- Unbound or partitioned GlobalRef not allowed in value position #57537

Open
KristofferC opened this issue Feb 26, 2025 · 0 comments
Labels
compiler:inference Type inference regression Regression in behavior compared to a previous version
Milestone

Comments

@KristofferC
Copy link
Member

These packages

 "AbstractCosmologicalEmulators"
 "FinancialToolbox"
 "Gadfly"
 "HierarchicalEOM"
 "JOLI"
 "MarginalLogDensities"
 "Polynomials4ML"
 "SignalTemporalLogic"
 "SymbolicAnalysis"

fail on 1.12 with

Unbound or partitioned GlobalRef not allowed in value position
Internal error: during type inference of
...
ErrorException("IR verification failed.\n

Some example logs:


https://s3.amazonaws.com/julialang-reports/nanosoldier/pkgeval/by_hash/c78016e_vs_d63aded/Gadfly.primary.log

Unbound or partitioned GlobalRef not allowed in value position
Internal error: during type inference of
gridstack(Array{Gadfly.Plot, 2})
Encountered unexpected error in runtime:
ErrorException("IR verification failed.\n    Code location: /home/pkgeval/.julia/packages/Gadfly/OQ068/src/aesthetics.jl:337\n  Method instance: MethodInstance for Gadfly.by_xy_group(::Gadfly.Aesthetics, ::Nothing, ::Nothing, ::Any, ::Any)")
error at ./error.jl:54
unknown function (ip: 0x7f6c819884ca) at (unknown file)
_jl_invoke at /source/src/gf.c:3475 [inlined]
ijl_apply_generic at /source/src/gf.c:3675

https://s3.amazonaws.com/julialang-reports/nanosoldier/pkgeval/by_hash/c78016e_vs_d63aded/HierarchicalEOM.primary.log

Unbound or partitioned GlobalRef not allowed in value position
Internal error: during type inference of
collect(Base.Generator{Base.UnitRange{Int64}, Main.var"#8#9"{Array{QuantumToolbox.QuantumObject{QuantumToolbox.OperatorQuantumObject, QuantumToolbox.Dimensions{1, Tuple{QuantumToolbox.Space}}, Base.ReshapedArray{Base.Complex{Float64}, 2, SparseArrays.SparseVector{Base.Complex{Float64}, Int64}, Tuple{}}}, 1}, Array{QuantumToolbox.QuantumObject{QuantumToolbox.OperatorQuantumObject, QuantumToolbox.Dimensions{1, Tuple{QuantumToolbox.Space}}, Base.ReshapedArray{Base.Complex{Float64}, 2, SparseArrays.SparseVector{Base.Complex{Float64}, Int64}, Tuple{}}}, 1}}})
Encountered unexpected error in runtime:
ErrorException("IR verification failed.\n    Code location: abstractarray.jl:1233\n  Method instance: MethodInstance for iterate(::Base.ReshapedArray{ComplexF64, 2, SparseVector{ComplexF64, Int64}, Tuple{}}, ::Any)")
error at ./error.jl:54
unknown function (ip: 0x737205d77efa) at (unknown fil

https://s3.amazonaws.com/julialang-reports/nanosoldier/pkgeval/by_hash/c78016e_vs_d63aded/JOLI.primary.log

Unbound or partitioned GlobalRef not allowed in value position
Internal error: during type inference of
_pullback(Zygote.Context{false}, Main.var"#497#498", Array{Float32, 1})
Encountered unexpected error in runtime:
ErrorException("IR verification failed.\n    Code location: /home/pkgeval/.julia/packages/JOLI/2dSnd/test/test_rrules.jl:8\n  Method instance: MethodInstance for ZygoteRules._pullback(::Zygote.Context{false}, ::var\"#497#498\", ::Vector{Float32})")
error at ./error.jl:54
unknown function (ip: 0x6ffbed915fda) at (unknown file)
@KristofferC KristofferC added this to the 1.12 milestone Feb 26, 2025
@KristofferC KristofferC added compiler:inference Type inference regression Regression in behavior compared to a previous version labels Feb 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
compiler:inference Type inference regression Regression in behavior compared to a previous version
Projects
None yet
Development

No branches or pull requests

1 participant