1  /* { dg-additional-options "-O2" } */
       2  
       3  #include <stdlib.h>
       4  
       5  void test(void)
       6  {
       7      void *ptr = malloc(512);
       8      free(ptr);
       9      free(ptr); /* { dg-warning "double-'free'" "" { xfail *-*-* } } */
      10  }
      11  /* With optimization, the whole of test() goes away in the "cddce" pass
      12     before the analysis pass sees it, and hence we get no error message.  */