1#include "check_debug.h"
2
3int x;
4void func(void)
5{
6
7	if (x < 1)
8		__smatch_value("x");
9	else
10		__smatch_value("x");
11
12	if (12 < x)
13		__smatch_value("x");
14	else
15		__smatch_value("x");
16
17	if (x <= 23)
18		__smatch_value("x");
19	else
20		__smatch_value("x");
21
22	if (34 <= x)
23		__smatch_value("x");
24	else
25		__smatch_value("x");
26
27	if (x >= 45)
28		__smatch_value("x");
29	else
30		__smatch_value("x");
31
32	if (56 >= x)
33		__smatch_value("x");
34	else
35		__smatch_value("x");
36
37	if (x > 67)
38		__smatch_value("x");
39	else
40		__smatch_value("x");
41
42	if (78 > x)
43		__smatch_value("x");
44	else
45		__smatch_value("x");
46
47	if (89 == x)
48		__smatch_value("x");
49	else
50		__smatch_value("x");
51
52	if (100 != x)
53		__smatch_value("x");
54	else
55		__smatch_value("x");
56
57	return;
58}
59/*
60 * check-name: smatch range comparison
61 * check-command: smatch -I.. sm_range3.c
62 *
63 * check-output-start
64sm_range3.c:8 func() x = s32min-0
65sm_range3.c:10 func() x = 1-s32max
66sm_range3.c:13 func() x = 13-s32max
67sm_range3.c:15 func() x = s32min-12
68sm_range3.c:18 func() x = s32min-23
69sm_range3.c:20 func() x = 24-s32max
70sm_range3.c:23 func() x = 34-s32max
71sm_range3.c:25 func() x = s32min-33
72sm_range3.c:28 func() x = 45-s32max
73sm_range3.c:30 func() x = s32min-44
74sm_range3.c:33 func() x = s32min-56
75sm_range3.c:35 func() x = 57-s32max
76sm_range3.c:38 func() x = 68-s32max
77sm_range3.c:40 func() x = s32min-67
78sm_range3.c:43 func() x = s32min-77
79sm_range3.c:45 func() x = 78-s32max
80sm_range3.c:48 func() x = 89
81sm_range3.c:50 func() x = s32min-88,90-s32max
82sm_range3.c:53 func() x = s32min-99,101-s32max
83sm_range3.c:55 func() x = 100
84 * check-output-end
85 */
86