From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 27744 invoked by alias); 11 Nov 2005 22:57:59 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 27681 invoked by uid 48); 11 Nov 2005 22:57:55 -0000 Date: Fri, 11 Nov 2005 22:57:00 -0000 Message-ID: <20051111225755.27676.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug fortran/23201] [4.1 Regression] internal compiler error: verify_ssa failed In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "janis at gcc dot gnu dot org" X-SW-Source: 2005-11/txt/msg01726.txt.bz2 List-Id: ------- 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