gh-146388: Add null check for sym_new(ctx) in make_bottom (GH-146389)

A0su · web-flow · commit c8ee196030b1 · 2026-03-27T22:50:29.000+08:00
diff --git a/Misc/NEWS.d/next/Core_and_Builtins/2026-03-26-11-18-45.gh-issue-146388.O0u1c3.rst b/Misc/NEWS.d/next/Core_and_Builtins/2026-03-26-11-18-45.gh-issue-146388.O0u1c3.rst
@@ -0,0 +1 @@
+Adds a null check to handle when the JIT optimizer runs out of space when dealing with contradictions in ``make_bottom``.
diff --git a/Python/optimizer_symbols.c b/Python/optimizer_symbols.c
@@ -1684,6 +1684,9 @@ static JitOptSymbol *
 make_bottom(JitOptContext *ctx)
 {
     JitOptSymbol *sym = sym_new(ctx);
+    if (sym == NULL) {
+        return out_of_space(ctx);
+    }
     sym->tag = JIT_SYM_BOTTOM_TAG;
     return sym;
 }

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	+Adds a null check to handle when the JIT optimizer runs out of space when dealing with contradictions in ``make_bottom``.
Original file line number	Diff line number	Diff line change
`@@ -1684,6 +1684,9 @@ static JitOptSymbol *`
`1684`	`1684`	`make_bottom(JitOptContext *ctx)`
`1685`	`1685`	`{`
`1686`	`1686`	`JitOptSymbol *sym = sym_new(ctx);`
	`1687`	`+ if (sym == NULL) {`
	`1688`	`+ return out_of_space(ctx);`
	`1689`	`+ }`
`1687`	`1690`	`sym->tag = JIT_SYM_BOTTOM_TAG;`
`1688`	`1691`	`return sym;`
`1689`	`1692`	`}`