1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp2" } */
6 static int *c
= &a
, *d
;
9 static unsigned g(unsigned char h
, char i
) { return h
+ i
; }
14 for (; e
> 18; e
= g(e
, 6)) {
16 for (; a
!= -3; a
--) {
18 for (; b
; b
++) f
= -f
;
23 if (!(((e
) >= 235) && ((e
) <= 4294967269))) {
24 __builtin_unreachable();
32 /* { dg-final { scan-tree-dump-not "foo" "vrp2" } } */