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