From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 9380 invoked by alias); 27 Jan 2009 12:09:22 -0000 Received: (qmail 9336 invoked by uid 48); 27 Jan 2009 12:09:13 -0000 Date: Tue, 27 Jan 2009 12:09:00 -0000 Message-ID: <20090127120913.9335.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/38985] [4.2/4.3/4.4 Regression] missing constraints for pointers accessed directly via their address 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-01/txt/msg02936.txt.bz2 ------- Comment #5 from rguenth at gcc dot gnu dot org 2009-01-27 12:09 ------- The bad thing is that this is really bad. We would need to add the SMT for the type here, but we have no way of looking that up. So the only way to fix this in a reasonable way is to simply not CCP constant addresses into dereferences. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38985