[Bug fortran/23201] [4.1 Regression] internal compiler error: verify_ssa failed

[janis at gcc dot gnu dot org]

------- Comment #7 from janis at gcc dot gnu dot org  2005-11-11 22:57 -------
The testcase from comment #3 starts failing with this patch:

r97988 | dnovillo | 2005-04-11 22:06:46 +0000 (Mon, 11 Apr 2005) | 17 lines

        PR tree-optimization/20933
        * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Move
        logic to reject aliases between read-only and writable
        variables ...
        (may_alias_p): ... here.
        (get_tmt_for): Do not associate read-only tags to pointers
        whose pointed-to type is not read-only.
        * tree-ssa.c (verify_ssa): Check that memory stores have at
        least one V_MAY_DEF or V_MUST_DEF.

http://gcc.gnu.org/viewcvs?view=rev&rev=97988


-- 

janis at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org


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