db/fixup_kernel.sh: commit all my stuff
[smatch.git] / validation / crash-rewrite-branch.c
blobeb310df1cd61264c82f71c283403ed58da3acb63
1 void a(int c, int e)
3 for(; b; c ;
5 if (()) {
6 unsigned short d = e;
7 if (())
8 while ()
10 &d;
13 if (()) {
14 int f = &f;
19 * check-name: crash rewrite_branch
20 * check-command: test-linearize $file
22 * check-error-ignore
23 * check-output-ignore