re PR rtl-optimization/78232 (FAIL: gcc.dg/torture/pr48124-4.c)

	PR rtl-optimization/78232
	PR rtl-optimization/78248
	* gcc.dg/ubsan/pr78248.c: New test.

From-SVN: r242362

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0ae7b97cd57c9a334a08d1f6f9b1bb757eee6b60..58d86392b41dc0b67150de7a88a3f26dbbf3d89e 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2016-11-13  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR rtl-optimization/78232
+       PR rtl-optimization/78248
+       * gcc.dg/ubsan/pr78248.c: New test.
+
 2016-11-13  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gnat.dg/address_conv.adb: New test.

diff --git a/gcc/testsuite/gcc.dg/ubsan/pr78248.c b/gcc/testsuite/gcc.dg/ubsan/pr78248.c
new file mode 100644 (file)
index 0000000..3483c77
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/ubsan/pr78248.c
@@ -0,0 +1,31 @@
+/* PR rtl-optimization/78232 */
+/* PR rtl-optimization/78248 */
+/* { dg-do run } */
+/* { dg-options "-fsanitize=undefined" } */
+
+static struct S
+{
+  int f0:15;
+} a;
+
+int b[1], c = 2, d, e, f, g;
+
+int main ()
+{
+  struct S h = { -2 };
+  for (; e < 640; e++)
+    for (; f < 1; f++)
+      {
+        if (c < 2)
+          {
+            d = b[e];
+            h = a;
+          }
+        g = c;
+        c = 1;
+        if (!h.f0)
+          break;
+        c = g;
+      }
+  return 0; 
+}