https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71691
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- So this is loop unswitching unswitching on a condition that is not always executed (i_48 != 0), it is guarded by e.3_30 != 0 (which is not invariant). It's not trivial to see the use of i_48 can be uninitialized and thus we have to error conservatively.
