https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61964
--- Comment #12 from vries at gcc dot gnu.org --- Created attachment 33220 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33220&action=edit Alternative patch > But that line is never executed at runtime (well, unless tail > merging comes along and makes it the only version present). Ah, right, we consider a program with dead type-unsafe code valid. This follow-up patch attempts to fix things less conservatively on trunk. Shall I put this through testing or do you see a problem with this approach? Furthermore, I suspect that a similar issue exists for loads, I'll look into that.