1  #include <stdlib.h>
       2  
       3  void test(int c)
       4  {
       5    int i;
       6    char *buffer = (char*)malloc(256);
       7  
       8    for (i=0; i<255; i++) {
       9      buffer[i] = c; /* { dg-warning "use after 'free' of 'buffer'" "use after free" { xfail *-*-* } } */
      10                     /* { dg-warning "possibly-NULL 'buffer'" "deref of unchecked" { target *-*-* } .-1 } */
      11      free(buffer); /* { dg-warning "double-'free' of 'buffer'" } */
      12    }
      13  
      14  }