Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-14.c @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
comparison
equal
deleted
inserted
replaced
111:04ced10e8804 | 131:84e7813d76e9 |
---|---|
1 /* PR tree-optimization/29738. We used not to realize that "i" can never | |
2 become nonzero. */ | |
3 | |
4 /* { dg-do compile } */ | 1 /* { dg-do compile } */ |
5 /* { dg-options "-O2 -fdump-tree-optimized" } */ | 2 /* { dg-options "-O2 -fdump-tree-fre1 -fdump-tree-optimized" } */ |
6 | 3 |
7 int i; | 4 int i; |
8 | 5 |
9 void foo (void); | 6 void foo (void); |
10 void bar (void) | 7 void bar (void) |
14 for (j = 0; j < 10000; j++) | 11 for (j = 0; j < 10000; j++) |
15 if (i) | 12 if (i) |
16 foo (); | 13 foo (); |
17 } | 14 } |
18 | 15 |
19 /* Everything except for the "i = 0" assignment should get removed. */ | 16 /* Everything except for the "i = 0" assignment should get removed. Value |
20 /* { dg-final { scan-tree-dump-times "if" 0 "optimized" { xfail *-*-* } } } */ | 17 numbering already figures out the if in the loop is never true. */ |
18 /* { dg-final { scan-tree-dump-times "foo" 0 "fre1" } } */ | |
19 /* { dg-final { scan-tree-dump-times "if" 0 "optimized" } } */ |