Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/vrp97.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
/* PR tree-optimization/64454 */ /* { dg-options "-O2 -fdump-tree-vrp1" } */ int f(int a, int b) { if (a < -3 || a > 13) __builtin_unreachable(); if (b < -6 || b > 9) __builtin_unreachable(); int c = a % b; return c >= -3 && c <= 8; } int g(int a, int b) { int c = a % b; return c != -__INT_MAX__ - 1; } /* { dg-final { scan-tree-dump-times "return 1;" 2 "vrp1" } } */