+
+/* Copy data from input to output until EOF is reached. */
+static void copy(FILE* input, FILE* output) {
+ for (;;) {
+ int c = fgetc(input);
+ if (c == EOF) {
+ if (ferror(input)) errx(EX_IOERR, "Could not read");
+ if (!feof(input)) errx(EX_IOERR, "Unexpected end of file");
+ break;
+ }
+ if (fputc(c, output) == EOF) errx(EX_IOERR, "Could not write");
+ }
+}
+
+void reverse_stream(FILE* input_stream, FILE* output_stream) {
+ char* temp_filename;
+ FILE* temp_file;
+ make_temporary_file(&temp_filename, &temp_file);
+
+ copy(input_stream, temp_file);
+ if (fclose(temp_file) != 0) err(EX_IOERR, "Could not close temporary file");
+
+ reverse_file(temp_filename, output_stream);
+
+ if (unlink(temp_filename) == -1) err(EX_IOERR, "Could not remove temporary file");
+ free(temp_filename);
+}