db: remove an unused variable
[smatch.git] / validation / sm_equiv4.c
blobc73baac4f1730e7988e9c1e6bb7b05eb6af9a288
1 #include "check_debug.h"
3 void *ioremap();
4 void iounmap(void *);
6 int *a, *b, *c;
7 int func(void)
9 a = ioremap();
10 b = ioremap();
11 c = a;
12 iounmap(c);
13 return -1;
16 * check-name: smatch equivalent variables #4
17 * check-command: smatch -p=kernel --spammy -I.. sm_equiv4.c
19 * check-output-start
20 sm_equiv4.c:13 func() warn: 'b' was not released on error
21 * check-output-end