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