andersk / splint.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | void check (int b); | |
| 2 | ||
| 3 | int osd_fileIsReadable (char *f) | |
| 4 | { | |
| 5 | FILE *fl = fopen (f, "r"); | |
| 6 | ||
| 7 | if (fl != NULL) | |
| 8 | { | |
| 9 | fclose (fl); | |
| 10 | return true; | |
| 11 | } | |
| 12 | else | |
| 13 | { | |
| 14 | return false; | |
| 15 | } | |
| 16 | } |