https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68083
--- Comment #3 from Alexandre Oliva <aoliva at gcc dot gnu.org> --- This is a latent problem in ifcvt, that pulls the computation involving the uninitialized k out of the always-false condition. Things go down the hill when k's default def gets coalesced with b, and rtl optimizers further mess things up.