Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/vrp10.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" } */ extern void abort (void); int foo (int k, int j) { if (k >= 10) { if (j > k) { /* We should fold this to if (0). */ if (j < 10) abort (); } } return j; } int main() { foo (10, 3); return 0; }