/* { dg-additional-options "-fdiagnostics-path-format=none -fanalyzer-verbosity=1" } */

#include <stdlib.h>

void
two_frees (void *p, void *q)
{
  free (p);
  free (q); /* { dg-warning "double-'free' of 'q'" } */
  /* TODO: could be useful to identify that p == q when called from 'test'.  */
}

extern void do_stuff (void);

void test (void *ptr)
{
  two_frees (ptr, ptr);
}