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

MethodError(f=Core.Compiler.:(⊑) ... when testing some packages #47249

Closed
KristofferC opened this issue Oct 20, 2022 · 0 comments
Closed

MethodError(f=Core.Compiler.:(⊑) ... when testing some packages #47249

KristofferC opened this issue Oct 20, 2022 · 0 comments
Assignees
Labels
compiler:inference Type inference regression Regression in behavior compared to a previous version
Milestone

Comments

@KristofferC
Copy link
Member

Packages "ComoniconOptions" and "ManifoldsBase" errors when testing on master with:

Internal error: encountered unexpected error in runtime:
MethodError(f=Core.Compiler.:(⊑), args=(Core.Compiler.JLTypeLattice(), DataType, Core.Compiler.MaybeUndef(typ=Any)), world=0x000000000000148f)
jl_method_error_bare at /home/kc/julia/src/gf.c:1942
jl_method_error at /home/kc/julia/src/gf.c:1960
jl_lookup_generic_ at /home/kc/julia/src/gf.c:2613 [inlined]
ijl_apply_generic at /home/kc/julia/src/gf.c:2628
⊑ at ./compiler/typelattice.jl:331
⊑ at ./compiler/typelattice.jl:309 [inlined]
⊑ at ./compiler/typelattice.jl:249 [inlined]
⊑ at ./compiler/typelattice.jl:220 [inlined]
⊑ at ./compiler/abstractlattice.jl:168 [inlined]
fieldtype_nothrow at ./compiler/tfuncs.jl:1242
_builtin_nothrow at ./compiler/tfuncs.jl:1863
builtin_nothrow at ./compiler/tfuncs.jl:2103 [inlined]
builtin_effects at ./compiler/tfuncs.jl:2088
stmt_effect_flags at ./compiler/optimize.jl:261
check_effect_free! at ./compiler/ssair/inlining.jl:1219 [inlined]
process_simple! at ./compiler/ssair/inlining.jl:1270
assemble_inline_todo! at ./compiler/ssair/inlining.jl:1620
ssa_inlining_pass! at ./compiler/ssair/inlining.jl:78
jfptr_ssa_inlining_passNOT._15057 at /home/kc/julia/usr/lib/julia/sys.so (unknown line)
_jl_invoke at /home/kc/julia/src/gf.c:2431 [inlined]
ijl_apply_generic at /home/kc/julia/src/gf.c:2632
run_passes at ./compiler/optimize.jl:539
run_passes at ./compiler/optimize.jl:554 [inlined]
optimize at ./compiler/optimize.jl:503 [inlined]
_typeinf at ./compiler/typeinfer.jl:271
typeinf at ./compiler/typeinfer.jl:215
typeinf_edge at ./compiler/typeinfer.jl:952
abstract_call_method at ./compiler/abstractinterpretation.jl:609

PkgEval log example: https://s3.amazonaws.com/julialang-reports/nanosoldier/pkgeval/by_hash/c6440b9_vs_d0156b5/ComoniconOptions.primary.log

@KristofferC KristofferC added regression Regression in behavior compared to a previous version compiler:inference Type inference labels Oct 20, 2022
@KristofferC KristofferC modified the milestones: 1.10, 1.9 Oct 20, 2022
aviatesk added a commit that referenced this issue Oct 21, 2022
fix #47249, pass `𝕃::AbstractLattice` to `fieldtype_nothrow`
aviatesk added a commit that referenced this issue Oct 21, 2022
This should improve the robustness of `builtin_nothrow` and avoid
problems like the issue reported at #47249.
aviatesk added a commit that referenced this issue Oct 21, 2022
This should improve the robustness of `builtin_nothrow` and avoid
problems like the issue reported at #47249.
aviatesk added a commit that referenced this issue Oct 21, 2022
This should improve the robustness of `builtin_nothrow` and avoid
problems like the issue reported at #47249.
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

2 participants