1 struct ture {
2 	int a;
3 };
4 
5 struct ture *a;
6 struct ture *b;
7 
func(void)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 sm_implied.c:20 func() error: potentially dereferencing uninitialized 'aa'.
30  * check-output-end
31  */
32