validation/sm_implied.c

   1 struct ture {
   2         int a;
   3 };
   4
   5 struct ture *a;
   6 struct ture *b;
   7
   8 void func (void)
   9 {
  10         struct ture *aa;
  11
  12         b = 0;
  13         if (a)
  14                 goto x;
  15         aa = returns_nonnull();
  16         b = 1;
  17 x:
  18         if (b)
  19                 aa->a = 1;
  20         aa->a = 1;
  21         return;
  22 }
  23 /*
  24  * check-name: Smatch implied #1
  25  * check-command: smatch sm_implied.c
  26  *
  27  * check-output-start
  28 sm_implied.c +20 func(12) Dereferencing Undefined:  'aa'
  29  * check-output-end
  30  */