(root)/
gcc-13.2.0/
gcc/
testsuite/
g++.dg/
analyzer/
pr93950.C
// { dg-do compile { target c++11 } }

struct d
{
  struct e
  {
    int f;
    int *g;
  };
  void h (e * i)
  {
    void *j = nullptr; // { dg-bogus "NULL" }
    i->f = *i->g; // { dg-warning "dereference of NULL 'i'" }
  }
  virtual void c (int, int)
  {
    int *j = nullptr;
    h (nullptr);
  }
};

void
foo ()
{
  d ();
}