This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Support noexcept-specifications for transaction statements and expressions.
- From: Richard Henderson <rth at redhat dot com>
- To: Torvald Riegel <triegel at redhat dot com>
- Cc: Jason Merrill <jason at redhat dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>, Aldy Hernandez <aldyh at redhat dot com>
- Date: Sat, 10 Dec 2011 12:52:08 -0800
- Subject: Re: [patch] Support noexcept-specifications for transaction statements and expressions.
- References: <1321907584.12248.141.camel@triegel.csb> <4ECABD50.9020502@redhat.com> <1321910868.12248.204.camel@triegel.csb> <4ECAC4F6.5060907@redhat.com> <1323548885.4159.6999.camel@triegel.csb>
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~