[Bug tree-optimization/92460] [10 Regression] ICE: verify_ssa failed (error: definition in block 13 does not dominate use in block 22)

[avieira at gcc dot gnu.org]

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

avieira at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2019-11-11
     Ever confirmed|0                           |1

--- Comment #1 from avieira at gcc dot gnu.org ---
The ICE seems to be because vectorizable_simd_clone_call is inserting values
and phi-nodes on the epilogue's preheader edge which uses a value defined in
the main loop's preheader edge (created by the main loop's call to
vectorizable_simd_clone_call). However this definition does not dominate the
use, as the main loop may have been skipped.

Not entirely sure what the best action is here, I didn't get enough time to
figure out what these values represent. I suspect this is not because of my
changes though, but it was a latent issue that now shows up because I turned on
epilogue vectorization.