2816. resize_file has impossible postcondition

Section: 30.11.14.33 [fs.op.resize_file] Status: New Submitter: Richard Smith Opened: 2016-11-07 Last modified: 2017-02-02

Priority: 3

View all issues with New status.

Discussion:

resize_file has this postcondition (after resolving late comment 42, see P0489R0):

Postcondition: file_size(p) == new_size.

This is impossible for an implementation to satisfy, due to the possibility of file system races. This is not actually a postcondition; rather, it is an effect that need no longer hold when the function returns.

[Issues Telecon 16-Dec-2016]

Priority 3

Proposed resolution: