http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53321
--- Comment #12 from Steven Bosscher <steven at gcc dot gnu.org> 2012-05-26 19:42:26 UTC --- Note, btw, that verify_cgraph() doesn't catch this. Honza, you loved checkers so much a few years ago -- maybe this checker (also yours??) should be enhanced :-)
