1static long foo(long a, long b, long c)
2{
3	return a? b:c;
4}
5
6static long foo_bool(_Bool a, long b, long c)
7{
8	return a? b:c;
9}
10
11static long bar(long a, long b, long c)
12{
13	if (a)
14		return b;
15	else
16		return b + c;
17}
18
19static long bar_bool(_Bool a, long b, long c)
20{
21	if (a)
22		return b;
23	else
24		return b + c;
25}
26
27/*
28 * check-name: Non-bool condition values in branch/select
29 * check-command: sparsec -c $file -o tmp.o
30 */
31