old-autovect-branch/gcc/testsuite/gcc.dg/tree-ssa/vrp21.c

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