xref: /illumos-gate/usr/src/tools/smatch/src/validation/crash-rewrite-branch.c (revision cadd68ea0014761eda6a293664086dfa80686d85)
1 void a(int c, int e)
2 {
3 	for(;                   b; c ;
4 
5 	if (()) {
6 		unsigned short d = e;
7 		if (())
8 			while ()
9 				;
10 		&d;
11 	}
12 
13 	if (()) {
14 		int f = &f;
15 	}
16 }
17 
18 /*
19  * check-name: crash rewrite_branch
20  * check-command: test-linearize $file
21  *
22  * check-error-ignore
23  * check-output-ignore
24  */
25