gh-134280: Disable constant folding for ~ with a boolean argument (GH-134982)

serhiy-storchaka · web-flow · commit 86c3316183a7 · 2025-07-01T20:24:04.000+03:00
This moves the deprecation warning from compile time to run time.
diff --git a/Lib/test/test_peepholer.py b/Lib/test/test_peepholer.py
@@ -292,6 +292,7 @@ def test_constant_folding_unaryop(self):
             ('---x', 'UNARY_NEGATIVE', None, False, None, None),
             ('~~~x', 'UNARY_INVERT', None, False, None, None),
             ('+++x', 'CALL_INTRINSIC_1', intrinsic_positive, False, None, None),
+            ('~True', 'UNARY_INVERT', None, False, None, None),
         ]
 
         for (
diff --git a/Misc/NEWS.d/next/Core_and_Builtins/2025-05-31-19-24-54.gh-issue-134280.NDVbzY.rst b/Misc/NEWS.d/next/Core_and_Builtins/2025-05-31-19-24-54.gh-issue-134280.NDVbzY.rst
@@ -0,0 +1,2 @@
+Disable constant folding for ``~`` with a boolean argument.
+This moves the deprecation warning from compile time to runtime.
diff --git a/Python/flowgraph.c b/Python/flowgraph.c
@@ -1892,6 +1892,10 @@ eval_const_unaryop(PyObject *operand, int opcode, int oparg)
             result = PyNumber_Negative(operand);
             break;
         case UNARY_INVERT:
+            // XXX: This should be removed once the ~bool depreciation expires.
+            if (PyBool_Check(operand)) {
+                return NULL;
+            }
             result = PyNumber_Invert(operand);
             break;
         case UNARY_NOT: {

Original file line number	Diff line number	Diff line change
`@@ -292,6 +292,7 @@ def test_constant_folding_unaryop(self):`
`292`	`292`	`('---x', 'UNARY_NEGATIVE', None, False, None, None),`
`293`	`293`	`('~~~x', 'UNARY_INVERT', None, False, None, None),`
`294`	`294`	`('+++x', 'CALL_INTRINSIC_1', intrinsic_positive, False, None, None),`
	`295`	`+ ('~True', 'UNARY_INVERT', None, False, None, None),`
`295`	`296`	`]`
`296`	`297`
`297`	`298`	`for (`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	+Disable constant folding for ``~`` with a boolean argument.
	`2`	`+This moves the deprecation warning from compile time to runtime.`