1 #include "check_debug.h"
2 
3 int some_func();
4 
5 int a, b, c, d;
6 
func(void)7 void func (void)
8 {
9 	d = some_func();
10 
11 	if (a + 3 > 100)
12 		return;
13 	__smatch_implied(a);
14 	if (3 + b > 100)
15 		return;
16 	__smatch_implied(b);
17 	if (c - 3 > 100)
18 		return;
19 	__smatch_implied(c);
20 	if (3 - d > 100)
21 		return;
22 	__smatch_implied(d);
23 }
24 
25 /*
26  * check-name: Smatch compare #4
27  * check-command: smatch -I.. sm_compare4.c
28  *
29  * check-output-start
30 sm_compare4.c:13 func() implied: a = 's32min-97'
31 sm_compare4.c:16 func() implied: b = 's32min-97'
32 sm_compare4.c:19 func() implied: c = 's32min-103'
33 sm_compare4.c:22 func() implied: d = 's32min-s32max'
34  * check-output-end
35  */
36