validation/sm_implied3.c

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