db: look up all the function pointers
[smatch.git] / validation / sm_implied.c
blob7b413727741338516152aabcbdf89a3f6336bafd
1 struct ture {
2 int a;
3 };
5 struct ture *a;
6 struct ture *b;
8 void func (void)
10 struct ture *aa;
12 b = 0;
13 if (a)
14 goto x;
15 aa = returns_nonnull();
16 b = 1;
18 if (b)
19 aa->a = 1;
20 aa->a = 1;
21 return;
24 * check-name: Smatch implied #1
25 * check-command: smatch sm_implied.c
27 * check-output-start
28 sm_implied.c:20 func() error: potentially dereferencing uninitialized 'aa'.
29 * check-output-end