2614. [filesys.ts] [PDTS] Incorrect postconditions for path copy/move constructor

Section: 99 [filesys.ts::path.construct] Status: TS Submitter: GB-7, CH-10 Opened: 2014-01-20 Last modified: 2017-07-30

Priority: Not Prioritized

View all other issues in [filesys.ts::path.construct].

View all issues with TS status.

Discussion:

Addresses: filesys.ts

The postconditions for the copy/move constructor for path are shown as "empty()". This appears to have been incorrectly copied from the default ctor.

Remove the 'postconditions' clause from the copy/move ctor.

[2014-02-07, Beman Dawes suggests wording]

Proposed resolution:

Change 8.4.1 [path.construct]:

      path(const path& p);
      path(path&& p) noexcept;
    

Effects: Constructs an object of class path with pathname having the original value of p.pathname. In the second form, p is left in a valid but unspecified state.

Postconditions: empty().