http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59757
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> --- That is, Index: gcc/tree-ssa-sccvn.c =================================================================== --- gcc/tree-ssa-sccvn.c (revision 206576) +++ gcc/tree-ssa-sccvn.c (working copy) @@ -3605,6 +3605,7 @@ visit_use (tree use) changed = defs_to_varying (stmt); } done: + gcc_assert (!virtual_operand_p (use) || SSA_VAL (use) != VN_TOP); return changed; } should help catching the bug.