Title
N4150 Alias-Set Attributes: Toward restrict-like aliasing semantics for C++, N3988 Towards restrict-like aliasing semantics for C++ N3635 Towards restrict-like semantics for C++
Status
ready
Section
[dcl.ptr]
Submitter
Hal Finker, Hubert Tong, M. Wong, R. Silvera, R. Mak, C. Cambly, et al.

Created on 2013-04-29.00:00:00 last changed 83 months ago

Messages

Date: 2014-11-21.17:12:23

http://open-std.org/JTC1/SC22/WG21/docs/papers/2014/n4150.pdf

http://open-std.org/JTC1/SC22/WG21/docs/papers/2014/n3988.pdf

http://open-std.org/JTC1/SC22/WG21/docs/papers/2013/n3635.pdf

See also issue 26.

According to Wong, this paper was reviewed on the last day in EWG in Chicago 2013, although with no recorder. The summary was that many people liked the 1st solution (AliasGrouping), and authors are encouraged to develop it further.

Discussed further in Rapperswil 2014.

Straw poll: Encourage continued work?

SF 11, WF 9, N 3, WA 0, SA 0.

Carruth enumerated the following questions, which were encouraged to be answered: should it be ill-formed if this expression has side-effects? Is it an evaluated expression? That changes whether it odr-uses things, whether we have to emit code? Can it be allowed to instantiate templates, and is so what is the point of instantiation?

Discussed in Urbana. EWG voted to forward the proposal to CWG for wording review.

History
Date User Action Args
2014-11-21 17:12:23adminsetstatus: open -> ready
2013-04-29 00:00:00admincreate