Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/vrp70.c @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children |
line wrap: on
line source
/* { dg-do compile } */ /* { dg-require-effective-target int32plus } */ /* { dg-options "-O2 -fdump-tree-vrp1" } */ extern void link_error (void); void foo (unsigned int s) { if (s + 0x70000000 < 0xf0000000U) { if (s >= 0x80000000U && s < 0x90000000U) link_error (); } } void bar (unsigned int s) { if (s + 0x70000000 >= 0xf0000000U) { if (s < 0x80000000U || s >= 0x90000000U) link_error (); } } /* { dg-final { scan-tree-dump-not "link_error" "vrp1" } } */