1 | /* Close a stream, with nicer error checking than fclose's.
|
---|
2 |
|
---|
3 | Copyright (C) 1998-2002, 2004, 2006-2022 Free Software Foundation, Inc.
|
---|
4 |
|
---|
5 | This program is free software: you can redistribute it and/or modify
|
---|
6 | it under the terms of the GNU General Public License as published by
|
---|
7 | the Free Software Foundation, either version 3 of the License, or
|
---|
8 | (at your option) any later version.
|
---|
9 |
|
---|
10 | This program is distributed in the hope that it will be useful,
|
---|
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
13 | GNU General Public License for more details.
|
---|
14 |
|
---|
15 | You should have received a copy of the GNU General Public License
|
---|
16 | along with this program. If not, see <https://www.gnu.org/licenses/>. */
|
---|
17 |
|
---|
18 | #include <config.h>
|
---|
19 |
|
---|
20 | #include "close-stream.h"
|
---|
21 |
|
---|
22 | #include <errno.h>
|
---|
23 |
|
---|
24 | #include "fpending.h"
|
---|
25 |
|
---|
26 | #if USE_UNLOCKED_IO
|
---|
27 | # include "unlocked-io.h"
|
---|
28 | #endif
|
---|
29 |
|
---|
30 | /* Close STREAM. Return 0 if successful, EOF (setting errno)
|
---|
31 | otherwise. A failure might set errno to 0 if the error number
|
---|
32 | cannot be determined.
|
---|
33 |
|
---|
34 | A failure with errno set to EPIPE may or may not indicate an error
|
---|
35 | situation worth signaling to the user. See the documentation of the
|
---|
36 | close_stdout_set_ignore_EPIPE function for details.
|
---|
37 |
|
---|
38 | If a program writes *anything* to STREAM, that program should close
|
---|
39 | STREAM and make sure that it succeeds before exiting. Otherwise,
|
---|
40 | suppose that you go to the extreme of checking the return status
|
---|
41 | of every function that does an explicit write to STREAM. The last
|
---|
42 | printf can succeed in writing to the internal stream buffer, and yet
|
---|
43 | the fclose(STREAM) could still fail (due e.g., to a disk full error)
|
---|
44 | when it tries to write out that buffered data. Thus, you would be
|
---|
45 | left with an incomplete output file and the offending program would
|
---|
46 | exit successfully. Even calling fflush is not always sufficient,
|
---|
47 | since some file systems (NFS and CODA) buffer written/flushed data
|
---|
48 | until an actual close call.
|
---|
49 |
|
---|
50 | Besides, it's wasteful to check the return value from every call
|
---|
51 | that writes to STREAM -- just let the internal stream state record
|
---|
52 | the failure. That's what the ferror test is checking below. */
|
---|
53 |
|
---|
54 | int
|
---|
55 | close_stream (FILE *stream)
|
---|
56 | {
|
---|
57 | const bool some_pending = (__fpending (stream) != 0);
|
---|
58 | const bool prev_fail = (ferror (stream) != 0);
|
---|
59 | const bool fclose_fail = (fclose (stream) != 0);
|
---|
60 |
|
---|
61 | /* Return an error indication if there was a previous failure or if
|
---|
62 | fclose failed, with one exception: ignore an fclose failure if
|
---|
63 | there was no previous error, no data remains to be flushed, and
|
---|
64 | fclose failed with EBADF. That can happen when a program like cp
|
---|
65 | is invoked like this 'cp a b >&-' (i.e., with standard output
|
---|
66 | closed) and doesn't generate any output (hence no previous error
|
---|
67 | and nothing to be flushed). */
|
---|
68 |
|
---|
69 | if (prev_fail || (fclose_fail && (some_pending || errno != EBADF)))
|
---|
70 | {
|
---|
71 | if (! fclose_fail)
|
---|
72 | errno = 0;
|
---|
73 | return EOF;
|
---|
74 | }
|
---|
75 |
|
---|
76 | return 0;
|
---|
77 | }
|
---|