A new WG21 paper is available. A copy is linked below, and the paper will also appear in the next normal WG21 mailing. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.
Document number: N3744
by Walter Brown
Following significant prior art, this paper proposes a
pureattribute to specify that a function
or statement is free of observable side effects.