Skip to content

Commit e67a3fd

Browse files
committed
inference: add missing reset for stmt_info
This only would matter if we transition a call from T -> Union{}, which is unlikely to happen, and even less likely to be observed, but it is more correct this way.
1 parent e0382b2 commit e67a3fd

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

base/compiler/abstractinterpretation.jl

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1393,6 +1393,7 @@ function typeinf_local(interp::AbstractInterpreter, frame::InferenceState)
13931393
frame.currpc = pc
13941394
frame.cur_hand = frame.handler_at[pc]
13951395
frame.stmt_edges[pc] === nothing || empty!(frame.stmt_edges[pc])
1396+
frame.stmt_info[pc] = nothing
13961397
stmt = frame.src.code[pc]
13971398
changes = s[pc]::VarTable
13981399
t = nothing

0 commit comments

Comments
 (0)