| /* { dg-do compile } */ | |
| /* { dg-options "-O -fdump-tree-ccp1" } */ | |
| extern int printf (const char *, ...); | |
| int | |
| main () | |
| { | |
| int variable = 0; | |
| int p = 1; | |
| while (1) | |
| { | |
| if (p) | |
| break; | |
| variable = variable + 1; | |
| if (variable == 10) | |
| break; | |
| } | |
| printf("%d\n", variable); | |
| } | |
| /* The argument to "printf" should be a constant, not a variable. */ | |
| /* { dg-final { scan-tree-dump-times "printf.*, 0" 1 "ccp1"} } */ |