From: Paolo Bonzini <bonzini@gnu.org>
Date: Sat, 24 Feb 2007 16:07:41 +0000 (+0000)
Subject: re PR tree-optimization/30904 (VRP does not track values of shifts and/or bitfields?)
X-Git-Tag: releases/gcc-4.3.0~6623
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=f048ddccf080a436a5d0ebc04006db525cc115e7;p=thirdparty%2Fgcc.git

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 8b916455ae8a..26ad4bf896d6 100644
--- 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
index 000000000000..bcd9048fe214
--- /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" } } */