20         if (!(b)) {
  21                 if (c) {
  22                         aa = (void *)0;
  23                         ab = (void *)0;
  24                         b = -1;
  25                 }
  26         }
  27         if (!c)
  28                 aa->a = 1;
  29         if (b)
  30                 return;
  31         ab->a = 1;
  32         return;
  33 }
  34 /*
  35  * check-name: Smatch implied #2
  36  * check-command: smatch --spammy sm_implied2.c
  37  *
  38  * check-output-start
  39 sm_implied2.c:28 func() error: potentially dereferencing uninitialized 'aa'.

  40  * check-output-end
  41  */

  20         if (!(b)) {
  21                 if (c) {
  22                         aa = (void *)0;
  23                         ab = (void *)0;
  24                         b = -1;
  25                 }
  26         }
  27         if (!c)
  28                 aa->a = 1;
  29         if (b)
  30                 return;
  31         ab->a = 1;
  32         return;
  33 }
  34 /*
  35  * check-name: Smatch implied #2
  36  * check-command: smatch --spammy sm_implied2.c
  37  *
  38  * check-output-start
  39 sm_implied2.c:28 func() error: potentially dereferencing uninitialized 'aa'.
  40 sm_implied2.c:28 func() error: potentially dereferencing uninitialized 'aa'.
  41  * check-output-end
  42  */