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
      17  f3 (struct A *a)
      18  {
      19    f4 (a);
      20    while (a->i);
      21  }
      22  
      23  static inline void
      24  f2 (struct B *b)
      25  {
      26    f3 (&b->a);
      27  }
      28  
      29  void
      30  f1 ()
      31  {
      32    struct B *b = 0;
      33    f2 (b);
      34  }