1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-optimized" } */
3 int t(int a) __attribute__ ((const));
4 void abort (void);
5 int
ccp(int b)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"} } */
18