]> andersk Git - splint.git/blame_incremental - test/tests2.5/boolbad.c
noexpand always false.
[splint.git] / test / tests2.5 / boolbad.c
... / ...
CommitLineData
1typedef /*@abstract@*/ enum {FALSE = 0, TRUE = 1} BOOLEAN;
2
3void func (BOOLEAN foo)
4{
5 foo = FALSE;
6}
7
8int main (void)
9{
10 BOOLEAN foo;
11
12 func (foo);
13
14 return 0;
15}
This page took 0.0577 seconds and 6 git commands to generate.