db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / bad-phisrc1a.c
blobb7519ee7cf5d9e53fd0e0259493f02de0369051a
1 int def(void);
3 int fun4(struct xfrm_state *net, int cnt)
5 int err = 0;
6 if (err)
7 goto out;
8 for (; net;)
9 err = def();
10 if (cnt)
11 out:
12 return err;
13 return 0;
17 * check-name: bad-phisrc1a
18 * check-command: test-linearize -Wno-decl $file
20 * check-output-ignore
21 * check-output-contains: select\\.