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