gcc/testsuite/gcc.dg/pr110875.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp2" } */
   3
   4 void foo(void);
   5 static int a, b;
   6 static int *c = &a, *d;
   7 static unsigned e;
   8 static short f;
   9 static unsigned g(unsigned char h, char i) { return h + i; }
  10 int main() {
  11     d = &a;
  12     int *j = d;
  13     e = -27;
  14     for (; e > 18; e = g(e, 6)) {
  15         a = 0;
  16         for (; a != -3; a--) {
  17             if (0 != a ^ *j)
  18                 for (; b; b++) f = -f;
  19             else if (*c) {
  20                 foo();
  21                 break;
  22             }
  23             if (!(((e) >= 235) && ((e) <= 4294967269))) {
  24                 __builtin_unreachable();
  25             }
  26             b = 0;
  27         }
  28     }
  29 }
  30
  31
  32 /* { dg-final { scan-tree-dump-not "foo" "vrp2" } } */
  33
  34