1  /* { dg-additional-options "-fdiagnostics-path-format=none -fanalyzer-verbosity=1" } */
       2  
       3  #include <stdlib.h>
       4  
       5  void
       6  two_frees (void *p, void *q)
       7  {
       8    free (p);
       9    free (q); /* { dg-warning "double-'free' of 'q'" } */
      10    /* TODO: could be useful to identify that p == q when called from 'test'.  */
      11  }
      12  
      13  extern void do_stuff (void);
      14  
      15  void test (void *ptr)
      16  {
      17    two_frees (ptr, ptr);
      18  }