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  }