1  /* { dg-do compile } */
       2  /* { dg-options "-O1 -ftree-vrp -fdump-tree-vrp1" } */
       3  /* { dg-require-effective-target int32plus } */
       4  
       5  extern void link_error ();
       6  
       7  void test01(unsigned int a, unsigned int b)
       8  {
       9    unsigned int x = 0x80000000;
      10    if (a < x)
      11      if (b < x)
      12        if (a > 5)
      13          if (a + b == 0U)
      14            link_error ();
      15  }
      16  
      17  void test02(unsigned int a, unsigned int b)
      18  {
      19    unsigned int x = 0x80000000;
      20    if (a > x)
      21      if (b < x)
      22        if (a - b == 1U)
      23          link_error ();
      24  }
      25  
      26  /* { dg-final { scan-tree-dump-times "link_error" 0 "vrp1" } } */