From a11cbc7a1f55e6fef920ff09de67b0ee2f5d5403 Mon Sep 17 00:00:00 2001 From: Martin Jambor Date: Mon, 9 Jan 2012 21:03:08 +0100 Subject: [PATCH] re PR tree-optimization/51759 (miscompile writes past end of bitfield) 2012-01-09 Martin Jambor PR tree-optimization/51759 * g++.dg/ipa/pr51759.C: New test. From-SVN: r183031 --- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/ipa/pr51759.C | 26 ++++++++++++++++++++++++++ 2 files changed, 31 insertions(+) create mode 100644 gcc/testsuite/g++.dg/ipa/pr51759.C 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 + + PR tree-optimization/51759 + * g++.dg/ipa/pr51759.C: New test. + 2012-01-09 Ramana Radhakrishnan 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 (); +} + -- 2.47.2