1 #include "check_debug.h"
2 
3 int frob();
4 
5 int a, b, c;
func(unsigned long x)6 void func(unsigned long x)
7 {
8 	if (x >= 4)
9 		return;
10 
11 	__smatch_value("x");
12 	if ((!(a) ? -19 : (((b && c) ? frob() : -515))))
13 		__smatch_value("x");
14 	__smatch_value("x");
15 }
16 /*
17  * check-name: Smatch Ternary #4
18  * check-command: smatch -I.. sm_select4.c
19  *
20  * check-output-start
21 sm_select4.c:11 func() x = 0-3
22 sm_select4.c:13 func() x = 0-3
23 sm_select4.c:14 func() x = 0-3
24  * check-output-end
25  */
26