http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58164
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 30663
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30663&action=edit
gcc49-pr58164.patch
Untested fix.
I've first tried to make this invalid GIMPLE (i.e. allow only is_gimple_val
other than ADDR_EXPR in gimple_goto_dest), but that turned out to be much
bigger and incomplete (had to change the gimplifier, tree-cfg.c verification
and still e.g. ccp would happily propagate it into gimple_goto_dest). So this
looks much shorter.
