foo(long a,long b,long c)1 static long foo(long a, long b, long c)
2 {
3 return a? b:c;
4 }
5
foo_bool(_Bool a,long b,long c)6 static long foo_bool(_Bool a, long b, long c)
7 {
8 return a? b:c;
9 }
10
bar(long a,long b,long c)11 static long bar(long a, long b, long c)
12 {
13 if (a)
14 return b;
15 else
16 return b + c;
17 }
18
bar_bool(_Bool a,long b,long c)19 static 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