1*1f5207b7SJohn Levon #include <stdlib.h>
2*1f5207b7SJohn Levon 
func(void)3*1f5207b7SJohn Levon void 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