| commit | e2486556bd37b57b5c6a839d016ceb0dcb78b0cf | |
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 29 May 2008 10:31:58 +0000 (29 10:31 +0000) | ||
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 29 May 2008 10:31:58 +0000 (29 10:31 +0000) | ||
| tree | 9ac5b52b2f6b2f8b4637381bf6843792fdf1b16e | treesnapshot (tar.gz zip) |
| parent | 65085df1b5ff0ba177d505e340594f82b26d72bd | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@136152 138bc75d-0d04-0410-961f-82ee72b054a4
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@136152 138bc75d-0d04-0410-961f-82ee72b054a4