gcc/testsuite/gcc.dg/analyzer/pr94447.c

struct foo
{
  int *v;
};

int test (void)
{
  struct foo f = {};
  return *f.v; /* { dg-warning "dereference of NULL" } */
}