https://github.com/python/cpython/commit/723ed8c507860334eff4b9bad8dde8dddb604dcf
commit: 723ed8c507860334eff4b9bad8dde8dddb604dcf
branch: 3.14
author: Miss Islington (bot) <[email protected]>
committer: serhiy-storchaka <[email protected]>
date: 2025-12-25T17:34:02Z
summary:

[3.14] gh-143164: Fix incorrect error message for ctypes bitfield overflow 
(GH-143165) (GH-143176)

(cherry picked from commit b9a48064306229287d7211e9510f578065e457fc)

Signed-off-by: Yongtao Huang <[email protected]>
Co-authored-by: Yongtao Huang <[email protected]>

files:
A Misc/NEWS.d/next/Library/2025-12-25-08-58-55.gh-issue-142164.XrFztf.rst
M Lib/test/test_ctypes/test_struct_fields.py
M Modules/_ctypes/cfield.c

diff --git a/Lib/test/test_ctypes/test_struct_fields.py 
b/Lib/test/test_ctypes/test_struct_fields.py
index b50bbcbb65c423..dc26e26d8a9fb1 100644
--- a/Lib/test/test_ctypes/test_struct_fields.py
+++ b/Lib/test/test_ctypes/test_struct_fields.py
@@ -130,6 +130,21 @@ class S(Structure):
             self.check_struct(S)
             self.assertEqual(S.largeField.bit_size, size * 8)
 
+    def test_bitfield_overflow_error_message(self):
+        with self.assertRaisesRegex(
+            ValueError,
+            r"bit field 'x' overflows its type \(2 \+ 7 > 8\)",
+        ):
+            CField(
+                name="x",
+                type=c_byte,
+                byte_size=1,
+                byte_offset=0,
+                index=0,
+                _internal_use=True,
+                bit_size=7,
+                bit_offset=2,
+            )
 
     # __set__ and __get__ should raise a TypeError in case their self
     # argument is not a ctype instance.
diff --git 
a/Misc/NEWS.d/next/Library/2025-12-25-08-58-55.gh-issue-142164.XrFztf.rst 
b/Misc/NEWS.d/next/Library/2025-12-25-08-58-55.gh-issue-142164.XrFztf.rst
new file mode 100644
index 00000000000000..e75270b9e94c03
--- /dev/null
+++ b/Misc/NEWS.d/next/Library/2025-12-25-08-58-55.gh-issue-142164.XrFztf.rst
@@ -0,0 +1 @@
+Fix the ctypes bitfield overflow error message to report the correct offset 
and size calculation.
diff --git a/Modules/_ctypes/cfield.c b/Modules/_ctypes/cfield.c
index 662b57a5b825e2..e0d172fa435416 100644
--- a/Modules/_ctypes/cfield.c
+++ b/Modules/_ctypes/cfield.c
@@ -160,8 +160,8 @@ PyCField_new_impl(PyTypeObject *type, PyObject *name, 
PyObject *proto,
         if ((bitfield_size + bit_offset) > byte_size * 8) {
             PyErr_Format(
                 PyExc_ValueError,
-                "bit field %R overflows its type (%zd + %zd >= %zd)",
-                name, bit_offset, byte_size*8);
+                "bit field %R overflows its type (%zd + %zd > %zd)",
+                name, bit_offset, bitfield_size, byte_size * 8);
             goto error;
         }
     }

_______________________________________________
Python-checkins mailing list -- [email protected]
To unsubscribe send an email to [email protected]
https://mail.python.org/mailman3//lists/python-checkins.python.org
Member address: [email protected]

Reply via email to