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

gcc/testsuite/ChangeLog

+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.

gcc/testsuite/gcc.dg/pr30904.c

+/* { 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" } } */