gcc/testsuite/g++.dg/analyzer/pr96723.C

void
foo ()
{
  union
  {
    int *p;
  } u;
  u.p = new int;
  delete u.p;
}