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 --spammy sm_implied.c 26 * 27 * check-output-start 28 sm_implied.c:20 func() error: potentially dereferencing uninitialized 'aa'. 29 * check-output-end 30 */ 31