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-flow.h | |
| 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-flow.h')
| -rw-r--r-- | gcc/tree-flow.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h index 8bc6cc8..94d5a69 100644 --- a/gcc/tree-flow.h +++ b/gcc/tree-flow.h @@ -1167,6 +1167,7 @@ tree gimple_fold_indirect_ref (tree); /* In tree-ssa-structalias.c */ bool find_what_p_points_to (tree); +bool clobber_what_p_points_to (tree); /* In tree-ssa-live.c */ extern void remove_unused_locals (void); |