1  /* { dg-additional-options "-Wno-analyzer-out-of-bounds" } */
       2  
       3  void
       4  ar (int *hd)
       5  {
       6    int **zv = &hd;
       7    *(double *) zv = 0.0;
       8  }