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.

Sign up for GitHub

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

Jump to bottom

1.7-beta4: Internal error: encountered unexpected error in runtime #42097

Closed
dlfivefifty opened this issue Sep 2, 2021 · 4 comments · Fixed by #42112
Closed

1.7-beta4: Internal error: encountered unexpected error in runtime #42097

dlfivefifty opened this issue Sep 2, 2021 · 4 comments · Fixed by #42112
Assignees
@vtjnash
Labels
compiler:inference Type inference regression Regression in behavior compared to a previous version
Milestone
1.7

Comments

@dlfivefifty
Copy link
Contributor 

julia> using InfiniteLinearAlgebra, InfiniteArrays, BandedMatrices, FillArrays, Test

julia> A = BandedMatrix(0 => 1:∞, 1=> Fill(2.0,∞), -1 => Fill(3.0,∞));
Internal error: encountered unexpected error in runtime:
StackOverflowError()
lookup at /Users/solver/Projects/julia-1.7/src/subtype.c:108 [inlined]
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:0
intersect_invariant at /Users/solver/Projects/julia-1.7/src/subtype.c:2862
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:3124
intersect_unionall_ at /Users/solver/Projects/julia-1.7/src/subtype.c:2558
intersect_unionall at /Users/solver/Projects/julia-1.7/src/subtype.c:2607
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:0
intersect_unionall_ at /Users/solver/Projects/julia-1.7/src/subtype.c:2558
intersect_unionall at /Users/solver/Projects/julia-1.7/src/subtype.c:2607
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:0
intersect_unionall_ at /Users/solver/Projects/julia-1.7/src/subtype.c:2562
intersect_unionall at /Users/solver/Projects/julia-1.7/src/subtype.c:2607
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:3077
intersect_unionall_ at /Users/solver/Projects/julia-1.7/src/subtype.c:2562
intersect_unionall at /Users/solver/Projects/julia-1.7/src/subtype.c:2607
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:3077
intersect_unionall_ at /Users/solver/Projects/julia-1.7/src/subtype.c:2562
intersect_unionall at /Users/solver/Projects/julia-1.7/src/subtype.c:2607
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:3077
intersect_invariant at /Users/solver/Projects/julia-1.7/src/subtype.c:2862
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:3124
intersect_tuple at /Users/solver/Projects/julia-1.7/src/subtype.c:2763 [inlined]
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:3118
intersect_unionall_ at /Users/solver/Projects/julia-1.7/src/subtype.c:2558
intersect_unionall at /Users/solver/Projects/julia-1.7/src/subtype.c:2607
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:0
intersect_unionall_ at /Users/solver/Projects/julia-1.7/src/subtype.c:2558
intersect_unionall at /Users/solver/Projects/julia-1.7/src/subtype.c:2607
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:0
intersect_unionall_ at /Users/solver/Projects/julia-1.7/src/subtype.c:2558
intersect_unionall at /Users/solver/Projects/julia-1.7/src/subtype.c:2607
intersect at /Users/solver/Projects/julia-1.7/src/subtype.c:0
intersect_all at /Users/solver/Projects/julia-1.7/src/subtype.c:3169
jl_type_intersection_env_s at /Users/solver/Projects/julia-1.7/src/subtype.c:3415
jl_typemap_intersection_node_visitor at /Users/solver/Projects/julia-1.7/src/typemap.c:459
jl_typemap_intersection_visitor at /Users/solver/Projects/julia-1.7/src/typemap.c:571
ml_matches at /Users/solver/Projects/julia-1.7/src/gf.c:2759
jl_matching_methods at /Users/solver/Projects/julia-1.7/src/gf.c:1893
_methods_by_ftype at ./reflection.jl:908 [inlined]
#findall#246 at ./compiler/methodtable.jl:68 [inlined]
findall##kw at ./compiler/methodtable.jl:65
jfptr_findallYY.YY.kw_11778 at /Users/solver/Projects/julia-1.7/usr/lib/julia/sys.dylib (unknown line)
_jl_invoke at /Users/solver/Projects/julia-1.7/src/gf.c:0 [inlined]
jl_apply_generic at /Users/solver/Projects/julia-1.7/src/gf.c:2427
#249 at ./compiler/methodtable.jl:97
get! at ./iddict.jl:178 [inlined]
#findall#248 at ./compiler/methodtable.jl:96 [inlined]
findall##kw at ./compiler/methodtable.jl:95
jfptr_findallYY.YY.kw_11773 at /Users/solver/Projects/julia-1.7/usr/lib/julia/sys.dylib (unknown line)
_jl_invoke at /Users/solver/Projects/julia-1.7/src/gf.c:0 [inlined]
jl_apply_generic at /Users/solver/Projects/julia-1.7/src/gf.c:2427
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:89
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
...
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:520
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:168
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_edge at ./compiler/typeinfer.jl:822 [inlined]
abstract_call_method at ./compiler/abstractinterpretation.jl:473
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:160
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_apply at ./compiler/abstractinterpretation.jl:923
abstract_call_known at ./compiler/abstractinterpretation.jl:1181
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_edge at ./compiler/typeinfer.jl:822 [inlined]
abstract_call_method at ./compiler/abstractinterpretation.jl:473
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:160
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_edge at ./compiler/typeinfer.jl:822 [inlined]
abstract_call_method at ./compiler/abstractinterpretation.jl:473
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:160
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_edge at ./compiler/typeinfer.jl:822 [inlined]
abstract_call_method at ./compiler/abstractinterpretation.jl:473
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:160
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_edge at ./compiler/typeinfer.jl:822 [inlined]
abstract_call_method at ./compiler/abstractinterpretation.jl:473
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:160
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_edge at ./compiler/typeinfer.jl:822 [inlined]
abstract_call_method at ./compiler/abstractinterpretation.jl:473
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:160
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_edge at ./compiler/typeinfer.jl:822 [inlined]
abstract_call_method at ./compiler/abstractinterpretation.jl:473
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:160
abstract_call_known at ./compiler/abstractinterpretation.jl:1262
abstract_call at ./compiler/abstractinterpretation.jl:1316
abstract_call at ./compiler/abstractinterpretation.jl:1301
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1455
typeinf_local at ./compiler/abstractinterpretation.jl:1842
typeinf_nocycle at ./compiler/abstractinterpretation.jl:1932
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_ext at ./compiler/typeinfer.jl:908
typeinf_ext_toplevel at ./compiler/typeinfer.jl:941
typeinf_ext_toplevel at ./compiler/typeinfer.jl:937
jfptr_typeinf_ext_toplevel_14712 at /Users/solver/Projects/julia-1.7/usr/lib/julia/sys.dylib (unknown line)
_jl_invoke at /Users/solver/Projects/julia-1.7/src/gf.c:0 [inlined]
jl_apply_generic at /Users/solver/Projects/julia-1.7/src/gf.c:2427
jl_apply at /Users/solver/Projects/julia-1.7/src/./julia.h:1787 [inlined]
jl_type_infer at /Users/solver/Projects/julia-1.7/src/gf.c:295
jl_generate_fptr at /Users/solver/Projects/julia-1.7/src/jitlayers.cpp:338
jl_compile_method_internal at /Users/solver/Projects/julia-1.7/src/gf.c:1978
_jl_invoke at /Users/solver/Projects/julia-1.7/src/gf.c:2237 [inlined]
jl_apply_generic at /Users/solver/Projects/julia-1.7/src/gf.c:2427
BandedMatrix at /Users/solver/.julia/packages/BandedMatrices/pJAWJ/src/banded/BandedMatrix.jl:286
_jl_invoke at /Users/solver/Projects/julia-1.7/src/gf.c:0 [inlined]
jl_apply_generic at /Users/solver/Projects/julia-1.7/src/gf.c:2427
BandedMatrix at /Users/solver/.julia/packages/BandedMatrices/pJAWJ/src/banded/BandedMatrix.jl:295
_jl_invoke at /Users/solver/Projects/julia-1.7/src/gf.c:0 [inlined]
jl_apply_generic at /Users/solver/Projects/julia-1.7/src/gf.c:2427
jl_apply at /Users/solver/Projects/julia-1.7/src/./julia.h:1787 [inlined]
do_call at /Users/solver/Projects/julia-1.7/src/interpreter.c:125
eval_stmt_value at /Users/solver/Projects/julia-1.7/src/interpreter.c:165 [inlined]
eval_body at /Users/solver/Projects/julia-1.7/src/interpreter.c:579
jl_interpret_toplevel_thunk at /Users/solver/Projects/julia-1.7/src/interpreter.c:727
jl_toplevel_eval_flex at /Users/solver/Projects/julia-1.7/src/toplevel.c:885
jl_toplevel_eval_flex at /Users/solver/Projects/julia-1.7/src/toplevel.c:830
jl_toplevel_eval_flex at /Users/solver/Projects/julia-1.7/src/toplevel.c:830
jl_toplevel_eval at /Users/solver/Projects/julia-1.7/src/toplevel.c:894 [inlined]
jl_toplevel_eval_in at /Users/solver/Projects/julia-1.7/src/toplevel.c:944
eval at ./boot.jl:373 [inlined]
eval_user_input at /Users/solver/Projects/julia-1.7/usr/share/julia/stdlib/v1.7/REPL/src/REPL.jl:150
repl_backend_loop at /Users/solver/Projects/julia-1.7/usr/share/julia/stdlib/v1.7/REPL/src/REPL.jl:241
start_repl_backend at /Users/solver/Projects/julia-1.7/usr/share/julia/stdlib/v1.7/REPL/src/REPL.jl:226
#run_repl#47 at /Users/solver/Projects/julia-1.7/usr/share/julia/stdlib/v1.7/REPL/src/REPL.jl:359
run_repl at /Users/solver/Projects/julia-1.7/usr/share/julia/stdlib/v1.7/REPL/src/REPL.jl:346
_jl_invoke at /Users/solver/Projects/julia-1.7/src/gf.c:0 [inlined]
jl_apply_generic at /Users/solver/Projects/julia-1.7/src/gf.c:2427
#929 at ./client.jl:394
jfptr_YY.929_23451 at /Users/solver/Projects/julia-1.7/usr/lib/julia/sys.dylib (unknown line)
_jl_invoke at /Users/solver/Projects/julia-1.7/src/gf.c:0 [inlined]
jl_apply_generic at /Users/solver/Projects/julia-1.7/src/gf.c:2427
jl_apply at /Users/solver/Projects/julia-1.7/src/./julia.h:1787 [inlined]
jl_f__call_latest at /Users/solver/Projects/julia-1.7/src/builtins.c:757
#invokelatest#2 at ./essentials.jl:716 [inlined]
invokelatest at ./essentials.jl:714 [inlined]
run_main_repl at ./client.jl:379
exec_options at ./client.jl:309
_start at ./client.jl:495
jfptr__start_39757 at /Users/solver/Projects/julia-1.7/usr/lib/julia/sys.dylib (unknown line)
_jl_invoke at /Users/solver/Projects/julia-1.7/src/gf.c:0 [inlined]
jl_apply_generic at /Users/solver/Projects/julia-1.7/src/gf.c:2427
jl_apply at /Users/solver/Projects/julia-1.7/src/./julia.h:1787 [inlined]
true_main at /Users/solver/Projects/julia-1.7/src/jlapi.c:559
jl_repl_entrypoint at /Users/solver/Projects/julia-1.7/src/jlapi.c:701
@dlfivefifty
Copy link
Contributor Author

I believe this is the last Julia call made before the overflow:

https://github.com/JuliaMatrices/BandedMatrices.jl/blob/803035748dd100f7e3388c5bf85783d242e359eb/src/banded/BandedMatrix.jl#L286

@KristofferC KristofferC added this to the 1.7 milestone Sep 2, 2021
@KristofferC
Copy link
Member

Happens on #41781 as well.

@martinholters
Copy link
Member

martinholters commented Sep 3, 2021 •
edited
Loading

MWE:

struct Foo{F} end
Foo(f::F, args) where {F} = Foo{F}()
Foo(A) = Foo(Any[][1], Any[]...)

foo() = Foo([1,2]...)
@code_warntype foo()

@KristofferC KristofferC added compiler:inference Type inference regression Regression in behavior compared to a previous version labels Sep 3, 2021
@martinholters
Copy link
Member

Bisect says:

1f21f2d6feacaa5bf3f7ea212c64e98bd66fd265 is the first bad commit
commit 1f21f2d6feacaa5bf3f7ea212c64e98bd66fd265
Author: Shuhei Kadowaki <40514306+aviatesk@users.noreply.github.com>
Date:   Thu Mar 11 05:25:29 2021 +0900

    inference: enable constant propagation for union-split signatures (#39305)

@aviatesk

@vtjnash vtjnash self-assigned this Sep 3, 2021
vtjnash added a commit that referenced this issue Sep 3, 2021
@vtjnash
inference: bail from const-prop if const-prop fails
8d6c135 
Otherwise we can can end up in an infinite cycle of attempting
const-prop, and that failing. Also handle Varargs in method-lookup
matching, which was the cause for which we could not compute the
const-prop signature.

Fixes #42097
vtjnash added a commit that referenced this issue Sep 3, 2021
@vtjnash
inference: bail from const-prop if const-prop fails
94c2ce9 
Otherwise we can can end up in an infinite cycle of attempting
const-prop, and that failing. Also handle Varargs in method-lookup
matching, which was the cause for which we could not compute the
const-prop signature.

Fixes #42097
@vtjnash vtjnash mentioned this issue Sep 3, 2021
Merged
vtjnash added a commit that referenced this issue Sep 3, 2021
@vtjnash
inference: bail from const-prop if const-prop fails
acbc13c 
Otherwise we can can end up in an infinite cycle of attempting
const-prop, and that failing. Also handle Varargs in method-lookup
matching, which was the cause for which we could not compute the
const-prop signature.

Fixes #42097
aviatesk pushed a commit that referenced this issue Sep 8, 2021
@vtjnash @aviatesk
inference: bail from const-prop if const-prop fails
d51b1d1 
Otherwise we can can end up in an infinite cycle of attempting
const-prop, and that failing. Also handle Varargs in method-lookup
matching, which was the cause for which we could not compute the
const-prop signature.

Fixes #42097
aviatesk pushed a commit that referenced this issue Sep 8, 2021
@vtjnash
inference: bail from const-prop if const-prop fails (#42112)
3a4198e 
Otherwise we can end up in an infinite cycle of attempting
const-prop, and that failing. Also handle `Varargs` in method-lookup
matching, which was the cause for which we could not compute the
const-prop signature.

Fixes #42097
KristofferC pushed a commit that referenced this issue Sep 8, 2021
@vtjnash @KristofferC
inference: bail from const-prop if const-prop fails (#42112)
886b922 
Otherwise we can end up in an infinite cycle of attempting
const-prop, and that failing. Also handle `Varargs` in method-lookup
matching, which was the cause for which we could not compute the
const-prop signature.

Fixes #42097

(cherry picked from commit 3a4198e)
KristofferC pushed a commit that referenced this issue Sep 8, 2021
@vtjnash @KristofferC
inference: bail from const-prop if const-prop fails (#42112)
c2c5a83 
Otherwise we can end up in an infinite cycle of attempting
const-prop, and that failing. Also handle `Varargs` in method-lookup
matching, which was the cause for which we could not compute the
const-prop signature.

Fixes #42097

(cherry picked from commit 3a4198e)
aviatesk pushed a commit that referenced this issue Sep 9, 2021
@vtjnash @aviatesk
inference: bail from const-prop if const-prop fails (#42112)
93f40a0 
Otherwise we can end up in an infinite cycle of attempting
const-prop, and that failing. Also handle `Varargs` in method-lookup
matching, which was the cause for which we could not compute the
const-prop signature.

Fixes #42097

cherry-picked from 3a4198e
LilithHafner pushed a commit to LilithHafner/julia that referenced this issue Feb 22, 2022
@vtjnash @LilithHafner
inference: bail from const-prop if const-prop fails (JuliaLang#42112)
a86a98b 
Otherwise we can end up in an infinite cycle of attempting
const-prop, and that failing. Also handle `Varargs` in method-lookup
matching, which was the cause for which we could not compute the
const-prop signature.

Fixes JuliaLang#42097
LilithHafner pushed a commit to LilithHafner/julia that referenced this issue Mar 8, 2022
@vtjnash @LilithHafner
inference: bail from const-prop if const-prop fails (JuliaLang#42112)
32fe9dd 
Otherwise we can end up in an infinite cycle of attempting
const-prop, and that failing. Also handle `Varargs` in method-lookup
matching, which was the cause for which we could not compute the
const-prop signature.

Fixes JuliaLang#42097
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@vtjnash vtjnash

Labels
compiler:inference Type inference regression Regression in behavior compared to a previous version
Projects
None yet
Milestone
1.7
Development

Successfully merging a pull request may close this issue.

inference: bail from const-prop if const-prop fails JuliaLang/julia
4 participants
@vtjnash @dlfivefifty @KristofferC @martinholters