Skip to content

Commit 70139ad

Browse files
aviateskKristofferC
authored andcommitted
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 58ebaaf commit 70139ad

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
@@ -3444,9 +3444,13 @@ function refine_partial_type(@nospecialize t)
34443444
return t
34453445
end
34463446

3447-
abstract_eval_nonlinearized_foreigncall_name(interp::AbstractInterpreter, e, sstate::StatementState, sv::IRInterpretationState) = nothing
3447+
abstract_eval_nonlinearized_foreigncall_name(
3448+
::AbstractInterpreter, @nospecialize(e), ::StatementState, ::IRInterpretationState
3449+
) = nothing
34483450

3449-
function abstract_eval_nonlinearized_foreigncall_name(interp::AbstractInterpreter, e, sstate::StatementState, sv::AbsIntState)
3451+
function abstract_eval_nonlinearized_foreigncall_name(
3452+
interp::AbstractInterpreter, @nospecialize(e), sstate::StatementState, sv::InferenceState
3453+
)
34503454
if isexpr(e, :call)
34513455
n = length(e.args)
34523456
argtypes = Vector{Any}(undef, n)

0 commit comments

Comments
 (0)