[patch] Support noexcept-specifications for transaction statements and expressions.

[Richard Henderson]

On 12/10/2011 12:28 PM, Torvald Riegel wrote:
> patch2: voidify_wrapper_expr wasn't handling MUST_NOT_THROW_EXPR.  The
> patch adds a reasonable default handling that applies to this case (and
> this way, we don't need to teach language-independent code about
> MUST_NOT_THROW_EXPR).
> 
> patch3: As Jason pointed out, storing the noexcept specification in the
> TRANSACTION_EXPR is less clean than just extending MUST_NOT_THROW_EXPR
> with support for a boolean condition.  This patch does that, including
> instantiation etc.
> 
> patch4: This is the noexcept patch again.  Nothing changed since last
> time except it's now based on conditional MUST_NOT_THROW_EXPR, which
> simiplifies things.
> 
> OK for trunk?

Ok.


r~