On Mon, May 19, 2014 at 12:11 PM, Eric Botcazou <ebotca...@adacore.com> wrote: >> I thought we had decided a long time ago that pure and const functions could >> not throw and that was the documented behavior. > > No, it's precisely the opposite.
Btw, I agree. For this and other attributes the behavior is that it specifies behavior along normal return, not EH or abnormal one. Richard. > -- > Eric Botcazou
