1  /* { dg-do compile } */ 
       2  /* { dg-options "-O2 -fdump-tree-optimized" } */
       3  int t(int a) __attribute__ ((const));
       4  void abort (void);
       5  int
       6  ccp(int b)
       7  {
       8  	int a=1;
       9  	a++;
      10  	a++;
      11  	a++;
      12  	if (b)
      13  	  abort();
      14  	return a;
      15  }
      16  /* We should propagate constant 4 into return.  */
      17  /* { dg-final { scan-tree-dump-times "return 4" 1 "optimized"} } */