This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug fortran/23201] [4.1 Regression] internal compiler error: verify_ssa failed
- From: "janis at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 11 Nov 2005 22:57:55 -0000
- Subject: [Bug fortran/23201] [4.1 Regression] internal compiler error: verify_ssa failed
- References: <bug-23201-10129@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla 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