diff options
| author | Douglas Gregor <doug.gregor@gmail.com> | 2007-07-27 17:43:05 +0000 |
|---|---|---|
| committer | Doug Gregor <dgregor@gcc.gnu.org> | 2007-07-27 17:43:05 +0000 |
| commit | 3ad6a8e12ca4ac15b759f6a407d2ca2ea32e17a2 (patch) | |
| tree | 1fd8c965b4122258e1d88e04db3ecb09a3757908 /gcc/cp/mangle.c | |
| parent | 8a67955f0815ecf2892c635ca4128a5f414eb507 (diff) | |
| download | gcc-3ad6a8e12ca4ac15b759f6a407d2ca2ea32e17a2.zip gcc-3ad6a8e12ca4ac15b759f6a407d2ca2ea32e17a2.tar.gz gcc-3ad6a8e12ca4ac15b759f6a407d2ca2ea32e17a2.tar.bz2 | |
typeck.c (structural_comptypes): Compare DECLTYPE_TYPE nodes.
2007-07-27 Douglas Gregor <doug.gregor@gmail.com>
* typeck.c (structural_comptypes): Compare DECLTYPE_TYPE nodes.
* cp-tree.def (DECLTYPE_TYPE): New.
* error.c (dump_type): Dump DECLTYPE_TYPE nodes.
(dump_type_prefix): Ditto.
(dump_type_suffix): Ditto.
* tree.c (DECLTYPE_TYPE): Walk DECLTYPE_TYPE nodes.
* mangle.c (write_type): Handle DECLTYPE_TYPE.
* cp-tree.h (IS_AGGR_TYPE): DECLTYPE_TYPE nodes can be aggregate
types.
(DECLTYPE_TYPE_EXPR): New.
(DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): New.
(finish_declared_type): Declare.
* cxx-pretty-print.c (pp_cxx_type_specifier_seq): Print
DECLTYPE_TYPE nodes.
(pp_cxx_type_id): Ditto.
* pt.c (for_each_template_parm_r): Walk DECLTYPE_TYPE children.
(tsubst): Substitute into a DECLTYPE_TYPE node.
(tsubst_copy): Ditto.
(unify): Cannot deduce anything from TYPEOF_TYPE or DECLTYPE_TYPE
nodes.
(dependent_type_p_r): DECLTYPE_TYPE types are always dependent.
* semantics.c (finish_typeof): TYPEOF_TYPE types need to use
structural equality (because we can't hash the expressions).
(finish_declared_type): New.
* lex.c (reswords): Add "decltype" keyword.
* parser.c cp_lexer_next_token_is_decl_specifier_keyword
(cp_parser_postfix_expression): Add member_access_only_p to
restrict postfix expression to member access expressions.
(cp_parser_unary_expression): Update call to
cp_parser_postfix_expression to reflect new parameter.
(cp_parser_declared_type): New.
(cp_parser_simple_type_specifier): Parse decltype types.
2007-07-27 Douglas Gregor <doug.gregor@gmail.com>
* c-common.h (enum rid): Add RID_DECLTYPE, update RID_LAST_CXX0X.
2007-07-27 Douglas Gregor <doug.gregor@gmail.com>
* g++.dg/cpp0x/decltype1.C: New.
* g++.dg/cpp0x/decltype2.C: New.
* g++.dg/cpp0x/decltype3.C: New.
* g++.dg/cpp0x/decltype4.C: New.
* g++.dg/cpp0x/decltype5.C: New.
* g++.dg/cpp0x/decltype6.C: New.
From-SVN: r126991
Diffstat (limited to 'gcc/cp/mangle.c')
| -rw-r--r-- | gcc/cp/mangle.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/cp/mangle.c b/gcc/cp/mangle.c index d708a2b..7318f49 100644 --- a/gcc/cp/mangle.c +++ b/gcc/cp/mangle.c @@ -1544,6 +1544,9 @@ write_local_name (const tree function, const tree local_entity, C++0x extensions <type> ::= RR <type> # rvalue reference-to + <type> ::= Dt <expression> # decltype of an id-expression or + # class member access + <type> ::= DT <expression> # decltype of an expression TYPE is a type node. */ @@ -1674,6 +1677,16 @@ write_type (tree type) write_type (PACK_EXPANSION_PATTERN (type)); break; + case DECLTYPE_TYPE: + write_char ('D'); + if (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P (type)) + write_char ('t'); + else + write_char ('T'); + write_expression (DECLTYPE_TYPE_EXPR (type)); + write_char ('E'); + break; + default: gcc_unreachable (); } |