This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Add checking for COND_EXPR in verify_expr
- From: Jeffrey A Law <law at redhat dot com>
- To: Andrew Pinski <pinskia at physics dot uc dot edu>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Tue, 31 May 2005 10:19:27 -0600
- Subject: Re: [PATCH] Add checking for COND_EXPR in verify_expr
- References: <e6b43d77ba4245a0cffb4dfdb56ca01d@physics.uc.edu>
- Reply-to: law at redhat dot com
On Tue, 2005-05-31 at 12:14 -0400, Andrew Pinski wrote:
> In verify_expr we miss checking for COND_EXPR of is_gimple_condexpr.
> This patch adds that checking. I found this while working on my tree
> combiner and found we actually have a couple of places where we will
> abort because is_gimple_condexpr was not true for the COND_EXPR's
> operand.
>
> OK? Bootstrapped and tested on powerpc-darwin with no regressions.
>
> Thanks,
> Andrew Pinski
>
> ChangeLog:
>
> * tree-cfg.c (verify_expr): Add checking for COND_EXPR's conditional
> expression.
OK.
jeff