OSDN Git Service

9aacbcb27466ddce0b257d3e2c76b9d1c2bf3792
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gcc.dg / tree-ssa / ssa-dom-ccp-1.c
1 /* { dg-do compile } */ 
2 /* { dg-options "-O2 -fdump-tree-dom1-details" } */
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 "Replaced.*with constant '4'" 1 "dom1"} } */
18 /* { dg-final { cleanup-tree-dump "dom1" } } */