1*1f5207b7SJohn Levon #include "check_debug.h" 2*1f5207b7SJohn Levon 3*1f5207b7SJohn Levon void *a, *b; options_write(void)4*1f5207b7SJohn Levonstatic 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