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: hainque at ACT-Europe dot FR (Olivier Hainque)
- To: rth at redhat dot com (Richard Henderson)
- Cc: hainque at ACT-Europe dot FR, gcc-patches at gcc dot gnu dot org
- Date: Sat, 1 Dec 101 08:57:16 +0100 (MET)
- Subject: Re: [RFA] Secure scan for multiple back edges in loop_iterations
Richard Henderson:
> > * 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.
Indeed. Thanks for your prompt reply :)
Olivier