validation/sm_implied5.c

   1 struct ture {
   2         int a;
   3 };
   4
   5 int out_a;
   6
   7 void func (void)
   8 {
   9         struct ture *aa;
  10         int a = 0;
  11
  12         if (out_a) {
  13                 aa = returns_nonnull();
  14                 a = something();
  15         }
  16         if (a)
  17                 aa->a = 1;
  18         aa->a = 0xF00D;
  19 }
  20 /*
  21  * check-name: Smatch implied #5
  22  * check-command: smatch sm_implied5.c
  23  *
  24  * check-output-start
  25 sm_implied5.c:18 func() error: potentially dereferencing uninitialized 'aa'.
  26  * check-output-end
  27  */