http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46723

--- Comment #9 from rguenther at suse dot de <rguenther at suse dot de> 
2010-12-02 09:03:35 UTC ---
On Thu, 2 Dec 2010, irar at il dot ibm.com wrote:

> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46723
> 
> Ira Rosen <irar at il dot ibm.com> changed:
> 
>            What    |Removed                     |Added
> ----------------------------------------------------------------------------
>                  CC|                            |irar at il dot ibm.com
> 
> --- Comment #8 from Ira Rosen <irar at il dot ibm.com> 2010-12-02 08:15:16 
> UTC ---
> *************** get_initial_def_for_induction (gimple iv
> *** 2656,2667 ****
> --- 2639,2664 ----
>     loop_arg = PHI_ARG_DEF_FROM_EDGE (iv_phi, latch_e);
> 
>     access_fn = analyze_scalar_evolution (iv_loop, PHI_RESULT (iv_phi));
> +   STRIP_NOPS (access_fn);
>     gcc_assert (access_fn);
> 
> this makes gcc_assert meaningless: STRIP_NOPS will segfault for NULL access_fn
> before the assert.

Ah, indeed.  Of course we should never assert here (if we do the analysis
has wrongly determined we can handle the induction), but of course we
can't fail to vectorize at this point either ...

Thanks,
Richard.

Reply via email to