This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [RFA] Secure scan for multiple back edges in loop_iterations
- From: Richard Henderson <rth at redhat dot com>
- To: Olivier Hainque <hainque at ACT-Europe dot FR>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 30 Nov 2001 13:41:22 -0800
- Subject: Re: [RFA] Secure scan for multiple back edges in loop_iterations
- References: <kt667sjpgg.fsf@berlin.int.act-europe.fr>
On Fri, Nov 30, 2001 at 03:36:15PM +0100, Olivier Hainque wrote:
> * unroll.c (loop_iterations): Give up on jumps with null JUMP_LABEL
> while scanning for multiple back edges.
This is ok.
It doesn't test exactly what you were interested in, but it'll
catch computed gotos as well, which is a good thing.
r~