1 #include "check_debug.h" 2 3 int a, b; 4 frob(int size)5int frob(int size) 6 { 7 if (a <= 0 || a > 10) 8 return; 9 if (a % 4) { 10 __smatch_implied(a); 11 } else { 12 __smatch_implied(a); 13 } 14 15 if (b <= 0 || b > 100) 16 return; 17 if (b % 4) { 18 __smatch_implied(b); 19 } else { 20 __smatch_implied(b); 21 } 22 23 24 25 return 0; 26 } 27 28 /* 29 * check-name: smatch mod condition 30 * check-command: smatch -I.. sm_mod.c 31 * 32 * check-output-start 33 sm_mod.c:10 frob() implied: a = '1-10' 34 sm_mod.c:12 frob() implied: a = '4,8' 35 sm_mod.c:18 frob() implied: b = '1-99' 36 sm_mod.c:20 frob() implied: b = '4-100' 37 * check-output-end 38 */ 39