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 */ 22