1  /* { dg-additional-options "-Wno-analyzer-out-of-bounds" } */
       2  
       3  void
       4  mt (double);
       5  
       6  void
       7  nm (void)
       8  {
       9    double ao = 0.0;
      10    long int es = -1;
      11  
      12    mt (ao);
      13    ++ao;
      14    mt (ao);
      15    mt (*(double *) &es);
      16  }