Title
[filesys.ts] [PDTS] Inappropriate use of "No diagnostic is required"
Status
open
Section
[fs.conform.9945]
Submitter
LWG/SG-3

Created on 2014-02-13.00:00:00 last changed 89 months ago

Messages

Date: 2016-01-28.01:00:35

Proposed resolution:

Change the following paragraph from § 2.1 [fs.conform.9945]

The behavior of functions described in this Technical Specification may differ from their specification in the presence of file system races ([fs.def.race]). No diagnostic is required.

Behavior is undefined if calls to functions provided by this Technical Specification introduce a file system race (4.6 [fs.def.race]).

Insert a new sub-section head before the modified paragraph:

2.1 File system race behavior [fs.race.behavior]
Date: 2016-01-28.01:00:35

[ Beman comments: The replacment wording is similar to that used by C++14 17.6.4.10 ]

Date: 2016-01-31.20:31:05

Addresses: filesys.ts

§ 2.1 [fs.conform.9945] specifes "No diagnostic is required" for races. That prescription is used by the standard for the core language; it is not appropriate in library specifications. LWG/SG-3 wishes this be changed to undefined behavior.

History
Date User Action Args
2017-07-30 20:10:41adminsetstatus: wp -> open
2016-01-28 01:00:35adminsetmessages: + msg7897
2016-01-28 01:00:35adminsetmessages: + msg7896
2014-02-13 00:00:00admincreate