https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68413
alahay01 at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |ASSIGNED Assignee|unassigned at gcc dot gnu.org |alahay01 at gcc dot gnu.org --- Comment #8 from alahay01 at gcc dot gnu.org --- >Probably compute reduction type at analysis phase only? I had come to the same conclusion myself :) Initially I was going to ignore base in is_nonwrapping_integer_induction (), but that is not a good idea. I'm writing a patch now. There's a few places more places than I expected to add checks for the analysis phase.