1#include "check_debug.h"
2
3int *something();
4
5int *one;
6int *two;
7int func(void)
8{
9	one = something();
10	two = one;
11
12	if (two == 1) {
13		__smatch_value("one");
14		__smatch_value("two");
15	}
16	__smatch_value("one");
17	__smatch_value("two");
18	if (one == 2) {
19		__smatch_value("one");
20		__smatch_value("two");
21	}
22	__smatch_value("one");
23	__smatch_value("two");
24	return 0;
25}
26/*
27 * check-name: smatch equivalent variables #1
28 * check-command: smatch -I.. -m64 sm_equiv1.c
29 *
30 * check-output-start
31sm_equiv1.c:13 func() one = 1
32sm_equiv1.c:14 func() two = 1
33sm_equiv1.c:16 func() one = 0-u64max
34sm_equiv1.c:17 func() two = 0-u64max
35sm_equiv1.c:19 func() one = 2
36sm_equiv1.c:20 func() two = 2
37sm_equiv1.c:22 func() one = 0-u64max
38sm_equiv1.c:23 func() two = 0-u64max
39 * check-output-end
40 */
41