codeql/cpp/ql/test/library-tests/dataflow/fields/C.cpp

void sink(...);
class C
{
  class Elem
  {
  };
private:
  Elem *s1 = new Elem();
  const Elem *s2 = new Elem();
  Elem *s3;

public:
  const static Elem *s4;

  void main(void)
  {
    C *c = new C();
    c->func();
  }

  C() : s1(new Elem())
  {
    this->s3 = new Elem();
  }

  void func()
  {
    sink(s1); // $ast,ir
    sink(s2); // $ MISSING: ast,ir
    sink(s3); // $ast MISSING: ir
    sink(s4); // $ MISSING: ast,ir
  }
};
const C::Elem *C::s4 = new Elem();