+
−/* { dg-do compile } */
+
−/* { dg-options "-O -ftree-vrp -ftree-vectorize" } */
+
−
+
−struct A
+
−{
+
−  int i;
+
−};
+
−
+
−struct B
+
−{
+
−  struct A a;
+
−};
+
−
+
−extern void f4 (void *);
+
−
+
−inline void
+
−f3 (struct A *a)
+
−{
+
−  f4 (a);
+
−  while (a->i);
+
−}
+
−
+
−static inline void
+
−f2 (struct B *b)
+
−{
+
−  f3 (&b->a);
+
−}
+
−
+
−void
+
−f1 ()
+
−{
+
−  struct B *b = 0;
+
−  f2 (b);
+
−}