[1003.1(2016)/Issue7+TC2 0001156]: Should fflush (NULL) flush streams not backed by files?
The following issue has been set as DUPLICATE OF issue 626. == http://austingroupbugs.net/view.php?id=1156 == Reported By:Florian Weimer Assigned To: == Project:1003.1(2016)/Issue7+TC2 Issue ID: 1156 Category: System Interfaces Type: Clarification Requested Severity: Editorial Priority: normal Status: Closed Name: Florian Weimer Organization: Red Hat User Reference: https://sourceware.org/bugzilla/show_bug.cgi?id=21735 Section:fflush Page Number:859 Line Number:28961 Interp Status: --- Final Accepted Text: Resolution: Duplicate Duplicate: 0 Fixed in Version: == Date Submitted: 2017-07-20 08:13 UTC Last Modified: 2019-01-14 16:57 UTC == Summary:Should fflush (NULL) flush streams not backed by files? == Relationships ID Summary -- duplicate of626 Unclear whether fflush(0) and/or exit()... == Issue History Date ModifiedUsername FieldChange == 2017-07-20 08:13 Florian Weimer New Issue 2017-07-20 08:13 Florian Weimer Name => Florian Weimer 2017-07-20 08:13 Florian Weimer Organization => Red Hat 2017-07-20 08:13 Florian Weimer User Reference=> https://sourceware.org/bugzilla/show_bug.cgi?id=21735 2017-07-20 08:13 Florian Weimer Section => fflush 2017-07-20 08:13 Florian Weimer Page Number => unknown 2017-07-20 08:13 Florian Weimer Line Number => unknown 2017-10-30 16:34 Florian Weimer Issue Monitored: Florian Weimer 2019-01-10 16:18 geoffclare Note Added: 0004203 2019-01-10 16:19 geoffclare Page Number unknown => 859 2019-01-10 16:19 geoffclare Line Number unknown => 28961 2019-01-10 16:19 geoffclare Interp Status => --- 2019-01-10 16:19 geoffclare Final Accepted Text => http://austingroupbugs.net/view.php?id=1156#c4203 2019-01-10 16:19 geoffclare Status New => Resolved 2019-01-10 16:19 geoffclare Resolution Open => Accepted As Marked 2019-01-10 16:19 geoffclare Tag Attached: tc3-2008 2019-01-11 20:11 osoong Note Added: 0004206 2019-01-11 23:03 eblake Relationship added related to 626 2019-01-12 23:47 shware_systems Note Added: 0004207 2019-01-14 16:57 geoffclare Final Accepted Text http://austingroupbugs.net/view.php?id=1156#c4203 => 2019-01-14 16:57 geoffclare Note Added: 0004209 2019-01-14 16:57 geoffclare Status Resolved => Closed 2019-01-14 16:57 geoffclare Resolution Accepted As Marked => Duplicate 2019-01-14 16:57 geoffclare Tag Detached: tc3-2008 2019-01-14 16:57 geoffclare Relationship replacedduplicate of 626 ==
[1003.1(2016)/Issue7+TC2 0001156]: Should fflush (NULL) flush streams not backed by files?
The following issue has been CLOSED. == http://austingroupbugs.net/view.php?id=1156 == Reported By:Florian Weimer Assigned To: == Project:1003.1(2016)/Issue7+TC2 Issue ID: 1156 Category: System Interfaces Type: Clarification Requested Severity: Editorial Priority: normal Status: Closed Name: Florian Weimer Organization: Red Hat User Reference: https://sourceware.org/bugzilla/show_bug.cgi?id=21735 Section:fflush Page Number:859 Line Number:28961 Interp Status: --- Final Accepted Text: Resolution: Duplicate Duplicate: 0 Fixed in Version: == Date Submitted: 2017-07-20 08:13 UTC Last Modified: 2019-01-14 16:57 UTC == Summary:Should fflush (NULL) flush streams not backed by files? == Relationships ID Summary -- related to 626 Unclear whether fflush(0) and/or exit()... == -- (0004209) geoffclare (manager) - 2019-01-14 16:57 http://austingroupbugs.net/view.php?id=1156#c4209 -- This is being closed as a duplicate of bug http://austingroupbugs.net/view.php?id=626. Issue History Date ModifiedUsername FieldChange == 2017-07-20 08:13 Florian Weimer New Issue 2017-07-20 08:13 Florian Weimer Name => Florian Weimer 2017-07-20 08:13 Florian Weimer Organization => Red Hat 2017-07-20 08:13 Florian Weimer User Reference=> https://sourceware.org/bugzilla/show_bug.cgi?id=21735 2017-07-20 08:13 Florian Weimer Section => fflush 2017-07-20 08:13 Florian Weimer Page Number => unknown 2017-07-20 08:13 Florian Weimer Line Number => unknown 2017-10-30 16:34 Florian Weimer Issue Monitored: Florian Weimer 2019-01-10 16:18 geoffclare Note Added: 0004203 2019-01-10 16:19 geoffclare Page Number unknown => 859 2019-01-10 16:19 geoffclare Line Number unknown => 28961 2019-01-10 16:19 geoffclare Interp Status => --- 2019-01-10 16:19 geoffclare Final Accepted Text => http://austingroupbugs.net/view.php?id=1156#c4203 2019-01-10 16:19 geoffclare Status New => Resolved 2019-01-10 16:19 geoffclare Resolution Open => Accepted As Marked 2019-01-10 16:19 geoffclare Tag Attached: tc3-2008 2019-01-11 20:11 osoong Note Added: 0004206 2019-01-11 23:03 eblake Relationship added related to 626 2019-01-12 23:47 shware_systems Note Added: 0004207 2019-01-14 16:57 geoffclare Final Accepted Text http://austingroupbugs.net/view.php?id=1156#c4203 => 2019-01-14 16:57 geoffclare Note Added: 0004209 2019-01-14 16:57 geoffclare Status Resolved => Closed 2019-01-14 16:57 geoffclare Resolution Accepted As Marked => Duplicate ==
Re: [1003.1(2016)/Issue7+TC2 0001156]: Should fflush (NULL) flush streams not backed by files?
Date:Sat, 12 Jan 2019 23:47:15 + From:Austin Group Bug Tracker Message-ID: | I believe the distinction is 'stream' in this context relates to anything | that can be referenced by a FILE * Yes (to what stream means). | or file handle/descriptor (via fdopen()), fdopen() returns a FILE* - there is no difference between fopen and fdopen() except where the file descriptor that goes in the FILE comes from. fdopen() is 100% irrelevant here. | but 'open file' refers to the file descriptions. Yes, but that is not relevant to the current point. That fp = fmemopen(); fflush(fp); is defined, and has to work, is beyond dispute. fp is also a FILE *. The question in both issues 1156 and 626 relates to the following text ... If stream is a null pointer, fflush( ) shall perform this flushing action on all streams for which the behavior is defined above. and whether or not that is intended to include the memory streams, which did not exist (in the std) when this text was originally written (apparently). The relevance of the rest of that note I was unable to decipher, I cannot imagine what setvbuf() has to do with anything here at all. I have started a (so far very small) discussion to determine what we believe the outcome should be here (which might end up being "no opinion"), on the relevant NetBSD mailing list (since I believe this to be outside my real area of expertise) - but as all this has happened over a weekend, there isn't yet any conclusion, and no comments by some people I would normally expect to say something. kre
[1003.1(2016)/Issue7+TC2 0001156]: Should fflush (NULL) flush streams not backed by files?
A NOTE has been added to this issue. == http://austingroupbugs.net/view.php?id=1156 == Reported By:Florian Weimer Assigned To: == Project:1003.1(2016)/Issue7+TC2 Issue ID: 1156 Category: System Interfaces Type: Clarification Requested Severity: Editorial Priority: normal Status: Resolved Name: Florian Weimer Organization: Red Hat User Reference: https://sourceware.org/bugzilla/show_bug.cgi?id=21735 Section:fflush Page Number:859 Line Number:28961 Interp Status: --- Final Accepted Text:http://austingroupbugs.net/view.php?id=1156#c4203 Resolution: Accepted As Marked Fixed in Version: == Date Submitted: 2017-07-20 08:13 UTC Last Modified: 2019-01-12 23:47 UTC == Summary:Should fflush (NULL) flush streams not backed by files? == Relationships ID Summary -- related to 626 Unclear whether fflush(0) and/or exit()... == -- (0004207) shware_systems (reporter) - 2019-01-12 23:47 http://austingroupbugs.net/view.php?id=1156#c4207 -- I believe the distinction is 'stream' in this context relates to anything that can be referenced by a FILE * or file handle/descriptor (via fdopen()), but 'open file' refers to the file descriptions. It is not limited to those of regular files on media that are used when these are opened, as implied by the Desired Action. What data structure is used internally to represent the file description can vary per file type. Portable applications have to contend with a call to setvbuf() may not be supported by some of these implementations of memstream type file descriptions, some may not set timestamps as 626 focused on, or some may not support more than one wide char of ungetc(), so these may be 'open files' but don't have the 'behavior defined above'. Where it could be clearer, to me, is that not being able to do one unsupported operation doesn't mean the flush can be skipped entirely; the implementation should still do the defined operations that are supported. Issue History Date ModifiedUsername FieldChange == 2017-07-20 08:13 Florian Weimer New Issue 2017-07-20 08:13 Florian Weimer Name => Florian Weimer 2017-07-20 08:13 Florian Weimer Organization => Red Hat 2017-07-20 08:13 Florian Weimer User Reference=> https://sourceware.org/bugzilla/show_bug.cgi?id=21735 2017-07-20 08:13 Florian Weimer Section => fflush 2017-07-20 08:13 Florian Weimer Page Number => unknown 2017-07-20 08:13 Florian Weimer Line Number => unknown 2017-10-30 16:34 Florian Weimer Issue Monitored: Florian Weimer 2019-01-10 16:18 geoffclare Note Added: 0004203 2019-01-10 16:19 geoffclare Page Number unknown => 859 2019-01-10 16:19 geoffclare Line Number unknown => 28961 2019-01-10 16:19 geoffclare Interp Status => --- 2019-01-10 16:19 geoffclare Final Accepted Text => http://austingroupbugs.net/view.php?id=1156#c4203 2019-01-10 16:19 geoffclare Status New => Resolved 2019-01-10 16:19 geoffclare Resolution Open => Accepted As Marked 2019-01-10 16:19 geoffclare Tag Attached: tc3-2008 2019-01-11 20:11 osoong Note Added: 0004206 2019-01-11 23:03 eblake Relationship added related to 626 2019-01-12 23:47 shware_systems Note Added: 0004207 ==
Re: [1003.1(2016)/Issue7+TC2 0001156]: Should fflush (NULL) flush streams not backed by files?
| Unless I've misread something, this change seems to conflict with the | interpretation given for http://austingroupbugs.net/view.php?id=626. This all tells me two things (reinforces one) ... 1) It is almost impossible to search Mantis to discover if an issue has already been addressed - so much so that almost no-one bothers (it takes someone actually remembering that there was an old issue, and doing a lot of work to find it). 2) The resolution of 626 was (in one sense) incorrect, in that even though with sufficient study, one may come to the conclusion that it did, the standard is obviously not "clear" as two different bug reports, 5 years apart, have raised the exact same question. Whatever the eventual decision is this time - to stick with the 1156 result (overriding 626) or to revert to 626's interpretation, the wording in the description of XSH 3(fflush) clearly needs something added to it (which could be the proposed resolution of 1156) to make it really be clear what is intended. kre
[1003.1(2016)/Issue7+TC2 0001156]: Should fflush (NULL) flush streams not backed by files?
The following issue has been set as RELATED TO issue 626. == http://austingroupbugs.net/view.php?id=1156 == Reported By:Florian Weimer Assigned To: == Project:1003.1(2016)/Issue7+TC2 Issue ID: 1156 Category: System Interfaces Type: Clarification Requested Severity: Editorial Priority: normal Status: Resolved Name: Florian Weimer Organization: Red Hat User Reference: https://sourceware.org/bugzilla/show_bug.cgi?id=21735 Section:fflush Page Number:859 Line Number:28961 Interp Status: --- Final Accepted Text:http://austingroupbugs.net/view.php?id=1156#c4203 Resolution: Accepted As Marked Fixed in Version: == Date Submitted: 2017-07-20 08:13 UTC Last Modified: 2019-01-11 20:11 UTC == Summary:Should fflush (NULL) flush streams not backed by files? == Relationships ID Summary -- related to 626 Unclear whether fflush(0) and/or exit()... == Issue History Date ModifiedUsername FieldChange == 2017-07-20 08:13 Florian Weimer New Issue 2017-07-20 08:13 Florian Weimer Name => Florian Weimer 2017-07-20 08:13 Florian Weimer Organization => Red Hat 2017-07-20 08:13 Florian Weimer User Reference=> https://sourceware.org/bugzilla/show_bug.cgi?id=21735 2017-07-20 08:13 Florian Weimer Section => fflush 2017-07-20 08:13 Florian Weimer Page Number => unknown 2017-07-20 08:13 Florian Weimer Line Number => unknown 2017-10-30 16:34 Florian Weimer Issue Monitored: Florian Weimer 2019-01-10 16:18 geoffclare Note Added: 0004203 2019-01-10 16:19 geoffclare Page Number unknown => 859 2019-01-10 16:19 geoffclare Line Number unknown => 28961 2019-01-10 16:19 geoffclare Interp Status => --- 2019-01-10 16:19 geoffclare Final Accepted Text => http://austingroupbugs.net/view.php?id=1156#c4203 2019-01-10 16:19 geoffclare Status New => Resolved 2019-01-10 16:19 geoffclare Resolution Open => Accepted As Marked 2019-01-10 16:19 geoffclare Tag Attached: tc3-2008 2019-01-11 20:11 osoong Note Added: 0004206 2019-01-11 23:03 eblake Relationship added related to 626 ==
[1003.1(2016)/Issue7+TC2 0001156]: Should fflush (NULL) flush streams not backed by files?
A NOTE has been added to this issue. == http://austingroupbugs.net/view.php?id=1156 == Reported By:Florian Weimer Assigned To: == Project:1003.1(2016)/Issue7+TC2 Issue ID: 1156 Category: System Interfaces Type: Clarification Requested Severity: Editorial Priority: normal Status: Resolved Name: Florian Weimer Organization: Red Hat User Reference: https://sourceware.org/bugzilla/show_bug.cgi?id=21735 Section:fflush Page Number:859 Line Number:28961 Interp Status: --- Final Accepted Text:http://austingroupbugs.net/view.php?id=1156#c4203 Resolution: Accepted As Marked Fixed in Version: == Date Submitted: 2017-07-20 08:13 UTC Last Modified: 2019-01-11 20:11 UTC == Summary:Should fflush (NULL) flush streams not backed by files? == -- (0004206) osoong (reporter) - 2019-01-11 20:11 http://austingroupbugs.net/view.php?id=1156#c4206 -- Unless I've misread something, this change seems to conflict with the interpretation given for http://austingroupbugs.net/view.php?id=626. Issue History Date ModifiedUsername FieldChange == 2017-07-20 08:13 Florian Weimer New Issue 2017-07-20 08:13 Florian Weimer Name => Florian Weimer 2017-07-20 08:13 Florian Weimer Organization => Red Hat 2017-07-20 08:13 Florian Weimer User Reference=> https://sourceware.org/bugzilla/show_bug.cgi?id=21735 2017-07-20 08:13 Florian Weimer Section => fflush 2017-07-20 08:13 Florian Weimer Page Number => unknown 2017-07-20 08:13 Florian Weimer Line Number => unknown 2017-10-30 16:34 Florian Weimer Issue Monitored: Florian Weimer 2019-01-10 16:18 geoffclare Note Added: 0004203 2019-01-10 16:19 geoffclare Page Number unknown => 859 2019-01-10 16:19 geoffclare Line Number unknown => 28961 2019-01-10 16:19 geoffclare Interp Status => --- 2019-01-10 16:19 geoffclare Final Accepted Text => http://austingroupbugs.net/view.php?id=1156#c4203 2019-01-10 16:19 geoffclare Status New => Resolved 2019-01-10 16:19 geoffclare Resolution Open => Accepted As Marked 2019-01-10 16:19 geoffclare Tag Attached: tc3-2008 2019-01-11 20:11 osoong Note Added: 0004206 ==
[1003.1(2016)/Issue7+TC2 0001156]: Should fflush (NULL) flush streams not backed by files?
The following issue has been RESOLVED. == http://austingroupbugs.net/view.php?id=1156 == Reported By:Florian Weimer Assigned To: == Project:1003.1(2016)/Issue7+TC2 Issue ID: 1156 Category: System Interfaces Type: Clarification Requested Severity: Editorial Priority: normal Status: Resolved Name: Florian Weimer Organization: Red Hat User Reference: https://sourceware.org/bugzilla/show_bug.cgi?id=21735 Section:fflush Page Number:859 Line Number:28961 Interp Status: --- Final Accepted Text:http://austingroupbugs.net/view.php?id=1156#c4203 Resolution: Accepted As Marked Fixed in Version: == Date Submitted: 2017-07-20 08:13 UTC Last Modified: 2019-01-10 16:19 UTC == Summary:Should fflush (NULL) flush streams not backed by files? == Issue History Date ModifiedUsername FieldChange == 2017-07-20 08:13 Florian Weimer New Issue 2017-07-20 08:13 Florian Weimer Name => Florian Weimer 2017-07-20 08:13 Florian Weimer Organization => Red Hat 2017-07-20 08:13 Florian Weimer User Reference=> https://sourceware.org/bugzilla/show_bug.cgi?id=21735 2017-07-20 08:13 Florian Weimer Section => fflush 2017-07-20 08:13 Florian Weimer Page Number => unknown 2017-07-20 08:13 Florian Weimer Line Number => unknown 2017-10-30 16:34 Florian Weimer Issue Monitored: Florian Weimer 2019-01-10 16:18 geoffclare Note Added: 0004203 2019-01-10 16:19 geoffclare Page Number unknown => 859 2019-01-10 16:19 geoffclare Line Number unknown => 28961 2019-01-10 16:19 geoffclare Interp Status => --- 2019-01-10 16:19 geoffclare Final Accepted Text => http://austingroupbugs.net/view.php?id=1156#c4203 2019-01-10 16:19 geoffclare Status New => Resolved 2019-01-10 16:19 geoffclare Resolution Open => Accepted As Marked ==
[1003.1(2016)/Issue7+TC2 0001156]: Should fflush (NULL) flush streams not backed by files?
A NOTE has been added to this issue. == http://austingroupbugs.net/view.php?id=1156 == Reported By:Florian Weimer Assigned To: == Project:1003.1(2016)/Issue7+TC2 Issue ID: 1156 Category: System Interfaces Type: Clarification Requested Severity: Editorial Priority: normal Status: New Name: Florian Weimer Organization: Red Hat User Reference: https://sourceware.org/bugzilla/show_bug.cgi?id=21735 Section:fflush Page Number:unknown Line Number:unknown Interp Status: --- Final Accepted Text: == Date Submitted: 2017-07-20 08:13 UTC Last Modified: 2019-01-10 16:18 UTC == Summary:Should fflush (NULL) flush streams not backed by files? == -- (0004203) geoffclare (manager) - 2019-01-10 16:18 http://austingroupbugs.net/view.php?id=1156#c4203 -- On page 859 line 28961 section fflush, change:all streams for which the behavior is defined aboveto:all streams that are associated with an open file and for which the behavior is defined above Issue History Date ModifiedUsername FieldChange == 2017-07-20 08:13 Florian Weimer New Issue 2017-07-20 08:13 Florian Weimer Name => Florian Weimer 2017-07-20 08:13 Florian Weimer Organization => Red Hat 2017-07-20 08:13 Florian Weimer User Reference=> https://sourceware.org/bugzilla/show_bug.cgi?id=21735 2017-07-20 08:13 Florian Weimer Section => fflush 2017-07-20 08:13 Florian Weimer Page Number => unknown 2017-07-20 08:13 Florian Weimer Line Number => unknown 2017-10-30 16:34 Florian Weimer Issue Monitored: Florian Weimer 2019-01-10 16:18 geoffclare Note Added: 0004203 ==