mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-12 02:06:52 +08:00
Code Issues Packages Projects Releases Wiki Activity

cp-tree.h, tree.c: New function non_cast_lvalue_p.

Browse Source 
2002-09-13  Matt Austern  <austern@apple.com>
        * cp/cp-tree.h, cp/tree.c: New function non_cast_lvalue_p.
        * cp/call.c: Change call-by-const-reference mechanism to use
        non_cast_lvalue_p when deciding whether the create a temporary.
        We need a temporary when passing, e.g. (long) x by const ref.
        * testsuite/g++.dg/other/constref[12].C: New, regression tests for
        passing a cast expression to a function by const reference.

From-SVN: r57115
This commit is contained in:
Matt Austern 2002-09-13 18:08:16 +00:00 committed by Matt Austern
parent d5909a7963
commit 6c6e776d78
6 changed files with 50 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2002-09-13 Matt Austern <austern@apple.com>
* cp/cp-tree.h, cp/tree.c: New function non_cast_lvalue_p.
* cp/call.c: Change call-by-const-reference mechanism to use
non_cast_lvalue_p when deciding whether the create a temporary.
We need a temporary when passing, e.g. (long) x by const ref.
* testsuite/g++.dg/other/constref[12].C: New, regression tests for
passing a cast expression to a function by const reference.
2002-09-13 Richard Henderson <rth@redhat.com>
* config/alpha/alpha.md (attr type): Add callpal.

2
gcc/cp/call.c
View File

@ -4059,7 +4059,7 @@ convert_like_real (convs, expr, fn, argnum, inner)
tree ref_type = totype;
/* If necessary, create a temporary. */
if (NEED_TEMPORARY_P (convs) || !lvalue_p (expr))
if (NEED_TEMPORARY_P (convs) || !non_cast_lvalue_p (expr))
{
tree type = TREE_TYPE (TREE_OPERAND (convs, 0));
expr = build_target_expr_with_type (expr, type);

1
gcc/cp/cp-tree.h
View File

@ -4184,6 +4184,7 @@ extern tree canonical_type_variant PARAMS ((tree));
extern void unshare_base_binfos PARAMS ((tree));
extern int member_p PARAMS ((tree));
extern cp_lvalue_kind real_lvalue_p PARAMS ((tree));
extern int non_cast_lvalue_p PARAMS ((tree));
extern int non_cast_lvalue_or_else PARAMS ((tree, const char *));
extern tree build_min PARAMS ((enum tree_code, tree,
...));

8
gcc/cp/tree.c
View File

@ -229,6 +229,14 @@ lvalue_p (ref)
(lvalue_p_1 (ref, /*class rvalue ok*/ 1, /*cast*/ 1) != clk_none);
}
int
non_cast_lvalue_p (ref)
tree ref;
{
return
(lvalue_p_1 (ref, /*class rvalue ok*/ 1, /*cast*/ 0) != clk_none);
}
/* Return nonzero if REF is an lvalue valid for this language;
otherwise, print an error message and return zero. */

16
gcc/testsuite/g++.dg/other/constref1.C Normal file
View File

@ -0,0 +1,16 @@
// { dg-do compile }
// Copyright (C) 2002 Free Software Foundation, Inc.
// Contributed by Matt Austern 12 Sep 2002 <austern@apple.com>
// Make sure that we can pass a cast-expression as an argument that's
// passed by const reference.
void bar (const long&)
{ }
void foo (int x)
{
bar ((long) x);
}

16
gcc/testsuite/g++.dg/other/constref2.C Normal file
View File

@ -0,0 +1,16 @@
// { dg-do compile }
// Copyright (C) 2002 Free Software Foundation, Inc.
// Contributed by Matt Austern 12 Sep 2002 <austern@apple.com>
// Make sure that we can pass a cast-expression as an argument that's
// passed to a function template by const reference.
template <class T>
void bar (const T&)
{ }
void foo (int x)
{
bar ((long) x);
}