Mercurial > hg > CbC > CbC_gcc
annotate gcc/testsuite/gcc.dg/tree-ssa/evrp7.c @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 04ced10e8804 |
children |
rev | line source |
---|---|
111 | 1 /* { dg-do compile } */ |
2 /* { dg-options "-O2 -fdump-tree-evrp-details" } */ | |
3 | |
4 int test1(int i, int k) | |
5 { | |
6 if (i > 0 && i <= 5 && k >= 10 && k < 42) | |
7 { | |
8 int j = i + 1 + k; | |
9 return j == 10; | |
10 } | |
11 return 1; | |
12 } | |
13 | |
14 /* { dg-final { scan-tree-dump "Removing dead stmt \[^\r\n\]* = j_.* == 10" "evrp" } } */ |