db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / missing-select.c
blob07ea008f9fb575df7c3bd185abc3c2cafcedacc4
1 static int foo(int **g)
3 int i = 1;
4 int *a[2];
5 int **p;
7 a[1] = &i;
8 if (g)
9 p = g;
10 else
11 p = &a[0];
12 if (!g)
13 **p = 0;
14 return i;
18 * check-name: missing-select
19 * check-command: test-linearize -Wno-decl $file
21 * check-output-ignore
22 * check-output-contains: select\\.