xref: /illumos-gate/usr/src/tools/smatch/src/validation/sm_compare9.c (revision 1f5207b7604fb44407eb4342aff613f7c4508508) 
1 #include "check_debug.h"
2 
3 void *a, *b;
options_write(void)4 static int options_write(void)
5 {
6 	a = b / 2;
7 	__smatch_compare(a, b);
8 }
9 
10 /*
11  * check-name: smatch compare #9
12  * check-command: smatch -I.. sm_compare9.c
13  *
14  * check-output-start
15 sm_compare9.c:7 options_write() a < b
16  * check-output-end
17  */
18