http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59176
--- Comment #10 from Jan Hubicka <hubicka at gcc dot gnu.org> --- hmm, I see, same body alias... Well, remove_unreachable_nodes does two things, it removes nodes that are completely unreachable and also removes definitions of nodes where definition is not needed, but they are still referenced and thus needs to stay. I suppose it is what happens here. I will check how to silence the verifier.
