validation/sm_equiv4.c

   1 #include "check_debug.h"
   2
   3 void *ioremap();
   4 void iounmap(void *);
   5
   6 int *a, *b, *c;
   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  */