1*1f5207b7SJohn Levon #include <stdlib.h> 2*1f5207b7SJohn Levon func(void)3*1f5207b7SJohn Levonvoid func (void) 4*1f5207b7SJohn Levon { 5*1f5207b7SJohn Levon void *ptr; 6*1f5207b7SJohn Levon 7*1f5207b7SJohn Levon ptr = malloc(42); 8*1f5207b7SJohn Levon ptr = (void *) 0; 9*1f5207b7SJohn Levon 10*1f5207b7SJohn Levon return; 11*1f5207b7SJohn Levon } 12*1f5207b7SJohn Levon /* 13*1f5207b7SJohn Levon * check-name: leak test #2 14*1f5207b7SJohn Levon * check-command: smatch sm_memleak2.c 15*1f5207b7SJohn Levon * 16*1f5207b7SJohn Levon * check-output-start 17*1f5207b7SJohn Levon sm_memleak2.c:8 func() warn: overwrite may leak 'ptr' 18*1f5207b7SJohn Levon * check-output-end 19*1f5207b7SJohn Levon */ 20