1 /* { dg-do compile } */
2 /* { dg-options "-O -ftree-vrp -ftree-vectorize" } */
3 
4 struct A
5 {
6   int i;
7 };
8 
9 struct B
10 {
11   struct A a;
12 };
13 
14 extern void f4 (void *);
15 
16 inline void
f3(struct A * a)17 f3 (struct A *a)
18 {
19   f4 (a);
20   while (a->i);
21 }
22 
23 static inline void
f2(struct B * b)24 f2 (struct B *b)
25 {
26   f3 (&b->a);
27 }
28 
29 void
f1()30 f1 ()
31 {
32   struct B *b = 0;
33   f2 (b);
34 }
35