diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-09-06 15:56:20 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-09-06 15:56:20 +0000 |
| commit | df2f61000e93a5c300703c9f23af007c0621693f (patch) | |
| tree | fbde3337b79e868502c2f6f97441b602320dba10 /gcc/doc | |
| parent | e972fd5281b7268411de938719ce150944100105 (diff) | |
| download | gcc-df2f61000e93a5c300703c9f23af007c0621693f.zip gcc-df2f61000e93a5c300703c9f23af007c0621693f.tar.gz gcc-df2f61000e93a5c300703c9f23af007c0621693f.tar.bz2 | |
re PR target/47025 (Dead stores in variadic functions not eliminated)
2011-09-06 Richard Guenther <rguenther@suse.de>
PR tree-optimization/47025
* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): BUILT_IN_VA_END
uses nothing.
(call_may_clobber_ref_p_1): BUILT_IN_VA_END is a barrier like
BUILT_IN_FREE.
(stmt_kills_ref_p_1): BUILT_IN_VA_END kills what its argument
definitely points to.
* tree-ssa-structalias.c (find_func_aliases_for_builtin_call):
BUILT_IN_VA_START doesn't let its va_list argument escape.
* tree-ssa-dce.c (propagate_necessity): BUILT_IN_VA_END does
not make any previous stores necessary.
From-SVN: r178601
Diffstat (limited to 'gcc/doc')
0 files changed, 0 insertions, 0 deletions