gcc/testsuite/gcc.dg/tree-ssa/20030917-3.c

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