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

   1 /* { dg-do link } */
   2 /* { dg-options "-O2" } */
   3
   4 extern int link_error (int);
   5
   6 int tst2 (int x, int y)
   7 {
   8   /* VRP should be able to extract range information for
   9      x and y out of this TRUTH_AND_EXPR.  */
  10   if ((x > 5555) && (y < 6666))
  11     {
  12       if (x > 5555)
  13         if (y < 6666)
  14           return 1111;
  15         else
  16           return link_error (2222);
  17       else
  18         if (y < 6666)
  19           return link_error (3333);
  20         else
  21           return link_error (4444);
  22     }
  23   else
  24     return 0;
  25 }
  26
  27 int main()
  28 {
  29   return 0;
  30 }