]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Committed] New testcase for C++/71792, bitfields and auto
authorAndrew Pinski <apinski@marvell.com>
Fri, 3 Dec 2021 08:13:32 +0000 (08:13 +0000)
committerAndrew Pinski <apinski@marvell.com>
Fri, 3 Dec 2021 08:17:03 +0000 (08:17 +0000)
This testcase used to fail before GCC 6.4.0 due to the wrong
type being used for auto when used with bitfields, the C++
front-end was using the "bitfield" type rather than the
underlaying type.

Committed the testcase after a quick check.

PR c++/71792

gcc/testsuite/ChangeLog:

* g++.dg/torture/pr71792.C: New test.

gcc/testsuite/g++.dg/torture/pr71792.C [new file with mode: 0644]

diff --git a/gcc/testsuite/g++.dg/torture/pr71792.C b/gcc/testsuite/g++.dg/torture/pr71792.C
new file mode 100644 (file)
index 0000000..607774d
--- /dev/null
@@ -0,0 +1,42 @@
+// { dg-do run { target c++11 } }
+// PR C++/71792
+
+class some_class
+{
+public:
+  unsigned int np              : 4;
+  unsigned int nc              : 8;
+  unsigned int nc0             : 1;
+};
+
+template<bool what>
+static void test_bug (const some_class &mp) {
+  if (what) {
+    int t = 0;
+    for (auto i = mp.nc0; i < mp.nc; i++) {
+      if (t != i) __builtin_abort ();
+      t++;
+    }
+  }
+}
+
+static void test_ok (const some_class &mp) {
+  int t = 0;
+  for (auto i = mp.nc0; i < mp.nc; i++) {
+    if (t != i) __builtin_abort ();
+    t++;
+  }
+}
+
+int main ()
+{
+  some_class mp;
+  mp.nc0 = 0;
+  mp.nc = 9;
+  mp.np = 3;
+
+  test_bug<true> (mp);
+  test_ok (mp);
+
+  return 0;
+}