From f048ddccf080a436a5d0ebc04006db525cc115e7 Mon Sep 17 00:00:00 2001 From: Paolo Bonzini Date: Sat, 24 Feb 2007 16:07:41 +0000 Subject: re PR tree-optimization/30904 (VRP does not track values of shifts and/or bitfields?) 2007-02-23 Paolo Bonzini PR tree-optimization/30904 * gcc.dg/pr30904.c: New test. From-SVN: r122290 --- gcc/testsuite/gcc.dg/pr30904.c | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/pr30904.c (limited to 'gcc/testsuite/gcc.dg/pr30904.c') diff --git a/gcc/testsuite/gcc.dg/pr30904.c b/gcc/testsuite/gcc.dg/pr30904.c new file mode 100644 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" } } */ -- cgit v1.1