validation/sm_double_free1.c

   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(7) error: double free of 'x'
  20  * check-output-end
  21  */