Title
User specializations of is_execution_policy should be ill-formed
Status
nad
Section
[execpol.type]
Submitter
United States

Created on 2017-02-03.00:00:00 last changed 82 months ago

Messages

Date: 2017-07-16.20:45:12

[ 2017-07 Toronto Thurs Issue Prioritization ]

NAD; what the standard says is that this is "undefined", not "unspecified".

Date: 2017-03-15.00:00:00

[ 2017-03-03, Kona Friday AM ]

Jonathan: This breaks all known implementations of parallel algorithms, since they use custom execution policies.

Alisdair to check with SG1 to see if that's what they meant.

Date: 2017-02-05.14:22:11
Addresses US 14

A user specialization of any is_execution_policy should produce an ill-formed program, not merely one whose behavior is unspecified. See also the related comment re [meta.type.synop] (20.15.2). (US 10)

Proposed change: Reword the paragraph as follows:

Unless otherwise specified, a program that adds specializations for is_execution_policy is ill-formed; no diagnostic required.

See also LWG 2871.
History
Date User Action Args
2017-07-15 23:15:19adminsetmessages: + msg9394
2017-07-15 23:15:19adminsetstatus: new -> nad
2017-06-02 05:40:10adminsetmessages: + msg9194
2017-02-03 00:00:00admincreate