From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28184 invoked by alias); 3 Oct 2006 14:13:30 -0000 Received: (qmail 28135 invoked by uid 48); 3 Oct 2006 14:13:20 -0000 Date: Tue, 03 Oct 2006 14:13:00 -0000 Message-ID: <20061003141320.28134.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "ebotcazou at gcc dot gnu dot org" 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 X-SW-Source: 2006-10/txt/msg00222.txt.bz2 List-Id: ------- Comment #40 from ebotcazou at gcc dot gnu dot org 2006-10-03 14:13 ------- > Agreed. The Ada FE should either change or prove that there is a > design/implementation flaw in the aliasing machinery. I think we can prove that there is a discrepancy between the Tree type-based aliasing analysis and the RTL type-based aliasing analysis when these flags are set, i.e. they don't agree on the alias set used to access some objects. Where they should meet is unclear for the time being... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25737