Mercurial > hg > CbC > CbC_gcc
diff gcc/testsuite/gcc.dg/tree-ssa/vrp38.c @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp38.c Fri Oct 27 22:46:09 2017 +0900 @@ -0,0 +1,21 @@ +/* { dg-do run } */ +/* { dg-options "-O2" } */ + +int __attribute__((noinline)) +foo(char c) +{ + unsigned short a = (unsigned short)c; + if (a >= -32000 && a <= 32000) + return c == 0; + return -1; +} + +extern void abort (void); + +int main() +{ + if (foo(1) == 1) + abort (); + return 0; +} +