1 #define NULL ((void *)0)
2 
3 struct ture {
4 	int *a;
5 };
6 
7 struct ture *b;
8 struct ture *c;
9 
func(void)10 void func (void)
11 {
12 	struct ture *ab;
13 	int ret = 0;
14 
15 	if (b) {
16 		ret = -1;
17 		goto foo;
18 	}
19 
20 	if (c) {}
21 
22 	ab = some_func();
23 	if (NULL == ab) {
24 		ret = -1;
25 		goto foo;
26 	}
27 foo:
28 	if (ret) {
29 		return;
30 	}
31 	ab->a = 1;
32 }
33 /*
34  * check-name: Smatch implied #3
35  * check-command: smatch sm_implied3.c
36  */
37