re PR c/52769 (Unspecified designated initializer might not set to zero in some cases)
authorMarek Polacek <polacek@redhat.com>
Mon, 3 Nov 2014 12:35:35 +0000 (12:35 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Mon, 3 Nov 2014 12:35:35 +0000 (12:35 +0000)
PR c/52769
* gcc.dg/pr52769.c: New test.

From-SVN: r217036

gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr52769.c [new file with mode: 0644]

index 480e139387abdd311e105c86e7bc46b6dab8c3e4..e9ffad43628310c3e2bf2065ae60150cf55b2e56 100644 (file)
@@ -1,3 +1,8 @@
+2014-11-03  Marek Polacek  <polacek@redhat.com>
+
+       PR c/52769
+       * gcc.dg/pr52769.c: New test.
+
 2014-11-03  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/57820
diff --git a/gcc/testsuite/gcc.dg/pr52769.c b/gcc/testsuite/gcc.dg/pr52769.c
new file mode 100644 (file)
index 0000000..138cecb
--- /dev/null
@@ -0,0 +1,24 @@
+/* PR c/52769 */
+/* { dg-do run } */
+/* { dg-options "-O3" } */
+
+typedef struct
+{
+  int should_be_zero;
+  char s[6];
+  int x;
+} foo_t;
+
+int
+main (void)
+{
+  volatile foo_t foo = {
+    .s = "123456",
+    .x = 2
+  };
+
+  if (foo.should_be_zero != 0)
+    __builtin_abort ();
+
+  return 0;
+}