1*1f5207b7SJohn Levon #include "check_debug.h"
2*1f5207b7SJohn Levon 
3*1f5207b7SJohn Levon void *a, *b;
options_write(void)4*1f5207b7SJohn Levon static int options_write(void)
5*1f5207b7SJohn Levon {
6*1f5207b7SJohn Levon 	a = b + 1;
7*1f5207b7SJohn Levon 	__smatch_compare(a, b);
8*1f5207b7SJohn Levon }
9*1f5207b7SJohn Levon 
10*1f5207b7SJohn Levon /*
11*1f5207b7SJohn Levon  * check-name: smatch compare #8
12*1f5207b7SJohn Levon  * check-command: smatch -I.. sm_compare8.c
13*1f5207b7SJohn Levon  *
14*1f5207b7SJohn Levon  * check-output-start
15*1f5207b7SJohn Levon sm_compare8.c:7 options_write() a > b
16*1f5207b7SJohn Levon  * check-output-end
17*1f5207b7SJohn Levon  */
18