repo.or.cz
/
splint-patched.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Some consistency changes to library & headers flags.
[splint-patched.git]
/
test
/
tests2.5
/
boolt.c
blob
969c0f253a925646f28d635c4398724da036398b
1
typedef
int
pan_bool_t
;
2
3
#define PAN_FALSE (0)
4
#define PAN_TRUE ((pan_bool_t) 1)
5
6
pan_bool_t
test
(
pan_bool_t b
) {
7
(
void
)
test
(
2
);
8
(
void
)
test
(
PAN_FALSE
);
9
(
void
)
test
(
PAN_TRUE
);
10
(
void
)
test
(
b
);
11
return
PAN_TRUE
;
12
}