Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/vrp70.c @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 04ced10e8804 |
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" } } */