From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24568 invoked by alias); 23 Apr 2008 14:10:16 -0000 Received: (qmail 23753 invoked by uid 48); 23 Apr 2008 14:09:15 -0000 Date: Wed, 23 Apr 2008 14:10:00 -0000 Message-ID: <20080423140915.23751.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/27799] adding unused char field inhibits optimization 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: 2008-04/txt/msg01642.txt.bz2 ------- Comment #10 from rguenth at gcc dot gnu dot org 2008-04-23 14:09 ------- Subject: Bug 27799 Author: rguenth Date: Wed Apr 23 14:08:25 2008 New Revision: 134598 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134598 Log: 2008-04-23 Richard Guenther PR tree-optimization/27799 PR tree-optimization/32921 PR tree-optimization/32624 * tree-ssa-structalias.c (merge_smts_into): Only merge the SMTs aliases and the tag itself into the solution. * tree-ssa-alias.c (compute_flow_sensitive_aliasing): Do not merge the points-to solution back into the SMT aliases. (may_alias_p): Use alias_set_subset_of instead of aliases_conflict_p. A pointer which points to memory with alias set zero may access any variable. * gcc.dg/tree-ssa/pr27799.c: New testcase. * gcc.dg/tree-ssa/20030807-7.c: Remove xfail, scan vrp dump. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr27799.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gcc.dg/tree-ssa/20030807-7.c trunk/gcc/tree-ssa-alias.c trunk/gcc/tree-ssa-structalias.c ------- Comment #11 from rguenth at gcc dot gnu dot org 2008-04-23 14:09 ------- Fixed. -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution| |FIXED Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27799