inference: ignore badly behaving generated functions (#36115)

fix #36088 (cherry picked from commit 5d6a910)
JuliaLang · Jun 4, 2020 · 2f8eb20 · 2f8eb20
1 parent 60bab00
commit 2f8eb20
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/base/compiler/abstractinterpretation.jl b/base/compiler/abstractinterpretation.jl
@@ -259,6 +259,7 @@ function abstract_call_method_with_const_args(@nospecialize(rettype), @nospecial
     if inf_result === nothing
         inf_result = InferenceResult(mi, argtypes)
         frame = InferenceState(inf_result, #=cache=#false, sv.params)
+        frame === nothing && return Any # this is probably a bad generated function (unsound), but just ignore it
         frame.limited = true
         frame.parent = sv
         push!(sv.params.cache, inf_result)