[Bug tree-optimization/49000] [4.6/4.7 Regression] ICE: verify_ssa failed with -O2 -g

[ian at airs dot com]

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

Ian Lance Taylor <ian at airs dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ian at airs dot com,
                   |                            |jamborm at gcc dot gnu.org

--- Comment #2 from Ian Lance Taylor <ian at airs dot com> 2011-05-16 18:00:37 UTC ---
Extremely unlikely that that patch introduced the bug.  That patch just fixes a
bug introduced by

2010-09-10  Martin Jambor  <mjambor@suse.cz>

    PR tree-optimization/44972
    * ipa-prop.c (ipa_modify_call_arguments): Build MEM_REF instead of
    calling build_ref_for_offset.

Since that patch, Martin has rewritten the code further.

Adding Martin to CC in case this is somehow related to that work.

As far as I can see, the bug here is either that a GIMPLE_DEBUG statement has
been created with a memory op, or that gimple_has_mem_ops returns false for
GIMPLE_DEBUG.

It looks like the GIMPLE_DEBUG statement is created when l_234 is addressable,
but l_234 later becomes addressable due to inlining.  So something has to
change somewhere when that happens.