From bb673b41f08b5c7ce1a6d91308487e6109d9bb54 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Sat, 21 May 2005 12:35:55 +0000 Subject: tree-stdarg.c (execute_optimize_stdarg): Handle references to va_list of the form &va[0]. 2005-05-21 Richard Guenther * tree-stdarg.c (execute_optimize_stdarg): Handle references to va_list of the form &va[0]. From-SVN: r100043 --- gcc/ChangeLog | 5 +++++ 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 + + * tree-stdarg.c (execute_optimize_stdarg): Handle references + to va_list of the form &va[0]. + 2005-05-20 Jan Hubicka * 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; -- cgit v1.1