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  */