1  /* { dg-do compile } */
       2  /* { dg-options "-O" } */
       3  
       4  void ASMAtomicWritePtrVoid(const void *pv);
       5  void rtThreadDestroy(void)
       6  {
       7    void * const pvTypeChecked = ((void *)0);
       8    ASMAtomicWritePtrVoid((void *)(pvTypeChecked));
       9  }