]> andersk Git - splint.git/blame_incremental - test/tests2.2/boolops.c
Added support for ISO C99 _Bool and stdbool bool/true/false. The
[splint.git] / test / tests2.2 / boolops.c
... / ...
CommitLineData
1/*@-booltype Kzam@*/
2typedef int Kzam;
3
4enum { true, false } ; /* changed to be consistent with ISO true/false */
5
6int main() {
7 Kzam b = true;
8 Kzam b1 = b;
9
10 b = true;
11 b = b1;
12 b = 12; /* Assignment of int to Kzam: b = 12 */
13
14 b = true && false;
15 b = b && false;
16 b = false && b;
17
18 if ((b && false) == 0)
19 return(0);
20 return(0);
21}
This page took 0.743157 seconds and 5 git commands to generate.