[Bug middle-end/52173] internal compiler error: verify_ssa failed possibly caused by itm

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52173



Richard Guenther <rguenth at gcc dot gnu.org> changed:



           What    |Removed                     |Added

----------------------------------------------------------------------------

             Status|NEW                         |ASSIGNED

         AssignedTo|aldyh at gcc dot gnu.org    |rguenth at gcc dot gnu.org



--- Comment #15 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-09-21 
13:30:06 UTC ---

I have a patch:



Index: gcc/gimple.c

===================================================================

*** gcc/gimple.c        (revision 191613)

--- gcc/gimple.c        (working copy)

*************** gimple_copy (gimple stmt)

*** 2333,2355 ****

      }



    /* Make copy of operands.  */

!   if (num_ops > 0)

!     {

!       for (i = 0; i < num_ops; i++)

!       gimple_set_op (copy, i, unshare_expr (gimple_op (stmt, i)));



!       /* Clear out SSA operand vectors on COPY.  */

!       if (gimple_has_ops (stmt))

!       {

!         gimple_set_def_ops (copy, NULL);

!         gimple_set_use_ops (copy, NULL);

!       }



!       if (gimple_has_mem_ops (stmt))

!       {

!         gimple_set_vdef (copy, gimple_vdef (stmt));

!         gimple_set_vuse (copy, gimple_vuse (stmt));

!       }



        /* SSA operands need to be updated.  */

        gimple_set_modified (copy, true);

--- 2333,2352 ----

      }



    /* Make copy of operands.  */

!   for (i = 0; i < num_ops; i++)

!     gimple_set_op (copy, i, unshare_expr (gimple_op (stmt, i)));



!   if (gimple_has_mem_ops (stmt))

!     {

!       gimple_set_vdef (copy, gimple_vdef (stmt));

!       gimple_set_vuse (copy, gimple_vuse (stmt));

!     }



!   /* Clear out SSA operand vectors on COPY.  */

!   if (gimple_has_ops (stmt))

!     {

!       gimple_set_def_ops (copy, NULL);

!       gimple_set_use_ops (copy, NULL);



        /* SSA operands need to be updated.  */

        gimple_set_modified (copy, true);