diff options
| author | Nathan Sidwell <nathan@codesourcery.com> | 2003-08-10 14:59:58 +0000 |
|---|---|---|
| committer | Nathan Sidwell <nathan@gcc.gnu.org> | 2003-08-10 14:59:58 +0000 |
| commit | ffc76561784fdb1f6607af45bd37aee531e193df (patch) | |
| tree | 79a8e14a107c6b67adc6e7382a0c8ad9ec746999 | |
| parent | 86306a6b111cf8e6bef4c451761f3a458212a756 (diff) | |
| download | gcc-ffc76561784fdb1f6607af45bd37aee531e193df.zip gcc-ffc76561784fdb1f6607af45bd37aee531e193df.tar.gz gcc-ffc76561784fdb1f6607af45bd37aee531e193df.tar.bz2 | |
re PR c++/11670 (ICE in convert_like_real on illegal code)
cp:
PR c++/11670
* call.c (convert_like_real): Add rvalue binding error message.
* error.c (dump_expr) <NOP_EXPR case>: Detect when the no expr is
really a cast.
testsuite:
PR c++/11670
* g++.dg/expr/cast2.C: New test.
From-SVN: r70294
| -rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/cp/call.c | 2 | ||||
| -rw-r--r-- | gcc/cp/error.c | 24 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 |
4 files changed, 30 insertions, 4 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 4db8e19..c4a5949 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,10 @@ 2003-08-10 Nathan Sidwell <nathan@codesourcery.com> + PR c++/11670 + * call.c (convert_like_real): Add rvalue binding error message. + * error.c (dump_expr) <NOP_EXPR case>: Detect when the no expr is + really a cast. + PR c++/10530 * pt.c (dependent_type_p_r): A dependent template-id is a class type with dependent template arguments, or a bound template diff --git a/gcc/cp/call.c b/gcc/cp/call.c index e77aaee..73c8c44 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -4133,7 +4133,7 @@ convert_like_real (tree convs, tree expr, tree fn, int argnum, int inner, error ("cannot bind packed field `%E' to `%T'", expr, ref_type); else - my_friendly_assert (0, 20030715); + error ("cannot bind rvalue `%E' to `%T'", expr, ref_type); return error_mark_node; } expr = build_target_expr_with_type (expr, type); diff --git a/gcc/cp/error.c b/gcc/cp/error.c index cb31703..3531f94 100644 --- a/gcc/cp/error.c +++ b/gcc/cp/error.c @@ -1682,9 +1682,27 @@ dump_expr (tree t, int flags) break; case NOP_EXPR: - dump_expr (TREE_OPERAND (t, 0), flags); - break; - + { + tree op = TREE_OPERAND (t, 0); + + if (!same_type_p (TREE_TYPE (op), TREE_TYPE (t))) + { + /* It is a cast, but we cannot tell whether it is a + reinterpret or static cast. Use the C style notation. */ + if (flags & TFF_EXPR_IN_PARENS) + pp_left_paren (cxx_pp); + pp_left_paren (cxx_pp); + dump_type (TREE_TYPE (t), flags); + pp_right_paren (cxx_pp); + dump_expr (op, flags | TFF_EXPR_IN_PARENS); + if (flags & TFF_EXPR_IN_PARENS) + pp_right_paren (cxx_pp); + } + else + dump_expr (op, flags); + break; + } + case EXPR_WITH_FILE_LOCATION: dump_expr (EXPR_WFL_NODE (t), flags); break; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 34e5185..efdfe31 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2003-08-10 Nathan Sidwell <nathan@codesourcery.com> + PR c++/11670 + * g++.dg/expr/cast2.C: New test. + PR c++/10530 * g++.dg/template/dependent-name2.C: New test. |