| static long foo(long a, long b, long c) | |
| { | |
| return a? b:c; | |
| } | |
| static long foo_bool(_Bool a, long b, long c) | |
| { | |
| return a? b:c; | |
| } | |
| static long bar(long a, long b, long c) | |
| { | |
| if (a) | |
| return b; | |
| else | |
| return b + c; | |
| } | |
| static long bar_bool(_Bool a, long b, long c) | |
| { | |
| if (a) | |
| return b; | |
| else | |
| return b + c; | |
| } | |
| /* | |
| * check-name: Non-bool condition values in branch/select | |
| * check-command: sparsec -c $file -o tmp.o | |
| */ |