https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64668
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- /* Virtual table call. */ case OBJ_TYPE_REF: { x1 = TREE_OPERAND (t1, 0); x2 = TREE_OPERAND (t2, 0); y1 = TREE_OPERAND (t1, 1); y2 = TREE_OPERAND (t2, 1); z1 = TREE_OPERAND (t1, 2); z2 = TREE_OPERAND (t2, 2); ret = compare_ssa_name (x1, x2) && compare_ssa_name (y1, y2) && compare_cst_or_decl (z1, z2); I think neither op0 nor op1 needs to be a SSA name, both might be &x for example.