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