[Bug tree-optimization/102087] [12 Regression] ICE on valid code at -O3 on x86_64-linux-gnu: in determine_exit_conditions, at tree-ssa-loop-manip.c:1049 since r12-3136-g3673dcf6d6baeb67

[guojiufu at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102087

--- Comment #22 from Jiu Fu Guo <guojiufu at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #21)
> > _12 = Gif_ClipImage_gfi_1.0_1 + -1;
> > during GIMPLE pass: aprefetch
> > bug760.c:3:1: internal compiler error: verify_gimple failed
> > 0xde2f5a verify_gimple_in_cfg(function*, bool)
> > 
> > Flag -O3 -march=bdver2 required.
> 
> Confirmed.

Hi David and Martin, Thanks.  I can reproduce the failure. 
Just drafting a patch and will send it out for review after regtest.