! fclose_orDie() : * Close an opened file using given FILE pointer. */
| 109 | * Close an opened file using given FILE pointer. |
| 110 | */ |
| 111 | static void fclose_orDie(FILE* file) |
| 112 | { |
| 113 | if (!fclose(file)) { return; }; |
| 114 | /* error */ |
| 115 | perror("fclose"); |
| 116 | exit(ERROR_fclose); |
| 117 | } |
| 118 | |
| 119 | /*! fread_orDie() : |
| 120 | * |
no outgoing calls
no test coverage detected