pythongh-118124: Use static_assert() in Py_BUILD_ASSERT()

vstinner · vstinner · commit efbd483d3ccd · 2024-04-29T17:44:17.000+02:00
diff --git a/Include/pymacro.h b/Include/pymacro.h
@@ -61,9 +61,15 @@
 #define Py_BUILD_ASSERT_EXPR(cond) \
     (sizeof(char [1 - 2*!(cond)]) - 1)
 
-#define Py_BUILD_ASSERT(cond)  do {         \
-        (void)Py_BUILD_ASSERT_EXPR(cond);   \
-    } while(0)
+#if __STDC_VERSION__ >= 201112L
+   // Use static_assert() on C11 and newer
+#  define Py_BUILD_ASSERT(cond) static_assert((cond), "")
+#else
+#  define Py_BUILD_ASSERT(cond)  \
+        do { \
+            (void)Py_BUILD_ASSERT_EXPR(cond); \
+        } while(0)
+#endif
 
 /* Get the number of elements in a visible array
 
diff --git a/Misc/NEWS.d/next/C API/2024-04-29-17-44-15.gh-issue-118124.czQQ9G.rst b/Misc/NEWS.d/next/C API/2024-04-29-17-44-15.gh-issue-118124.czQQ9G.rst
@@ -0,0 +1,3 @@
+Use ``static_assert()`` in :c:macro:`Py_BUILD_ASSERT` on C11 and newer to
+fix :c:macro:`Py_BUILD_ASSERT` on non-constant expressions. Patch by Victor
+Stinner.

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	+Use ``static_assert()`` in :c:macro:`Py_BUILD_ASSERT` on C11 and newer to
	`2`	+fix :c:macro:`Py_BUILD_ASSERT` on non-constant expressions. Patch by Victor
	`3`	`+Stinner.`