Assert that END_SEND is the source of the branch event for async for

python · markshannon · Mar 7, 2025 · Mar 4, 2025 · Mar 4, 2025 · Mar 4, 2025
commit 15bf47bee1eb21e289df42542e65ee8117e0ed32
@@ -1358,6 +1358,7 @@ dummy_func(
         }
 
         tier1 op(_MONITOR_END_ASYNC_FOR, ( -- )) {
+            assert((next_instr-oparg)->op.code == END_SEND || (next_instr-oparg)->op.code >= MIN_INSTRUMENTED_OPCODE);
             INSTRUMENTED_JUMP(next_instr-oparg, this_instr+1, PY_MONITORING_EVENT_BRANCH_RIGHT);
         }
 

diff --git a/Python/generated_cases.c.h b/Python/generated_cases.c.h
-Original file line number
+Diff line change
@@ Expand Up / @@ -1358,6 +1358,7 @@ dummy_func( @@
             }
             tier1 op(_MONITOR_END_ASYNC_FOR, ( -- )) {
+                assert((next_instr-oparg)->op.code == END_SEND || (next_instr-oparg)->op.code >= MIN_INSTRUMENTED_OPCODE);
                 INSTRUMENTED_JUMP(next_instr-oparg, this_instr+1, PY_MONITORING_EVENT_BRANCH_RIGHT);
             }
@@ Expand Down @@