------- 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
