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  }