/* { dg-do compile } */ /* { dg-options "-O2 -fdump-tree-optimized" } */ int t(int a) __attribute__ ((const)); void abort (void); int ccp(int b) { int a=1; a++; a++; a++; if (b) abort(); return a; } /* We should propagate constant 4 into return. */ /* { dg-final { scan-tree-dump-times "return 4" 1 "optimized"} } */ /* { dg-final { cleanup-tree-dump "optimized" } } */