1 /* { dg-do compile } */ 2 /* { dg-options "-O -fdump-tree-ccp1" } */ 3 4 extern int printf (const char *, ...); 5 6 int main()7main () 8 { 9 int variable = 0; 10 int p = 1; 11 while (1) 12 { 13 if (p) 14 break; 15 variable = variable + 1; 16 if (variable == 10) 17 break; 18 } 19 printf("%d\n", variable); 20 } 21 22 23 /* The argument to "printf" should be a constant, not a variable. */ 24 /* { dg-final { scan-tree-dump-times "printf.*, 0" 1 "ccp1"} } */ 25