1 #define NULL ((void *)0) 2 3 struct ture { 4 int *a; 5 }; 6 7 struct ture *b; 8 struct ture *c; 9 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