gcc/testsuite/gcc.dg/analyzer/pr96764.c

void
ar (int *hd)
{
  int **zv = &hd;
  *(double *) zv = 0.0;
}