This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Add some more checking for tuples
- From: "Richard Guenther" <richard dot guenther at gmail dot com>
- To: "Andrew Pinski" <pinskia at gmail dot com>
- Cc: gcc-patches <gcc-patches at gcc dot gnu dot org>
- Date: Fri, 2 Jan 2009 00:59:19 +0100
- Subject: Re: [PATCH] Add some more checking for tuples
- References: <de8d50360901011548r3159d6aclf1007d92a7d9fd3c@mail.gmail.com>
On Fri, Jan 2, 2009 at 12:48 AM, Andrew Pinski <pinskia@gmail.com> wrote:
> Hi,
> Even though we have lost some checking of the tree structure with
> tuples, this patch adds one extra check for INDIRECT_REF and makes
> MODIFY_EXPR invalid as an operand to the tuple. A followup patch will
> restore the "GIMPLE register modified with BIT_FIELD_REF" checking and
> will add more checking to make sure the lhs and rhs for unary
> expressions are correct.
>
> OK? Bootstrapped and tested on x86_64-linux-gnu.
Ok.
Thanks,
Richard.
> Thanks,
> Andrew Pinski
>
> ChangeLog:
>
> * tree-cfg.c (verify_expr): Add INDIRECT_REF case. Change MODIFY_EXPR
> case to be an error.
>