[Bug middle-end/106870] ctrl_altering flag is not set correctly

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

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
This fixes some cases but leaves others not fixed.