We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Can reproduce with master JET.jl and both 1.8beta1 and julia branch "release-1.8".
using JET using Random julia> @report_call Random.seed!(42) ERROR: TypeError: in typeassert, expected Pair{Symbol, Core.Compiler.InferenceResult}, got a value of type Nothing Stacktrace: [1] cache_lookup(linfo::Core.MethodInstance, given_argtypes::Vector{Any}, cache::JET.JETLocalCache{JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}}) @ JET ~/.julia/packages/JET/uyo3B/src/abstractinterpret/typeinfer.jl:497 [2] abstract_call_method_with_const_args(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, result::Core.Compiler.MethodCallResult, f::Any, arginfo::Core.Compiler.ArgInfo, match::Core.MethodMatch, sv::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:757 [3] abstract_call_gf_by_type(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, f::Any, arginfo::Core.Compiler.ArgInfo, atype::Any, sv::Core.Compiler.InferenceState, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:139 [4] abstract_call_gf_by_type @ ~/.julia/packages/JET/uyo3B/src/analyzers/jetanalyzer.jl:319 [inlined] [5] abstract_call_known(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, f::Any, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1633 [6] abstract_call(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1691 [7] abstract_call(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64) (repeats 2 times) @ JET ~/.julia/packages/JET/uyo3B/src/abstractinterpret/typeinfer.jl:234 [8] abstract_eval_statement(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, e::Any, vtypes::Vector{Core.Compiler.VarState}, sv::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:1812 [9] abstract_eval_statement(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, e::Any, vtypes::Vector{Core.Compiler.VarState}, sv::Core.Compiler.InferenceState) @ JET ~/.julia/packages/JET/uyo3B/src/abstractinterpret/typeinfer.jl:97 [10] typeinf_local(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:2276 [11] typeinf_nocycle(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:2372 [12] _typeinf(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState) @ JET ~/.julia/packages/JET/uyo3B/src/abstractinterpret/typeinfer.jl:637 [13] typeinf(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/typeinfer.jl:209 [14] typeinf(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState) @ JET ~/.julia/packages/JET/uyo3B/src/abstractinterpret/typeinfer.jl:567 [15] typeinf_edge(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/typeinfer.jl:856 [16] typeinf_edge @ ~/.julia/packages/JET/uyo3B/src/abstractinterpret/typeinfer.jl:363 [inlined] [17] abstract_call_method(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, sv::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:597 [18] abstract_call_method @ ~/.julia/packages/JET/uyo3B/src/abstractinterpret/typeinfer.jl:170 [inlined] [19] abstract_call_gf_by_type(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, f::Any, arginfo::Core.Compiler.ArgInfo, atype::Any, sv::Core.Compiler.InferenceState, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:130 --- the last 16 lines are repeated 2 more times --- [52] abstract_call_gf_by_type @ ~/.julia/packages/JET/uyo3B/src/analyzers/jetanalyzer.jl:319 [inlined] [53] abstract_call_known(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, f::Any, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1633 [54] abstract_call(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1691 [55] abstract_call(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64) (repeats 2 times) @ JET ~/.julia/packages/JET/uyo3B/src/abstractinterpret/typeinfer.jl:234 [56] abstract_eval_statement(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, e::Any, vtypes::Vector{Core.Compiler.VarState}, sv::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:1812 [57] abstract_eval_statement(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, e::Any, vtypes::Vector{Core.Compiler.VarState}, sv::Core.Compiler.InferenceState) @ JET ~/.julia/packages/JET/uyo3B/src/abstractinterpret/typeinfer.jl:97 [58] typeinf_local(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:2276 [59] typeinf_nocycle(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:2372 [60] _typeinf(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState) @ JET ~/.julia/packages/JET/uyo3B/src/abstractinterpret/typeinfer.jl:637 [61] typeinf(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/typeinfer.jl:209 [62] typeinf(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState) @ JET ~/.julia/packages/JET/uyo3B/src/abstractinterpret/typeinfer.jl:567 [63] analyze_frame! @ ~/.julia/packages/JET/uyo3B/src/JET.jl:758 [inlined] [64] analyze_method_instance!(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, mi::Core.MethodInstance; set_entry::Bool) @ JET ~/.julia/packages/JET/uyo3B/src/JET.jl:747 [65] analyze_method_instance! @ ~/.julia/packages/JET/uyo3B/src/JET.jl:736 [inlined] [66] #analyze_method_signature!#122 @ ~/.julia/packages/JET/uyo3B/src/JET.jl:730 [inlined] [67] analyze_method_signature! @ ~/.julia/packages/JET/uyo3B/src/JET.jl:729 [inlined] [68] #analyze_gf_by_type!#118 @ ~/.julia/packages/JET/uyo3B/src/JET.jl:702 [inlined] [69] analyze_gf_by_type! @ ~/.julia/packages/JET/uyo3B/src/JET.jl:701 [inlined] [70] report_call(tt::Type{<:Tuple}; analyzer::Type{JET.JETAnalyzer}, source::Nothing, jetconfigs::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}}) @ JET ~/.julia/packages/JET/uyo3B/src/JET.jl:1302 [71] report_call(tt::Type{<:Tuple}) @ JET ~/.julia/packages/JET/uyo3B/src/JET.jl:1300 [72] report_call(f::Any, types::Any; jetconfigs::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}}) @ JET ~/.julia/packages/JET/uyo3B/src/JET.jl:1293 [73] report_call(f::Any, types::Any) @ JET ~/.julia/packages/JET/uyo3B/src/JET.jl:1286
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Can reproduce with master JET.jl and both 1.8beta1 and julia branch "release-1.8".
The text was updated successfully, but these errors were encountered: