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