From: Martin Jambor <mjambor@suse.cz>
Date: Mon, 9 Jan 2012 20:03:08 +0000 (+0100)
Subject: re PR tree-optimization/51759 (miscompile writes past end of bitfield)
X-Git-Tag: releases/gcc-4.6.3~188
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a11cbc7a1f55e6fef920ff09de67b0ee2f5d5403;p=thirdparty%2Fgcc.git

re PR tree-optimization/51759 (miscompile writes past end of bitfield)

2012-01-09  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/51759
	* g++.dg/ipa/pr51759.C: New test.

From-SVN: r183031
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 84faeb2155eb..bb3db623c9f1 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-01-09  Martin Jambor  <mjambor@suse.cz>
+
+        PR tree-optimization/51759
+	* g++.dg/ipa/pr51759.C: New test.
+
 2012-01-09  Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>
 
 	Backport from mainline:
diff --git a/gcc/testsuite/g++.dg/ipa/pr51759.C b/gcc/testsuite/g++.dg/ipa/pr51759.C
new file mode 100644
index 000000000000..accfaf2dcc2d
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ipa/pr51759.C
@@ -0,0 +1,26 @@
+/* { dg-do run } */
+/* { dg-options "-O2"  } */
+
+extern "C" void abort (void);
+struct S
+{
+  void __attribute__((noinline)) set(unsigned val)
+    {
+      data = val;
+      if (data != val)
+        abort ();
+    }
+  int pad0;
+  unsigned pad1 : 8;
+  unsigned data : 24;
+  int pad2;
+};
+int main()
+{
+  S s;
+  s.pad2 = -1;
+  s.set(0);
+  if (s.pad2 != -1)
+    abort ();
+}
+