Skip to content

Commit 968b16c

Browse files
authored
do not specialze for abstract_eval_nonlinearized_foreigncall_name (#59722)
Following up #58872. Since `e` is potentially arbitrary runtime value, we should not specialize on it.
1 parent f2c8d49 commit 968b16c

File tree

1 file changed

+6
-2
lines changed

1 file changed

+6
-2
lines changed

Compiler/src/abstractinterpretation.jl

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3482,9 +3482,13 @@ function refine_partial_type(@nospecialize t)
34823482
return t
34833483
end
34843484

3485-
abstract_eval_nonlinearized_foreigncall_name(interp::AbstractInterpreter, e, sstate::StatementState, sv::IRInterpretationState) = nothing
3485+
abstract_eval_nonlinearized_foreigncall_name(
3486+
::AbstractInterpreter, @nospecialize(e), ::StatementState, ::IRInterpretationState
3487+
) = nothing
34863488

3487-
function abstract_eval_nonlinearized_foreigncall_name(interp::AbstractInterpreter, e, sstate::StatementState, sv::AbsIntState)
3489+
function abstract_eval_nonlinearized_foreigncall_name(
3490+
interp::AbstractInterpreter, @nospecialize(e), sstate::StatementState, sv::InferenceState
3491+
)
34883492
if isexpr(e, :call)
34893493
n = length(e.args)
34903494
argtypes = Vector{Any}(undef, n)

0 commit comments

Comments
 (0)