Summary: | call clobbering computation uses TBAA-pruned points-to-sets | ||
---|---|---|---|
Product: | gcc | Reporter: | Richard Biener <rguenth> |
Component: | tree-optimization | Assignee: | Richard Biener <rguenth> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | gcc-bugs, pinskia |
Priority: | P3 | Keywords: | alias, wrong-code |
Version: | 4.4.0 | ||
Target Milestone: | 4.4.0 | ||
Host: | Target: | ||
Build: | Known to work: | ||
Known to fail: | Last reconfirmed: | 2008-05-27 14:47:53 | |
Bug Depends on: | |||
Bug Blocks: | 36343, 36347 |
Description
Richard Biener
2008-05-27 13:18:05 UTC
I have a patch. Subject: Bug 36346 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 <rguenther@suse.de> 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 Fixed. |