1#include "check_debug.h"
2
3int aaa;
4
5void func (void)
6{
7	if (aaa > 0 && aaa < 100) {
8		__smatch_value("aaa");
9	} else {
10		__smatch_value("aaa");
11	}
12	if (aaa > 0 && aaa < 100 && aaa < 10) {
13		__smatch_value("aaa");
14	} else {
15		if (aaa != 42)
16			__smatch_value("aaa");
17	}
18}
19/*
20 * check-name: Compound Conditions #3
21 * check-command: smatch -I.. sm_compound_conditions3.c
22 *
23 * check-output-start
24sm_compound_conditions3.c:8 func() aaa = 1-99
25sm_compound_conditions3.c:10 func() aaa = s32min-0,100-s32max
26sm_compound_conditions3.c:13 func() aaa = 1-9
27sm_compound_conditions3.c:16 func() aaa = s32min-0,10-41,43-s32max
28 * check-output-end
29 */
30