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