1 #include "check_debug.h"
2 
3 void *ioremap();
4 void iounmap(void *);
5 
6 int *a, *b, *c;
func(void)7 int func(void)
8 {
9 	a = ioremap();
10 	b = ioremap();
11 	c = a;
12 	iounmap(c);
13 	return -1;
14 }
15 /*
16  * check-name: smatch equivalent variables #4
17  * check-command: smatch -p=kernel --spammy -I.. sm_equiv4.c
18  *
19  * check-output-start
20 sm_equiv4.c:13 func() warn: 'b' was not released on error
21  * check-output-end
22  */
23