inference: ignore badly behaving generated functions (JuliaLang#36115)

fix JuliaLang#36088
simeonschaub · Aug 11, 2020 · 2beda67 · 2beda67
1 parent 511051c
commit 2beda67
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/base/compiler/abstractinterpretation.jl b/base/compiler/abstractinterpretation.jl
@@ -263,6 +263,7 @@ function abstract_call_method_with_const_args(interp::AbstractInterpreter, @nosp
     if inf_result === nothing
         inf_result = InferenceResult(mi, argtypes)
         frame = InferenceState(inf_result, #=cache=#false, interp)
+        frame === nothing && return Any # this is probably a bad generated function (unsound), but just ignore it
         frame.limited = true
         frame.parent = sv
         push!(inf_cache, inf_result)