Check room available for JUMP_TO_TOP

gvanrossum · gvanrossum · commit 3945e5758c7f · 2023-07-06T16:27:18.000-07:00
diff --git a/Python/optimizer.c b/Python/optimizer.c
@@ -378,9 +378,11 @@ translate_bytecode_to_trace(
             }
             case JUMP_BACKWARD:
             {
-                if (instr + 2 - operand == initial_instr) {
+                if (instr + 2 - operand == initial_instr
+                    && trace_length + 3 <= max_length)
+                {
                     ADD_TO_TRACE(JUMP_TO_TOP, 0);
-                    break;
+                    goto done;
                 }
                 // Else fall through!
             }

Original file line number	Diff line number	Diff line change
`@@ -378,9 +378,11 @@ translate_bytecode_to_trace(`
`378`	`378`	`}`
`379`	`379`	`case JUMP_BACKWARD:`
`380`	`380`	`{`
`381`		`- if (instr + 2 - operand == initial_instr) {`
	`381`	`+ if (instr + 2 - operand == initial_instr`
	`382`	`+ && trace_length + 3 <= max_length)`
	`383`	`+ {`
`382`	`384`	`ADD_TO_TRACE(JUMP_TO_TOP, 0);`
`383`		`- break;`
	`385`	`+ goto done;`
`384`	`386`	`}`
`385`	`387`	`// Else fall through!`
`386`	`388`	`}`