andersk / splint.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | /* | |
| 2 | ** Boolean type checking | |
| 3 | */ | |
| 4 | // bool is now defined in the standard library | |
| 5 | #include<stdbool.h> | |
| 6 | ||
| 7 | bool f (int i, bool b) { | |
| 8 | if (i) { /* error with -boolint -predboolint */ | |
| 9 | return i; /* error with -boolint */ | |
| 10 | } else { | |
| 11 | return b; /* okay */ | |
| 12 | } | |
| 13 | } | |
| 14 |