diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2007-02-24 16:07:41 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gcc.gnu.org> | 2007-02-24 16:07:41 +0000 |
| commit | f048ddccf080a436a5d0ebc04006db525cc115e7 (patch) | |
| tree | 82af2b679aeaf3bc5ee896e8d1e7d6f31303447b /gcc | |
| parent | 606830199c76c965def1e4a202525820328f0988 (diff) | |
| download | gcc-f048ddccf080a436a5d0ebc04006db525cc115e7.zip gcc-f048ddccf080a436a5d0ebc04006db525cc115e7.tar.gz gcc-f048ddccf080a436a5d0ebc04006db525cc115e7.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr30904.c | 18 |
2 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8b91645..26ad4bf 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 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" } } */ |