From 5d6a910260c6114565c1102cbc4a4ca34362189c Mon Sep 17 00:00:00 2001 From: Jameson Nash Date: Tue, 2 Jun 2020 22:40:19 -0400 Subject: [PATCH] inference: ignore badly behaving generated functions (#36115) fix #36088 --- base/compiler/abstractinterpretation.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/base/compiler/abstractinterpretation.jl b/base/compiler/abstractinterpretation.jl index f82380cecaa57..faa3c757d8c92 100644 --- 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)