1 #include "check_debug.h"
2 
3 int a, b;
4 
frob(int size)5 int 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