gcc/testsuite/gcc.dg/tree-ssa/pr102736.c

   1 // { dg-do run }
   2 // { dg-options "-O1 -ftree-vrp" }
   3
   4 int a, b = -1, c;
   5 int d = 1;
   6 static inline signed char e(signed char f, int g) { return g ? f : 0; }
   7 static inline signed char h(signed char f) { return f < a ? f : f < a; }
   8 static inline unsigned char i(unsigned char f, int g) { return g ? f : f > g; }
   9 void j() {
  10 L:
  11   c = e(1, i(h(b), d));
  12   if (b)
  13     return;
  14   goto L;
  15 }
  16 int main() {
  17   j();
  18   if (c != 1)
  19     __builtin_abort ();
  20   return 0;
  21 }