This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Plug obvious hole in tree_could_trap_p
- From: Paolo Bonzini <paolo dot bonzini at lu dot unisi dot ch>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Sun, 18 Feb 2007 15:07:18 +0100
- Subject: Re: Plug obvious hole in tree_could_trap_p
- References: <200702181506.58768.ebotcazou@adacore.com>
Eric Botcazou wrote:
It simply doesn't know about VIEW_CONVERT_EXPR, which is a little annoying for
the Ada compiler. We have a proprietary testcase for which this results in a
loop invariant being wrongly hoisted out of a conditional construct.
Bootstrapped/regtested on x86_64-suse-linux, applied to mainline and 4.2
branch as obvious.
I think it also belongs in 4.1.
Paolo