[C++17 DIS comment 007] [support.start.term]p13 restore xref to C 7.22.4.5

[zygoloid]

This is unclear: C 7.22.4.5 says that it's implementation-defined whether standard file buffers are flushed. Did this change between C99 and C11? Perhaps we should delete the note instead?

[tkoeppe]

I haven't traced the change back yet, but it seems that the original reference was inappropriate there (7.22.4.5 is _Exit, not quick_exit); a "see also" cannot appear in that place, and we already have the reference to 7.22.4 right below that covers the entire set of exit functions.

[tkoeppe]

I deleted the reference in faba9f7, mostly because a "see also" isn't allowed there, and I figured that the reference was not helpful.

[tkoeppe]

Suggested response: REJECT, explanation: The cross-reference was incorrect and not helpful, and a cross-reference may not appear inline anyway. A better reference to 7.22.4 as a whole is provided (in the correct form) in the very next paragraph.

[jensmaurer]

@tkoeppe: Agreed.

[zygoloid]

I think this misses the point.

Here's the rest of the note to which the xref was attached:

[ Note: The standard file buffers are not flushed. — end note ]

But quick_exit calls _Exit(status), which per p2 "has the semantics specified in the C standard library"; in C11 7.22.4.5, we find: "Whether open streams with unwritten buffered data are flushed, open streams are closed, or temporary files are removed is implementation-defined."

So the xref to C's spec for _Exit was appropriate, but the problem is that the note is simply wrong.

Suggested response: ACCEPTED WITH MODIFICATION. The note containing the cross-reference was not justified by the normative wording and has been removed.

[tkoeppe]

@zygoloid: I see, makes sense.

[zygoloid]

Note removed in 73b06fa on c++17 and 1323266 on master. Resolution: ACCEPTED WITH MODIFICATION, per above.