1 #include "check_debug.h"
2 
3 int frob();
4 
options_write(void)5 static int options_write(void)
6 {
7 	int a = frob();
8 	int b = frob();
9 	int c = frob();
10 	int d = frob();
11 
12 	a = d;
13 	if (a > b + c) {
14 		a = b + c;
15 	}
16 	__smatch_compare(a, d);
17 }
18 
19 /*
20  * check-name: smatch compare #11
21  * check-command: smatch -I.. sm_compare11.c
22  *
23  * check-output-start
24 sm_compare11.c:16 options_write() a <= d
25  * check-output-end
26  */
27