1 #include <stdlib.h>
   2 
   3 void func (void)
   4 {
   5         void *x;
   6 
   7         x = malloc(42);
   8 
   9         free(x);
  10         free(x);
  11 
  12         return 0;
  13 }
  14 /*
  15  * check-name: double free test #1
  16  * check-command: smatch sm_double_free1.c
  17  *
  18  * check-output-start
  19 sm_double_free1.c:10 func() error: double free of 'x'
  20  * check-output-end
  21  */