1 /* { dg-additional-options "-fdiagnostics-path-format=none -fanalyzer-verbosity=1" } */
6 two_frees (void *p
, void *q
)
9 free (q
); /* { dg-warning "double-'free' of 'q'" } */
10 /* TODO: could be useful to identify that p == q when called from 'test'. */
13 extern void do_stuff (void);