Title
Missing precondition on input and output aliasing of [numeric.ops]
Status
new
Section
[numeric.ops]
Submitter
Matthias Kretz

Created on 2020-10-01.00:00:00 last changed 3 weeks ago

Messages

Date: 2020-10-15.00:00:00

[ 2020-10-02; Issue processing telecon: Priority set to P3. ]

Date: 2020-10-01.00:00:00

The algorithms partial_sum, exclusive_scan, inclusive_scan, transform_exclusive_scan, transform_inclusive_scan, and adjacent_difference with no ExecutionPolicy do not have a precondition "result is not in the range [first, last)". But they explicitly allow "result may be equal to first". This suggests the precondition got lost, because otherwise the permission is redundant.

Suggested fix: Add "result is not in the range [first + 1, last)." to the Preconditions paragraphs of the affected generalized numeric operations.

History
Date User Action Args
2020-10-02 17:33:25adminsetmessages: + msg11499
2020-10-01 00:00:00admincreate