[Bug tree-optimization/103721] [12 regression] wrong code generated for loop with conditional since r12-4790-g4b3a325f07acebf4

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

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

--- Comment #12 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
Created attachment 52240
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52240&action=edit
proposed untested patch

This is a proposed patch that fixes both PRs.  Perhaps we can tweak the
dominance check in relations_may_be_invalidated to be less aggressive.