Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/20040324-1.c @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* { dg-do run } */ /* { dg-options "-O2" } */ /* Ensure that BIT_FIELD_REFs gets the appropriate VUSE. Contributed by Paolo Bonzini <bonzini@gnu.org>. This testcase actually never triggered in the CVS repo, but it did in my local tree and it seems worth testing. In this test, the if's are folded to BIT_FIELD_REFs but the VUSEs were erroneously left out. Therefore, DOM did not see that i was modified between the two ifs and optimized away the second if. */ extern void abort (void); extern void exit (int); struct x { unsigned b:1; unsigned c:1; }; struct x i = { 1, 1 }; int main () { i.b = 1; if (i.b == 1 && i.c == 0) exit (0); i.c = 0; if (i.b == 1 && i.c == 0) exit (0); abort (); }