A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://cplusplus.github.io/LWG/issue2657 below:

[filesys.ts] [PDTS] Inappropriate use of "No diagnostic is required"

This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of TS status.

2657. [filesys.ts] [PDTS] Inappropriate use of "No diagnostic is required"

Section: 2.1 [filesys.ts::fs.conform.9945] Status: TS Submitter: LWG/SG-3 Opened: 2014-02-13 Last modified: 2017-07-30

Priority: Not Prioritized

View all other issues in [filesys.ts::fs.conform.9945].

View all issues with TS status.

Discussion:

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.

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

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]

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4