1/* See LICENSE file for copyright and license details. */
2#include <stdio.h>
3#include <stdlib.h>
4
5#include "../util.h"
6
7int
8fshut(FILE *fp, const char *fname)
9{
10 int ret = 0;
11
12 /* fflush() is undefined for input streams by ISO C,
13 * but not POSIX 2008 if you ignore ISO C overrides.
14 * Leave it unchecked and rely on the following
15 * functions to detect errors.
16 */
17 fflush(fp);
18
19 if (ferror(fp) && !ret) {
20 weprintf("ferror %s:", fname);
21 ret = 1;
22 }
23
24 if (fclose(fp) && !ret) {
25 weprintf("fclose %s:", fname);
26 ret = 1;
27 }
28
29 return ret;
30}
31
32void
33enfshut(int status, FILE *fp, const char *fname)
34{
35 if (fshut(fp, fname))
36 exit(status);
37}
38
39void
40efshut(FILE *fp, const char *fname)
41{
42 enfshut(1, fp, fname);
43}