1 /* { dg-do compile } */
2 /* { dg-options "-O -fdump-tree-ccp1" } */
3 
4 extern int printf (const char *, ...);
5 
6 int
main()7 main ()
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