Mercurial > hg > CbC > CbC_gcc
diff gcc/testsuite/gcc.dg/pr68217.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/pr68217.c Fri Oct 27 22:46:09 2017 +0900 @@ -0,0 +1,13 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdisable-tree-evrp -fdump-tree-vrp1" } */ + +int foo (void) +{ + volatile int a = -1; + long long b = (1LL << (sizeof (b) * 8 - 1)); // LLONG_MIN + long long x = (a & b); // x == 0x8000000000000000 + if (x < 1LL) { ; } else { __builtin_abort(); } + return 0; +} + +/* { dg-final { scan-tree-dump "\\\[-INF, 0\\\]" "vrp1" } } */