]> andersk Git - splint.git/blob - test/tests2.2a/boolcomp.c
Remove unused cpplib_createDefinition.
[splint.git] / test / tests2.2a / boolcomp.c
1 # include "../bool.h"
2
3 int f (bool a, bool b)
4 {
5   if (a == b) /* 1. */
6     {
7       return 3;
8     }
9   else if ((a == b) /* 2. */
10            == 
11            (a != b)) /* 3. */
12     {
13       return 5;
14     }
15   else if ((a == FALSE) == 
16            (b == TRUE)) /* 4. */
17     {
18       return 7;
19     }
20 }
This page took 0.038262 seconds and 5 git commands to generate.