1  struct foo
       2  {
       3    int *v;
       4  };
       5  
       6  int test (void)
       7  {
       8    struct foo f = {};
       9    return *f.v; /* { dg-warning "dereference of NULL" } */
      10  }