1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1-details" } */
5 int tree_code_length
[100];
11 if (code1
!= 53) goto L0
; else goto L1
;
17 D18670
= tree_code_length
[53];
18 if (D18670
<= 1) goto L2
; else goto L3
;
24 if (D18670
== 2) goto L4
; else goto L5
;
31 if (code1
!= 53) goto L6
; else goto L7
;
37 if (D18670
<= 2) goto L8
; else goto L9
;
47 /* The second test of (code1 != 53) and the test (D18670 <= 2) are
48 both totally subsumed by earlier tests and thus should be folded
50 /* { dg-final { scan-tree-dump-times "Folding predicate" 2 "vrp1" } } */
51 /* { dg-final { cleanup-tree-dump "vrp1" } } */