validation/sm_implied3.c

   1 #define NULL ((void *)0)
   2
   3 struct ture {
   4         int *a;
   5 };
   6
   7 struct ture *b;
   8 struct ture *c;
   9
  10 void func (void)
  11 {
  12         struct ture *ab;
  13         int ret = 0;
  14
  15         if (b) {
  16                 ret = -1;
  17                 goto foo;
  18         }
  19
  20         if (c) {}
  21
  22         ab = some_func();
  23         if (NULL == ab) {
  24                 ret = -1;
  25                 goto foo;
  26         }
  27 foo:
  28         if (ret) {
  29                 return;
  30         }
  31         ab->a = 1;
  32 }
  33 /*
  34  * check-name: Smatch implied #3
  35  * check-command: smatch sm_implied3.c
  36  */