From a3c702a80e830b96f975e31df31cd560f97ac8eb Mon Sep 17 00:00:00 2001 From: mmitchel Date: Sun, 2 Oct 2005 21:28:50 +0000 Subject: [PATCH] PR c++/23840 * tree.c (lvalue_p1): A VA_ARG_EXPR with class type is an lvalue, when class rvalues are lvalues. PR c++/23840 * g++.dg/expr/stdarg1.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@104877 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/tree.c | 6 +++++- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/expr/stdarg1.C | 13 +++++++++++++ 4 files changed, 29 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/expr/stdarg1.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index f4255d6..14fc98f 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2005-10-02 Mark Mitchell + + PR c++/23840 + * tree.c (lvalue_p1): A VA_ARG_EXPR with class type is an lvalue, + when class rvalues are lvalues. + 2005-09-28 Mark Mitchell PR c++/16782 diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c index 9c28f13..954a809 100644 --- a/gcc/cp/tree.c +++ b/gcc/cp/tree.c @@ -158,8 +158,12 @@ lvalue_p_1 (tree ref, case TARGET_EXPR: return treat_class_rvalues_as_lvalues ? clk_class : clk_none; - case CALL_EXPR: case VA_ARG_EXPR: + return (treat_class_rvalues_as_lvalues + && CLASS_TYPE_P (TREE_TYPE (ref)) + ? clk_class : clk_none); + + case CALL_EXPR: /* Any class-valued call would be wrapped in a TARGET_EXPR. */ return clk_none; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 98bfad4..67105b0 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-10-02 Mark Mitchell + + PR c++/23840 + * g++.dg/expr/stdarg1.C: New test. + 2005-10-02 Diego Novillo PR 24142 diff --git a/gcc/testsuite/g++.dg/expr/stdarg1.C b/gcc/testsuite/g++.dg/expr/stdarg1.C new file mode 100644 index 0000000..85b6f74 --- /dev/null +++ b/gcc/testsuite/g++.dg/expr/stdarg1.C @@ -0,0 +1,13 @@ +// PR c++/23840 + +#include +struct S +{ + int f(int); +}; +void f(int i, ...) +{ + va_list ap; + va_start (ap, i); + va_arg (ap, S).f(0); +} -- 2.7.4