xref: /illumos-gate/usr/src/tools/smatch/src/validation/crash-rewrite-branch.c (revision 3ce5372277f4657ad0e52d36c979527c4ca22de2)
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