http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45310
--- Comment #5 from Steven Bosscher <steven at gcc dot gnu.org> 2010-12-17 09:19:51 UTC --- The verification error happens after the 'phiprop' pass, and disappears with -fno-tree-phiprop. Focusing on that pass now...