From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 5784 invoked by alias); 26 Sep 2009 11:29:33 -0000 Received: (qmail 5677 invoked by uid 48); 26 Sep 2009 11:29:09 -0000 Date: Sat, 26 Sep 2009 11:29:00 -0000 Message-ID: <20090926112909.5676.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug middle-end/25140] aliases, including weakref, break alias analysis In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "rguenth at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2009-09/txt/msg02403.txt.bz2 ------- Comment #6 from rguenth at gcc dot gnu dot org 2009-09-26 11:29 ------- Whoever designed this feature should be beaten with a cluebat for not asking people on how this will interact with aliasing. IMHO the testcase should be declared invalid and it should be documented that an aliased or weakreffed var may be only accessed via its original declaration (x in this case). Case closed for me. Any other way not only breaks points-to analysis but also trivial alias checks throughout the compiler. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25140