gcc/testsuite/c-c++-common/analyzer/malloc-ipa-9.c

   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 }