diff options
| author | Richard Guenther <rguenth@gcc.gnu.org> | 2005-05-21 12:35:55 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2005-05-21 12:35:55 +0000 |
| commit | bb673b41f08b5c7ce1a6d91308487e6109d9bb54 (patch) | |
| tree | 073f9964a4c1cad83a1b9ebcba599d787632e79d | |
| parent | 69a2d125d6071769f9ae2b98d35b0e2c4674d935 (diff) | |
| download | gcc-bb673b41f08b5c7ce1a6d91308487e6109d9bb54.zip gcc-bb673b41f08b5c7ce1a6d91308487e6109d9bb54.tar.gz gcc-bb673b41f08b5c7ce1a6d91308487e6109d9bb54.tar.bz2 | |
tree-stdarg.c (execute_optimize_stdarg): Handle references to va_list of the form &va[0].
2005-05-21 Richard Guenther <rguenth@gcc.gnu.org>
* tree-stdarg.c (execute_optimize_stdarg): Handle references
to va_list of the form &va[0].
From-SVN: r100043
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-stdarg.c | 24 |
2 files changed, 24 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f503efb..e7e90f0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2005-05-21 Richard Guenther <rguenth@gcc.gnu.org> + + * tree-stdarg.c (execute_optimize_stdarg): Handle references + to va_list of the form &va[0]. + 2005-05-20 Jan Hubicka <jh@suse.cz> * Makefile.in (insn-emit.o): Add basic-block.h dependency. diff --git a/gcc/tree-stdarg.c b/gcc/tree-stdarg.c index 5c3b81b..c0d16b1 100644 --- a/gcc/tree-stdarg.c +++ b/gcc/tree-stdarg.c @@ -660,16 +660,30 @@ execute_optimize_stdarg (void) si.va_start_count++; ap = TREE_VALUE (TREE_OPERAND (call, 1)); - if (TREE_CODE (ap) != ADDR_EXPR - || TYPE_MAIN_VARIANT (TREE_TYPE (TREE_OPERAND (ap, 0))) - != TYPE_MAIN_VARIANT (va_list_type_node) - || TREE_CODE (TREE_OPERAND (ap, 0)) != VAR_DECL) + + if (TREE_CODE (ap) != ADDR_EXPR) { va_list_escapes = true; break; } - ap = TREE_OPERAND (ap, 0); + if (TREE_CODE (ap) == ARRAY_REF) + { + if (! integer_zerop (TREE_OPERAND (ap, 1))) + { + va_list_escapes = true; + break; + } + ap = TREE_OPERAND (ap, 0); + } + if (TYPE_MAIN_VARIANT (TREE_TYPE (ap)) + != TYPE_MAIN_VARIANT (va_list_type_node) + || TREE_CODE (ap) != VAR_DECL) + { + va_list_escapes = true; + break; + } + if (is_global_var (ap)) { va_list_escapes = true; |