1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-vrp1" } */ 3 4 extern void link_error (void); foo(void)5void foo (void) 6 { 7 int j = 256; 8 do 9 { 10 if (j < 0 || j > 256) 11 link_error (); 12 j--; 13 } 14 while (j >= 0); 15 if (j != -1) 16 link_error (); 17 } 18 extern void link_error (void); bar(void)19void bar (void) 20 { 21 int j = 0; 22 do 23 { 24 if (j < 0 || j > 256) 25 link_error (); 26 j++; 27 } 28 while (j <= 256); 29 if (j != 257) 30 link_error (); 31 } 32 33 /* { dg-final { scan-tree-dump-not "link_error" "vrp1" } } */ 34