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