1 2 3 4 5 6 7 8 9 10 11 12 13 14
/* { dg-additional-options "-fanalyzer-call-summaries" } */ #include <stdlib.h> void calls_free (void *p) { free (p); /* { dg-warning "double-'free' of 'p'" } */ } void test (void *q) { calls_free (q); calls_free (q); }