db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / merge_bbe-adjust_phi.c
blob6a8ebb73a62dc346e44c8edf27cc43dcb514f3cc
1 extern int array[2];
3 static inline int stupid_select(int idx)
5 if (idx)
6 idx = 0;
7 return array[idx];
10 int select(void)
12 int d = stupid_select(-1);
13 return d;
17 * check-name: merge_bbe-adjust_phi
18 * check-command: test-linearize -Wno-decl $file
20 * check-output-ignore
21 * check-output-excludes: phisrc\\.
22 * check-output-excludes: phi\\.