diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-05-29 10:31:58 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-05-29 10:31:58 +0000 |
| commit | 2f571334ff457850b9a7748b6af8c8d1d07c8f1c (patch) | |
| tree | 9ac5b52b2f6b2f8b4637381bf6843792fdf1b16e /gcc/tree-nested.c | |
| parent | b3d5f74124228eafaf92a3b63a18cd9265f2cf25 (diff) | |
| download | gcc-2f571334ff457850b9a7748b6af8c8d1d07c8f1c.zip gcc-2f571334ff457850b9a7748b6af8c8d1d07c8f1c.tar.gz gcc-2f571334ff457850b9a7748b6af8c8d1d07c8f1c.tar.bz2 | |
re PR tree-optimization/36343 (Wrong code due to bad TBAA pruning of points-to-sets and use in call clobbering)
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.
From-SVN: r136152
Diffstat (limited to 'gcc/tree-nested.c')
0 files changed, 0 insertions, 0 deletions