]>
git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/testsuite/gcc.dg/tree-ssa/vrp25.c
1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-tree-fre -fdump-tree-vrp1" } */
6 int tree_code_length
[100];
13 if (code1
!= 53) goto L0
; else goto L1
;
19 D18670
= tree_code_length
[53];
20 if (D18670
<= 1) goto L2
; else goto L3
;
26 if (D18670
== 2) goto L4
; else goto L5
;
33 if (code1
!= 53) goto L6
; else goto L7
;
39 if (D18670
<= 2) goto L8
; else goto L9
;
49 /* The second test of (code1 != 53) and the test (D18670 <= 2) are
50 both totally subsumed by earlier tests and thus should be folded
52 /* { dg-final { scan-tree-dump-times "if" 3 "vrp1" } } */