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 test02(unsigned int a,unsigned int b)7void test02(unsigned int a, unsigned int b) 8 { 9 unsigned int x = 0x80000000; 10 if (a > x) 11 if (b < x) 12 if (a == b) 13 link_error (); 14 } 15 16 /* { dg-final { scan-tree-dump-times "link_error" 0 "vrp1" } } */ 17