Issue 2624 - WG21 LWG Issues
Title
[filesys.ts] [PDTS] Incorrect effects clause for path copy
Status
open
Section
[fs.op.copy]
Submitter
GB-14

Created on 2014-01-20.00:00:00 last changed 89 months ago

Messages

msg7774 (view)
Date: 2016-01-28.01:00:35

Proposed resolution:

Change 15.3 [fs.op.copy]:

Report an error as specified in Error reporting if:

  • !exists(f).
  • equivalent(f, t from, to).
  • is_other(f) || is_other(t).
  • is_directory(f) && is_regular_file(t).
msg7773 (view)
Date: 2014-02-13.00:00:00

[ 2014-02-13 LWG/SG-3 Issaquah: Proposed wording accepted. ]
msg7772 (view)
Date: 2014-02-15.00:00:00

[ 2014-02-09, Beman Dawes suggests wording ]
msg7771 (view)
Date: 2016-01-31.20:31:05

Addresses: filesys.ts

Incorrect effects clause for path copy — the effect clause for copy [fs.op.copy] includes "equivalent(f, t)" — there is no equivalent() function defined for variables of this type (file_status)

Suggested action:

Replace with "equivalent(from, to)"
History
Date User Action Args
2017-07-30 20:10:41adminsetstatus: wp -> open
2016-01-28 01:00:35adminsetmessages: + msg7774
2016-01-28 01:00:35adminsetmessages: + msg7773
2016-01-28 01:00:35adminsetmessages: + msg7772
2014-01-20 00:00:00admincreate