From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1726 invoked by alias); 29 May 2008 10:33:37 -0000 Received: (qmail 32322 invoked by alias); 29 May 2008 10:32:48 -0000 Date: Thu, 29 May 2008 10:33:00 -0000 Message-ID: <20080529103248.32321.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/36343] [4.3/4.4 Regression] Wrong code due to bad TBAA pruning of points-to-sets and use in call clobbering 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-05/txt/msg02171.txt.bz2 ------- Comment #2 from rguenth at gcc dot gnu dot org 2008-05-29 10:32 ------- Subject: Bug 36343 Author: rguenth Date: Thu May 29 10:31:58 2008 New Revision: 136152 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=136152 Log: 2008-05-29 Richard Guenther PR tree-optimization/36343 PR tree-optimization/36346 PR tree-optimization/36347 * tree-flow.h (clobber_what_p_points_to): Declare. * tree-ssa-structalias.c (set_uids_in_ptset): Whether the pointed-to variable is dereferenced is irrelevant to whether the pointer can access the pointed-to variable. (clobber_what_p_points_to): New function. * tree-ssa-alias.c (set_initial_properties): Use it. * tree-ssa.c (verify_flow_sensitive_alias_info): Adjust call clobber check for NMTs. * gcc.c-torture/execute/pr36343.c: New testcase. Added: trunk/gcc/testsuite/gcc.c-torture/execute/pr36343.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-flow.h trunk/gcc/tree-ssa-alias.c trunk/gcc/tree-ssa-structalias.c trunk/gcc/tree-ssa.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36343