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 --spammy sm_implied5.c
23 *
24 * check-output-start
25 sm_implied5.c:18 func() error: potentially dereferencing uninitialized 'aa'.
26 * check-output-end
27 */
|
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 --spammy sm_implied5.c
23 *
24 * check-output-start
25 sm_implied5.c:18 func() error: potentially dereferencing uninitialized 'aa'.
26 sm_implied5.c:18 func() error: potentially dereferencing uninitialized 'aa'.
27 * check-output-end
28 */
|