[Bug middle-end/11414] [Regression 3.4] Segementation fault compiling csets.adb

[danglin at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


danglin at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |zlomekj at suse dot cz, kazu
                   |                            |at cs dot umass dot edu,
                   |                            |roger at eyesopen dot com,
                   |                            |joern dot rennecke at superh
                   |                            |dot com


------- Additional Comments From danglin at gcc dot gnu dot org  2003-07-09 17:17 -------
I have added the authors of the following two patches to the CC list in the
hope that they can provide suggestions on how to resolve this PR.

The first patch added the notes which exposed the problem in label replacement.
The second patch revised the replacement of labels, although it looks as if
the problem predates this fix.
 
2003-05-20  Roger Sayle  <roger@eyesopen.com>
            Kazu Hirata  <kazu@cs.umass.edu>
            Joern Rennecke  <joern.rennecke@superh.com>

        * gcse.c (cprop_jump):  Make use of REG_EQUAL notes on both
        setcc and jump, if they exist.  If substituted instruction
        fails to validate, store current effort in a REG_EQUAL note.
        (cprop_insn): Don't attempt further substitutions if the
        current instruction has been deleted.
        (local_cprop_pass): Likewise.

        * jump.c (redirect_jump):  Also update REG_EQUAL note, if
        one is attached to the jump instruction.
        (invert_jump): Delete REG_EQUAL note on jump, if one exists.

2003-03-15  Josef Zlomek  <zlomekj@suse.cz>

        * rtl.h (subrtx_p): Renamed to rtx_referenced_p.
        (rtx_pair): Added new element update_label_nuses, renamed to
        replace_label_data.
        * cfgcleanup.c (outgoing_edges_match, try_crossjump_to_edge): Use
        replace_label_data instead of rtx_pair.
        * loop.c (load_mems): Likewise.
        * rtlanal.c (replace_label): Replace label in pool constants and in
        INSN_LIST (in REG_LABEL note).
        (subrtx_p): Renamed to rtx_referenced_p.
        (subrtx_p_1): Renamed to rtx_referenced_p_1, compare the interior of
        LABEL_REF with CODE_LABEL, traverse constants from pool.