re PR tree-optimization/30904 (VRP does not track values of shifts and/or bitfields?)

2007-02-23  Paolo Bonzini  <bonzini@gnu.org>

        PR tree-optimization/30904
	* gcc.dg/pr30904.c: New test.

From-SVN: r122290

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8b916455ae8a57e0b174f14a907b0850969adee8..26ad4bf896d6d1c74783f20ddba0ecd8e8e6b4db 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2007-02-23  Paolo Bonzini  <bonzini@gnu.org>
+
+        PR tree-optimization/30904
+       * gcc.dg/pr30904.c: New test.
+
 2007-02-23  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 
        * gcc.test-framework/README: Correct command.

diff --git a/gcc/testsuite/gcc.dg/pr30904.c b/gcc/testsuite/gcc.dg/pr30904.c
new file mode 100644 (file)
index 0000000..bcd9048
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr30904.c
@@ -0,0 +1,18 @@
+/* { dg-do link } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+extern int t;
+extern void link_error(void);
+int main (void)
+{
+      struct { unsigned int a : 7; } s;
+      s.a = t;
+      if (s.a >> 8)
+          link_error ();
+      if (s.a >> 9)
+          link_error ();
+}
+
+
+/* { dg-final { scan-tree-dump-times "link_error" 0 "optimized" { xfail *-*-* } } } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */