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"} } */