https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106075
--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> --- PR106077 demonstrates related problem where ipa-sra concludes it is safe to move dereference earlier in the code. It uses dominator test for that.
