1 #include "check_debug.h" 2 3 int a, b, c; 4 5 int main(void) 6 { 7 if (a < 4) 8 return 1; 9 if (a > 10) 10 return 2; 11 __smatch_value("a"); 12 13 if (b < 3) 14 return 3; 15 if (b > 15) 16 return 4; 17 __smatch_value("b"); 18 19 if (b > a) { 20 __smatch_value("a"); 21 __smatch_value("b"); 22 } else { 23 __smatch_value("a"); 24 __smatch_value("b"); 25 } 26 return 5; 27 } 28 29 /* 30 * check-name: Smatch Comparison #2 31 * check-command: smatch -I.. sm_compare2.c 32 * 33 * check-output-start 34 sm_compare2.c:11 main() a = 4-10 35 sm_compare2.c:17 main() b = 3-15 36 sm_compare2.c:20 main() a = 4-10 37 sm_compare2.c:21 main() b = 5-15 38 sm_compare2.c:23 main() a = 4-10 39 sm_compare2.c:24 main() b = 3-10 40 * check-output-end 41 */ 42