1 /* { dg-do compile } */
2 /* { dg-options "-O1 -ftree-vrp -fdump-tree-vrp" } */
4 extern void link_error ();
6 void test01(unsigned int a, unsigned int b)
8 unsigned int x = 0x80000000;
16 void test02(unsigned int a, unsigned int b)
18 unsigned int x = 0x80000000;
25 /* { dg-final { scan-tree-dump-times "link_error" 0 "vrp" } } */
26 /* { dg-final { cleanup-tree-dump "vrp" } } */