ParseExprCXX.cpp revision 0efc2c1716be4f1c5f1343cad3b047e74861f030
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- ParseExprCXX.cpp - C++ Expression Parsing ------------------------===//
25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//                     The LLVM Compiler Infrastructure
45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source
60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details.
75f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
85f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
95f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// This file implements the Expression parsing implementation for C++.
115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
14500d3297d2a21edeac4d46cbcbe21bc2352c2a28Chris Lattner#include "clang/Parse/ParseDiagnostic.h"
155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Parse/Parser.h"
16987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis#include "clang/Parse/DeclSpec.h"
17314b97f8c564b465af605efaee23f91ec18a982bDouglas Gregor#include "clang/Parse/Template.h"
183f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor#include "llvm/Support/ErrorHandling.h"
193f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerusing namespace clang;
215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
221eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// \brief Parse global scope or nested-name-specifier if present.
232dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor///
242dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor/// Parses a C++ global scope specifier ('::') or nested-name-specifier (which
251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// may be preceded by '::'). Note that this routine will not parse ::new or
262dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor/// ::delete; it will just leave them in the token stream.
27eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
28eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///       '::'[opt] nested-name-specifier
29eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///       '::'
30eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
31eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///       nested-name-specifier:
32eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///         type-name '::'
33eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///         namespace-name '::'
34eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///         nested-name-specifier identifier '::'
352dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor///         nested-name-specifier 'template'[opt] simple-template-id '::'
362dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor///
372dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor///
381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// \param SS the scope specifier that will be set to the parsed
392dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor/// nested-name-specifier (or empty)
402dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor///
411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// \param ObjectType if this nested-name-specifier is being parsed following
422dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor/// the "." or "->" of a member access expression, this parameter provides the
432dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor/// type of the object whose members are being accessed.
44eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
452dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor/// \param EnteringContext whether we will be entering into the context of
462dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor/// the nested-name-specifier after parsing it.
472dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor///
482dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor/// \returns true if a scope specifier was parsed.
49495c35d291da48c4f5655bbb54d15128ddde0d4dDouglas Gregorbool Parser::ParseOptionalCXXScopeSpecifier(CXXScopeSpec &SS,
502dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor                                            Action::TypeTy *ObjectType,
5108d92ecf6e5b1fd23177a08c2312b58d63d863dbChris Lattner                                            bool EnteringContext) {
524bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis  assert(getLang().CPlusPlus &&
537452c6fc567ea1799f617395d0fa4c7ed075e5d9Chris Lattner         "Call sites of this function should be guarded by checking for C++");
541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
55eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis  if (Tok.is(tok::annot_cxxscope)) {
563507369940bfb269551bfa1fec812481f60e3552Douglas Gregor    SS.setScopeRep(Tok.getAnnotationValue());
57eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis    SS.setRange(Tok.getAnnotationRange());
58eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis    ConsumeToken();
594bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis    return true;
60eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis  }
61e607e808c2b90724a2a6fd841e850f07de1f5b30Chris Lattner
6239a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor  bool HasScopeSpecifier = false;
6339a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor
645b4547318bb179fc76f984f0eeaaf615927e795cChris Lattner  if (Tok.is(tok::coloncolon)) {
655b4547318bb179fc76f984f0eeaaf615927e795cChris Lattner    // ::new and ::delete aren't nested-name-specifiers.
665b4547318bb179fc76f984f0eeaaf615927e795cChris Lattner    tok::TokenKind NextKind = NextToken().getKind();
675b4547318bb179fc76f984f0eeaaf615927e795cChris Lattner    if (NextKind == tok::kw_new || NextKind == tok::kw_delete)
685b4547318bb179fc76f984f0eeaaf615927e795cChris Lattner      return false;
691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
7055a7cefc846765ac7d142a63f773747a20518d71Chris Lattner    // '::' - Global scope qualifier.
71357089dea05855e27f80f6f244f9c60fc77cee83Chris Lattner    SourceLocation CCLoc = ConsumeToken();
72357089dea05855e27f80f6f244f9c60fc77cee83Chris Lattner    SS.setBeginLoc(CCLoc);
733507369940bfb269551bfa1fec812481f60e3552Douglas Gregor    SS.setScopeRep(Actions.ActOnCXXGlobalScopeSpecifier(CurScope, CCLoc));
74357089dea05855e27f80f6f244f9c60fc77cee83Chris Lattner    SS.setEndLoc(CCLoc);
7539a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    HasScopeSpecifier = true;
76eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis  }
77eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis
7839a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor  while (true) {
792dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor    if (HasScopeSpecifier) {
802dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor      // C++ [basic.lookup.classref]p5:
812dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor      //   If the qualified-id has the form
823b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor      //
832dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor      //       ::class-name-or-namespace-name::...
843b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor      //
852dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor      //   the class-name-or-namespace-name is looked up in global scope as a
862dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor      //   class-name or namespace-name.
872dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor      //
882dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor      // To implement this, we clear out the object type as soon as we've
892dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor      // seen a leading '::' or part of a nested-name-specifier.
902dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor      ObjectType = 0;
9181b747b7fcc91c2fba9a3183d8fac80adbfc1d3eDouglas Gregor
9281b747b7fcc91c2fba9a3183d8fac80adbfc1d3eDouglas Gregor      if (Tok.is(tok::code_completion)) {
9381b747b7fcc91c2fba9a3183d8fac80adbfc1d3eDouglas Gregor        // Code completion for a nested-name-specifier, where the code
9481b747b7fcc91c2fba9a3183d8fac80adbfc1d3eDouglas Gregor        // code completion token follows the '::'.
9581b747b7fcc91c2fba9a3183d8fac80adbfc1d3eDouglas Gregor        Actions.CodeCompleteQualifiedId(CurScope, SS, EnteringContext);
9681b747b7fcc91c2fba9a3183d8fac80adbfc1d3eDouglas Gregor        ConsumeToken();
9781b747b7fcc91c2fba9a3183d8fac80adbfc1d3eDouglas Gregor      }
982dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor    }
991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
10039a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    // nested-name-specifier:
10177cf72a95baa18e82737bb45131e9658a00fee16Chris Lattner    //   nested-name-specifier 'template'[opt] simple-template-id '::'
10277cf72a95baa18e82737bb45131e9658a00fee16Chris Lattner
10377cf72a95baa18e82737bb45131e9658a00fee16Chris Lattner    // Parse the optional 'template' keyword, then make sure we have
10477cf72a95baa18e82737bb45131e9658a00fee16Chris Lattner    // 'identifier <' after it.
10577cf72a95baa18e82737bb45131e9658a00fee16Chris Lattner    if (Tok.is(tok::kw_template)) {
1062dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor      // If we don't have a scope specifier or an object type, this isn't a
107eab975dce83fcf6a7fa8fc9379944d4b1aaf1a00Eli Friedman      // nested-name-specifier, since they aren't allowed to start with
108eab975dce83fcf6a7fa8fc9379944d4b1aaf1a00Eli Friedman      // 'template'.
1092dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor      if (!HasScopeSpecifier && !ObjectType)
110eab975dce83fcf6a7fa8fc9379944d4b1aaf1a00Eli Friedman        break;
111eab975dce83fcf6a7fa8fc9379944d4b1aaf1a00Eli Friedman
1127bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor      TentativeParsingAction TPA(*this);
11377cf72a95baa18e82737bb45131e9658a00fee16Chris Lattner      SourceLocation TemplateKWLoc = ConsumeToken();
114ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
115ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      UnqualifiedId TemplateName;
116ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      if (Tok.is(tok::identifier)) {
117ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        // Consume the identifier.
1187bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor        TemplateName.setIdentifier(Tok.getIdentifierInfo(), Tok.getLocation());
119ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        ConsumeToken();
120ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      } else if (Tok.is(tok::kw_operator)) {
121ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        if (ParseUnqualifiedIdOperator(SS, EnteringContext, ObjectType,
1227bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor                                       TemplateName)) {
1237bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor          TPA.Commit();
124ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor          break;
1257bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor        }
126ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
127e6252d1587f98dbac704178e7b2ce53116048310Sean Hunt        if (TemplateName.getKind() != UnqualifiedId::IK_OperatorFunctionId &&
128e6252d1587f98dbac704178e7b2ce53116048310Sean Hunt            TemplateName.getKind() != UnqualifiedId::IK_LiteralOperatorId) {
129ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor          Diag(TemplateName.getSourceRange().getBegin(),
130ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor               diag::err_id_after_template_in_nested_name_spec)
131ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor            << TemplateName.getSourceRange();
1327bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor          TPA.Commit();
133ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor          break;
134ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        }
135ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      } else {
1367bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor        TPA.Revert();
13777cf72a95baa18e82737bb45131e9658a00fee16Chris Lattner        break;
13877cf72a95baa18e82737bb45131e9658a00fee16Chris Lattner      }
1391eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1407bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor      // If the next token is not '<', we have a qualified-id that refers
1417bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor      // to a template name, such as T::template apply, but is not a
1427bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor      // template-id.
1437bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor      if (Tok.isNot(tok::less)) {
1447bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor        TPA.Revert();
1457bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor        break;
1467bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor      }
1477bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor
1487bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor      // Commit to parsing the template-id.
1497bb87fca7d22a8a194d04188746b90f46512975fDouglas Gregor      TPA.Commit();
1501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump      TemplateTy Template
151014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor        = Actions.ActOnDependentTemplateName(TemplateKWLoc, SS, TemplateName,
152a481edb1b11c956a46cb42cd0dc4dd9851c10801Douglas Gregor                                             ObjectType, EnteringContext);
153eab975dce83fcf6a7fa8fc9379944d4b1aaf1a00Eli Friedman      if (!Template)
154eab975dce83fcf6a7fa8fc9379944d4b1aaf1a00Eli Friedman        break;
155c8e27cc402043ec86c1698c09e4ee9e415b16207Chris Lattner      if (AnnotateTemplateIdToken(Template, TNK_Dependent_template_name,
156ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor                                  &SS, TemplateName, TemplateKWLoc, false))
157c8e27cc402043ec86c1698c09e4ee9e415b16207Chris Lattner        break;
1581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
15977cf72a95baa18e82737bb45131e9658a00fee16Chris Lattner      continue;
16077cf72a95baa18e82737bb45131e9658a00fee16Chris Lattner    }
1611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
16239a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    if (Tok.is(tok::annot_template_id) && NextToken().is(tok::coloncolon)) {
1631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump      // We have
16439a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor      //
16539a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor      //   simple-template-id '::'
16639a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor      //
16739a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor      // So we need to check whether the simple-template-id is of the
168c45c232440dfafedca1a3773b904fb42609b1b19Douglas Gregor      // right kind (it should name a type or be dependent), and then
169c45c232440dfafedca1a3773b904fb42609b1b19Douglas Gregor      // convert it into a type within the nested-name-specifier.
1701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump      TemplateIdAnnotation *TemplateId
17139a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor        = static_cast<TemplateIdAnnotation *>(Tok.getAnnotationValue());
1724bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis
1731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump      if (TemplateId->Kind == TNK_Type_template ||
174c45c232440dfafedca1a3773b904fb42609b1b19Douglas Gregor          TemplateId->Kind == TNK_Dependent_template_name) {
17531a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor        AnnotateTemplateIdTokenAsType(&SS);
17639a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor
1771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump        assert(Tok.is(tok::annot_typename) &&
17839a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor               "AnnotateTemplateIdTokenAsType isn't working");
17939a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor        Token TypeToken = Tok;
18039a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor        ConsumeToken();
18139a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor        assert(Tok.is(tok::coloncolon) && "NextToken() not working properly!");
18239a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor        SourceLocation CCLoc = ConsumeToken();
1831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
18439a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor        if (!HasScopeSpecifier) {
18539a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor          SS.setBeginLoc(TypeToken.getLocation());
18639a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor          HasScopeSpecifier = true;
18739a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor        }
1881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
18931a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor        if (TypeToken.getAnnotationValue())
19031a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor          SS.setScopeRep(
1911eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump            Actions.ActOnCXXNestedNameSpecifier(CurScope, SS,
19231a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor                                                TypeToken.getAnnotationValue(),
19331a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor                                                TypeToken.getAnnotationRange(),
19431a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor                                                CCLoc));
19531a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor        else
19631a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor          SS.setScopeRep(0);
19739a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor        SS.setEndLoc(CCLoc);
19839a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor        continue;
19967b9e831943300ce54e564e601971828ce4def15Chris Lattner      }
2001eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
20167b9e831943300ce54e564e601971828ce4def15Chris Lattner      assert(false && "FIXME: Only type template names supported here");
20239a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    }
20339a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor
2045c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner
2055c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    // The rest of the nested-name-specifier possibilities start with
2065c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    // tok::identifier.
2075c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    if (Tok.isNot(tok::identifier))
2085c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      break;
2095c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner
2105c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    IdentifierInfo &II = *Tok.getIdentifierInfo();
2115c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner
2125c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    // nested-name-specifier:
2135c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    //   type-name '::'
2145c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    //   namespace-name '::'
2155c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    //   nested-name-specifier identifier '::'
2165c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    Token Next = NextToken();
21746646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner
21846646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner    // If we get foo:bar, this is almost certainly a typo for foo::bar.  Recover
21946646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner    // and emit a fixit hint for it.
22046646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner    if (Next.is(tok::colon) && !ColonIsSacred &&
22146646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner        Actions.IsInvalidUnlessNestedName(CurScope, SS, II, ObjectType,
22246646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner                                          EnteringContext) &&
22346646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner        // If the token after the colon isn't an identifier, it's still an
22446646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner        // error, but they probably meant something else strange so don't
22546646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner        // recover like this.
22646646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner        PP.LookAhead(1).is(tok::identifier)) {
22746646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner      Diag(Next, diag::err_unexected_colon_in_nested_name_spec)
22846646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner        << CodeModificationHint::CreateReplacement(Next.getLocation(), "::");
22946646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner
23046646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner      // Recover as if the user wrote '::'.
23146646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner      Next.setKind(tok::coloncolon);
23246646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner    }
23346646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner
2345c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    if (Next.is(tok::coloncolon)) {
2355c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      // We have an identifier followed by a '::'. Lookup this name
2365c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      // as the name in a nested-name-specifier.
2375c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      SourceLocation IdLoc = ConsumeToken();
23846646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner      assert((Tok.is(tok::coloncolon) || Tok.is(tok::colon)) &&
23946646491834cd8faabb22482dfe93b24ce28a6c1Chris Lattner             "NextToken() not working properly!");
2405c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      SourceLocation CCLoc = ConsumeToken();
2411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
2425c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      if (!HasScopeSpecifier) {
2435c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner        SS.setBeginLoc(IdLoc);
2445c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner        HasScopeSpecifier = true;
2455c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      }
2461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
2475c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      if (SS.isInvalid())
2485c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner        continue;
2491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
2505c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      SS.setScopeRep(
251495c35d291da48c4f5655bbb54d15128ddde0d4dDouglas Gregor        Actions.ActOnCXXNestedNameSpecifier(CurScope, SS, IdLoc, CCLoc, II,
2522dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor                                            ObjectType, EnteringContext));
2535c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      SS.setEndLoc(CCLoc);
2545c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      continue;
2555c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    }
2561eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
2575c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    // nested-name-specifier:
2585c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    //   type-name '<'
2595c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    if (Next.is(tok::less)) {
2605c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      TemplateTy Template;
261014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor      UnqualifiedId TemplateName;
262014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor      TemplateName.setIdentifier(&II, Tok.getLocation());
263014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor      if (TemplateNameKind TNK = Actions.isTemplateName(CurScope, SS,
264014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor                                                        TemplateName,
2652dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor                                                        ObjectType,
266495c35d291da48c4f5655bbb54d15128ddde0d4dDouglas Gregor                                                        EnteringContext,
267495c35d291da48c4f5655bbb54d15128ddde0d4dDouglas Gregor                                                        Template)) {
2685c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner        // We have found a template name, so annotate this this token
2695c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner        // with a template-id annotation. We do not permit the
2705c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner        // template-id to be translated into a type annotation,
2715c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner        // because some clients (e.g., the parsing of class template
2725c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner        // specializations) still want to see the original template-id
2735c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner        // token.
274ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        ConsumeToken();
275ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        if (AnnotateTemplateIdToken(Template, TNK, &SS, TemplateName,
276ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor                                    SourceLocation(), false))
277c8e27cc402043ec86c1698c09e4ee9e415b16207Chris Lattner          break;
2785c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner        continue;
2795c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner      }
2805c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner    }
2815c7f786e3269ee2b512ecf13ccf556c47be83a76Chris Lattner
28239a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    // We don't have any tokens that form the beginning of a
28339a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    // nested-name-specifier, so we're done.
28439a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    break;
28539a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor  }
2861eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
28739a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor  return HasScopeSpecifier;
288eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis}
289eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis
290eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// ParseCXXIdExpression - Handle id-expression.
291eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
292eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///       id-expression:
293eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///         unqualified-id
294eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///         qualified-id
295eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
296eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///       qualified-id:
297eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///         '::'[opt] nested-name-specifier 'template'[opt] unqualified-id
298eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///         '::' identifier
299eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///         '::' operator-function-id
300edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor///         '::' template-id
301eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
302eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// NOTE: The standard specifies that, for qualified-id, the parser does not
303eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// expect:
304eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
305eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///   '::' conversion-function-id
306eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///   '::' '~' class-name
307eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
308eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// This may cause a slight inconsistency on diagnostics:
309eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
310eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// class C {};
311eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// namespace A {}
312eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// void f() {
313eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///   :: A :: ~ C(); // Some Sema error about using destructor with a
314eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///                  // namespace.
315eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///   :: ~ C(); // Some Parser error like 'unexpected ~'.
316eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// }
317eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
318eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// We simplify the parser a bit and make it work like:
319eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
320eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///       qualified-id:
321eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///         '::'[opt] nested-name-specifier 'template'[opt] unqualified-id
322eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///         '::' unqualified-id
323eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
324eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// That way Sema can handle and report similar errors for namespaces and the
325eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// global scope.
326eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///
327ebc07d57be9e0722b4b9c66625e1fca43dcc2ee0Sebastian Redl/// The isAddressOfOperand parameter indicates that this id-expression is a
328ebc07d57be9e0722b4b9c66625e1fca43dcc2ee0Sebastian Redl/// direct operand of the address-of operator. This is, besides member contexts,
329ebc07d57be9e0722b4b9c66625e1fca43dcc2ee0Sebastian Redl/// the only place where a qualified-id naming a non-static class member may
330ebc07d57be9e0722b4b9c66625e1fca43dcc2ee0Sebastian Redl/// appear.
331ebc07d57be9e0722b4b9c66625e1fca43dcc2ee0Sebastian Redl///
332ebc07d57be9e0722b4b9c66625e1fca43dcc2ee0Sebastian RedlParser::OwningExprResult Parser::ParseCXXIdExpression(bool isAddressOfOperand) {
333eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis  // qualified-id:
334eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis  //   '::'[opt] nested-name-specifier 'template'[opt] unqualified-id
335eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis  //   '::' unqualified-id
336eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis  //
337eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis  CXXScopeSpec SS;
3382dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor  ParseOptionalCXXScopeSpecifier(SS, /*ObjectType=*/0, false);
33902a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor
34002a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor  UnqualifiedId Name;
34102a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor  if (ParseUnqualifiedId(SS,
34202a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor                         /*EnteringContext=*/false,
34302a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor                         /*AllowDestructorName=*/false,
34402a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor                         /*AllowConstructorName=*/false,
3452d1c21414199a7452f122598189363a3922605b1Douglas Gregor                         /*ObjectType=*/0,
34602a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor                         Name))
34702a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor    return ExprError();
348b681b61fea36618778b8030360e90e3f4641233bJohn McCall
349b681b61fea36618778b8030360e90e3f4641233bJohn McCall  // This is only the direct operand of an & operator if it is not
350b681b61fea36618778b8030360e90e3f4641233bJohn McCall  // followed by a postfix-expression suffix.
351b681b61fea36618778b8030360e90e3f4641233bJohn McCall  if (isAddressOfOperand) {
352b681b61fea36618778b8030360e90e3f4641233bJohn McCall    switch (Tok.getKind()) {
353b681b61fea36618778b8030360e90e3f4641233bJohn McCall    case tok::l_square:
354b681b61fea36618778b8030360e90e3f4641233bJohn McCall    case tok::l_paren:
355b681b61fea36618778b8030360e90e3f4641233bJohn McCall    case tok::arrow:
356b681b61fea36618778b8030360e90e3f4641233bJohn McCall    case tok::period:
357b681b61fea36618778b8030360e90e3f4641233bJohn McCall    case tok::plusplus:
358b681b61fea36618778b8030360e90e3f4641233bJohn McCall    case tok::minusminus:
359b681b61fea36618778b8030360e90e3f4641233bJohn McCall      isAddressOfOperand = false;
360b681b61fea36618778b8030360e90e3f4641233bJohn McCall      break;
361b681b61fea36618778b8030360e90e3f4641233bJohn McCall
362b681b61fea36618778b8030360e90e3f4641233bJohn McCall    default:
363b681b61fea36618778b8030360e90e3f4641233bJohn McCall      break;
364b681b61fea36618778b8030360e90e3f4641233bJohn McCall    }
365b681b61fea36618778b8030360e90e3f4641233bJohn McCall  }
36602a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor
36702a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor  return Actions.ActOnIdExpression(CurScope, SS, Name, Tok.is(tok::l_paren),
36802a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor                                   isAddressOfOperand);
36902a24ee67c0a91bdb0db8a651d5748595652e670Douglas Gregor
370eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis}
371eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis
3725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ParseCXXCasts - This handles the various ways to cast expressions to another
3735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// type.
3745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
3755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///       postfix-expression: [C++ 5.2p1]
3765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///         'dynamic_cast' '<' type-name '>' '(' expression ')'
3775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///         'static_cast' '<' type-name '>' '(' expression ')'
3785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///         'reinterpret_cast' '<' type-name '>' '(' expression ')'
3795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///         'const_cast' '<' type-name '>' '(' expression ')'
3805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
38120df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian RedlParser::OwningExprResult Parser::ParseCXXCasts() {
3825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  tok::TokenKind Kind = Tok.getKind();
3835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  const char *CastName = 0;     // For error messages
3845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  switch (Kind) {
3865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  default: assert(0 && "Unknown C++ cast!"); abort();
3875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::kw_const_cast:       CastName = "const_cast";       break;
3885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::kw_dynamic_cast:     CastName = "dynamic_cast";     break;
3895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::kw_reinterpret_cast: CastName = "reinterpret_cast"; break;
3905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::kw_static_cast:      CastName = "static_cast";      break;
3915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
3925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  SourceLocation OpLoc = ConsumeToken();
3945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  SourceLocation LAngleBracketLoc = Tok.getLocation();
3955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  if (ExpectAndConsume(tok::less, diag::err_expected_less_after, CastName))
39720df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl    return ExprError();
3985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
399809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor  TypeResult CastTy = ParseTypeName();
4005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  SourceLocation RAngleBracketLoc = Tok.getLocation();
4015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
4021ab3b96de160e4fbffec2a776e284a48a3bb543dChris Lattner  if (ExpectAndConsume(tok::greater, diag::err_expected_greater))
40320df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl    return ExprError(Diag(LAngleBracketLoc, diag::note_matching) << "<");
4045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
4055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  SourceLocation LParenLoc = Tok.getLocation(), RParenLoc;
4065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
40721e7ad24099965acfa801e4abdd91e3d94106428Argyrios Kyrtzidis  if (ExpectAndConsume(tok::l_paren, diag::err_expected_lparen_after, CastName))
40821e7ad24099965acfa801e4abdd91e3d94106428Argyrios Kyrtzidis    return ExprError();
4095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
41021e7ad24099965acfa801e4abdd91e3d94106428Argyrios Kyrtzidis  OwningExprResult Result = ParseExpression();
4111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
41221e7ad24099965acfa801e4abdd91e3d94106428Argyrios Kyrtzidis  // Match the ')'.
41327591ff4fc64600fd67c5d81899e3efe5ef41a80Douglas Gregor  RParenLoc = MatchRHSPunctuation(tok::r_paren, LParenLoc);
4145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
415809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor  if (!Result.isInvalid() && !CastTy.isInvalid())
41649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor    Result = Actions.ActOnCXXNamedCast(OpLoc, Kind,
417f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl                                       LAngleBracketLoc, CastTy.get(),
418809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor                                       RAngleBracketLoc,
419f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl                                       LParenLoc, move(Result), RParenLoc);
4205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
42120df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl  return move(Result);
4225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
4235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
424c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// ParseCXXTypeid - This handles the C++ typeid expression.
425c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl///
426c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl///       postfix-expression: [C++ 5.2p1]
427c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl///         'typeid' '(' expression ')'
428c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl///         'typeid' '(' type-id ')'
429c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl///
43020df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian RedlParser::OwningExprResult Parser::ParseCXXTypeid() {
431c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl  assert(Tok.is(tok::kw_typeid) && "Not 'typeid'!");
432c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl
433c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl  SourceLocation OpLoc = ConsumeToken();
434c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl  SourceLocation LParenLoc = Tok.getLocation();
435c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl  SourceLocation RParenLoc;
436c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl
437c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl  // typeid expressions are always parenthesized.
438c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl  if (ExpectAndConsume(tok::l_paren, diag::err_expected_lparen_after,
439c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl      "typeid"))
44020df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl    return ExprError();
441c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl
44215faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl  OwningExprResult Result(Actions);
443c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl
444c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl  if (isTypeIdInParens()) {
445809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor    TypeResult Ty = ParseTypeName();
446c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl
447c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl    // Match the ')'.
448c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl    MatchRHSPunctuation(tok::r_paren, LParenLoc);
449c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl
450809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor    if (Ty.isInvalid())
45120df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl      return ExprError();
452c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl
453c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl    Result = Actions.ActOnCXXTypeid(OpLoc, LParenLoc, /*isType=*/true,
454809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor                                    Ty.get(), RParenLoc);
455c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl  } else {
456e0762c92110dfdcdd207db461a4ea17afd168f1eDouglas Gregor    // C++0x [expr.typeid]p3:
4571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    //   When typeid is applied to an expression other than an lvalue of a
4581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    //   polymorphic class type [...] The expression is an unevaluated
459e0762c92110dfdcdd207db461a4ea17afd168f1eDouglas Gregor    //   operand (Clause 5).
460e0762c92110dfdcdd207db461a4ea17afd168f1eDouglas Gregor    //
4611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    // Note that we can't tell whether the expression is an lvalue of a
462e0762c92110dfdcdd207db461a4ea17afd168f1eDouglas Gregor    // polymorphic class type until after we've parsed the expression, so
463ac7610dad6653bad02dd42de198ca358b6fb1f1dDouglas Gregor    // we the expression is potentially potentially evaluated.
464ac7610dad6653bad02dd42de198ca358b6fb1f1dDouglas Gregor    EnterExpressionEvaluationContext Unevaluated(Actions,
465ac7610dad6653bad02dd42de198ca358b6fb1f1dDouglas Gregor                                       Action::PotentiallyPotentiallyEvaluated);
466c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl    Result = ParseExpression();
467c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl
468c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl    // Match the ')'.
4690e9eabca263e8922bec0e2b38c8670eba9a39a1fSebastian Redl    if (Result.isInvalid())
470c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl      SkipUntil(tok::r_paren);
471c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl    else {
472c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl      MatchRHSPunctuation(tok::r_paren, LParenLoc);
473c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl
474c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl      Result = Actions.ActOnCXXTypeid(OpLoc, LParenLoc, /*isType=*/false,
475effa8d1c97b00a3f53e972b0e61d9aade5ea1c57Sebastian Redl                                      Result.release(), RParenLoc);
476c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl    }
477c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl  }
478c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl
47920df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl  return move(Result);
480c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl}
481c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl
4825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ParseCXXBoolLiteral - This handles the C++ Boolean literals.
4835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
4845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///       boolean-literal: [C++ 2.13.5]
4855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///         'true'
4865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///         'false'
48720df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian RedlParser::OwningExprResult Parser::ParseCXXBoolLiteral() {
4885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  tok::TokenKind Kind = Tok.getKind();
489f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl  return Actions.ActOnCXXBoolLiteral(ConsumeToken(), Kind);
4905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
49150dd289f45738ed22b7583d52ed2525b927042ffChris Lattner
49250dd289f45738ed22b7583d52ed2525b927042ffChris Lattner/// ParseThrowExpression - This handles the C++ throw expression.
49350dd289f45738ed22b7583d52ed2525b927042ffChris Lattner///
49450dd289f45738ed22b7583d52ed2525b927042ffChris Lattner///       throw-expression: [C++ 15]
49550dd289f45738ed22b7583d52ed2525b927042ffChris Lattner///         'throw' assignment-expression[opt]
49620df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian RedlParser::OwningExprResult Parser::ParseThrowExpression() {
49750dd289f45738ed22b7583d52ed2525b927042ffChris Lattner  assert(Tok.is(tok::kw_throw) && "Not throw!");
49850dd289f45738ed22b7583d52ed2525b927042ffChris Lattner  SourceLocation ThrowLoc = ConsumeToken();           // Eat the throw token.
49920df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl
5002a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  // If the current token isn't the start of an assignment-expression,
5012a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  // then the expression is not present.  This handles things like:
5022a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  //   "C ? throw : (void)42", which is crazy but legal.
5032a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  switch (Tok.getKind()) {  // FIXME: move this predicate somewhere common.
5042a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  case tok::semi:
5052a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  case tok::r_paren:
5062a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  case tok::r_square:
5072a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  case tok::r_brace:
5082a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  case tok::colon:
5092a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  case tok::comma:
510f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl    return Actions.ActOnCXXThrow(ThrowLoc, ExprArg(Actions));
51150dd289f45738ed22b7583d52ed2525b927042ffChris Lattner
5122a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  default:
5132f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl    OwningExprResult Expr(ParseAssignmentExpression());
51420df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl    if (Expr.isInvalid()) return move(Expr);
515f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl    return Actions.ActOnCXXThrow(ThrowLoc, move(Expr));
5162a2819a0a8e114bfa5a3c4fc4c97fa173155bae9Chris Lattner  }
51750dd289f45738ed22b7583d52ed2525b927042ffChris Lattner}
5184cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis
5194cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// ParseCXXThis - This handles the C++ 'this' pointer.
5204cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis///
5214cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// C++ 9.3.2: In the body of a non-static member function, the keyword this is
5224cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// a non-lvalue expression whose value is the address of the object for which
5234cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// the function is called.
52420df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian RedlParser::OwningExprResult Parser::ParseCXXThis() {
5254cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis  assert(Tok.is(tok::kw_this) && "Not 'this'!");
5264cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis  SourceLocation ThisLoc = ConsumeToken();
527f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl  return Actions.ActOnCXXThis(ThisLoc);
5284cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis}
529987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis
530987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// ParseCXXTypeConstructExpression - Parse construction of a specified type.
531987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// Can be interpreted either as function-style casting ("int(x)")
532987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// or class type construction ("ClassType(x,y,z)")
533987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// or creation of a value-initialized type ("int()").
534987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///
535987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///       postfix-expression: [C++ 5.2p1]
536987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         simple-type-specifier '(' expression-list[opt] ')'      [C++ 5.2.3]
537987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         typename-specifier '(' expression-list[opt] ')'         [TODO]
538987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///
53920df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian RedlParser::OwningExprResult
54020df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian RedlParser::ParseCXXTypeConstructExpression(const DeclSpec &DS) {
541987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  Declarator DeclaratorInfo(DS, Declarator::TypeNameContext);
5425ac8aff3d7431dc7e4d64d960574a10c9f7e0078Douglas Gregor  TypeTy *TypeRep = Actions.ActOnTypeName(CurScope, DeclaratorInfo).get();
543987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis
544987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  assert(Tok.is(tok::l_paren) && "Expected '('!");
545987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  SourceLocation LParenLoc = ConsumeParen();
546987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis
547a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl  ExprVector Exprs(Actions);
548987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  CommaLocsTy CommaLocs;
549987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis
550987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  if (Tok.isNot(tok::r_paren)) {
551987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    if (ParseExpressionList(Exprs, CommaLocs)) {
552987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis      SkipUntil(tok::r_paren);
55320df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl      return ExprError();
554987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    }
555987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  }
556987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis
557987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  // Match the ')'.
558987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  SourceLocation RParenLoc = MatchRHSPunctuation(tok::r_paren, LParenLoc);
559987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis
560ef0cb8e62d090ad88a01ca9fa89e48d7416f0ac7Sebastian Redl  // TypeRep could be null, if it references an invalid typedef.
561ef0cb8e62d090ad88a01ca9fa89e48d7416f0ac7Sebastian Redl  if (!TypeRep)
562ef0cb8e62d090ad88a01ca9fa89e48d7416f0ac7Sebastian Redl    return ExprError();
563ef0cb8e62d090ad88a01ca9fa89e48d7416f0ac7Sebastian Redl
564987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  assert((Exprs.size() == 0 || Exprs.size()-1 == CommaLocs.size())&&
565987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis         "Unexpected number of commas!");
566f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl  return Actions.ActOnCXXTypeConstructExpr(DS.getSourceRange(), TypeRep,
567f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl                                           LParenLoc, move_arg(Exprs),
568beaaccd8e2a8748f77b66e2b330fb9136937e14cJay Foad                                           CommaLocs.data(), RParenLoc);
569987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis}
570987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis
57199e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor/// ParseCXXCondition - if/switch/while condition expression.
57271b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis///
57371b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis///       condition:
57471b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis///         expression
57571b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis///         type-specifier-seq declarator '=' assignment-expression
57671b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis/// [GNU]   type-specifier-seq declarator simple-asm-expr[opt] attributes[opt]
57771b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis///             '=' assignment-expression
57871b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis///
57999e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor/// \param ExprResult if the condition was parsed as an expression, the
58099e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor/// parsed expression.
58199e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor///
58299e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor/// \param DeclResult if the condition was parsed as a declaration, the
58399e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor/// parsed declaration.
58499e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor///
58599e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor/// \returns true if there was a parsing, false otherwise.
58699e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregorbool Parser::ParseCXXCondition(OwningExprResult &ExprResult,
58799e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor                               DeclPtrTy &DeclResult) {
58801dfea02d1da297e8b53db8eea3d3cc652acda8dDouglas Gregor  if (Tok.is(tok::code_completion)) {
58901dfea02d1da297e8b53db8eea3d3cc652acda8dDouglas Gregor    Actions.CodeCompleteOrdinaryName(CurScope, Action::CCC_Condition);
59001dfea02d1da297e8b53db8eea3d3cc652acda8dDouglas Gregor    ConsumeToken();
59101dfea02d1da297e8b53db8eea3d3cc652acda8dDouglas Gregor  }
59201dfea02d1da297e8b53db8eea3d3cc652acda8dDouglas Gregor
59399e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor  if (!isCXXConditionDeclaration()) {
59499e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor    ExprResult = ParseExpression(); // expression
59599e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor    DeclResult = DeclPtrTy();
59699e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor    return ExprResult.isInvalid();
59799e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor  }
59871b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis
59971b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis  // type-specifier-seq
60071b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis  DeclSpec DS;
60171b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis  ParseSpecifierQualifierList(DS);
60271b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis
60371b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis  // declarator
60471b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis  Declarator DeclaratorInfo(DS, Declarator::ConditionContext);
60571b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis  ParseDeclarator(DeclaratorInfo);
60671b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis
60771b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis  // simple-asm-expr[opt]
60871b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis  if (Tok.is(tok::kw_asm)) {
609ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    SourceLocation Loc;
610ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    OwningExprResult AsmLabel(ParseSimpleAsm(&Loc));
6110e9eabca263e8922bec0e2b38c8670eba9a39a1fSebastian Redl    if (AsmLabel.isInvalid()) {
61271b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis      SkipUntil(tok::semi);
61399e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor      return true;
61471b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis    }
615effa8d1c97b00a3f53e972b0e61d9aade5ea1c57Sebastian Redl    DeclaratorInfo.setAsmLabel(AsmLabel.release());
616ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    DeclaratorInfo.SetRangeEnd(Loc);
61771b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis  }
61871b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis
61971b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis  // If attributes are present, parse them.
620ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl  if (Tok.is(tok::kw___attribute)) {
621ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    SourceLocation Loc;
622bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt    AttributeList *AttrList = ParseGNUAttributes(&Loc);
623ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    DeclaratorInfo.AddAttributes(AttrList, Loc);
624ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl  }
62571b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis
62699e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor  // Type-check the declaration itself.
62799e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor  Action::DeclResult Dcl = Actions.ActOnCXXConditionDeclaration(CurScope,
62899e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor                                                                DeclaratorInfo);
62999e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor  DeclResult = Dcl.get();
63099e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor  ExprResult = ExprError();
63199e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor
63271b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis  // '=' assignment-expression
63399e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor  if (Tok.is(tok::equal)) {
63499e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor    SourceLocation EqualLoc = ConsumeToken();
63599e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor    OwningExprResult AssignExpr(ParseAssignmentExpression());
63699e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor    if (!AssignExpr.isInvalid())
63799e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor      Actions.AddInitializerToDecl(DeclResult, move(AssignExpr));
63899e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor  } else {
63999e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor    // FIXME: C++0x allows a braced-init-list
64099e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor    Diag(Tok, diag::err_expected_equal_after_declarator);
64199e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor  }
64299e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor
64399e9b4d172f6877e6ba5ebe75bb8238721f5e01cDouglas Gregor  return false;
64471b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis}
64571b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis
646987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// ParseCXXSimpleTypeSpecifier - [C++ 7.1.5.2] Simple type specifiers.
647987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// This should only be called when the current token is known to be part of
648987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// simple-type-specifier.
649987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///
650987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///       simple-type-specifier:
651eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis///         '::'[opt] nested-name-specifier[opt] type-name
652987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         '::'[opt] nested-name-specifier 'template' simple-template-id [TODO]
653987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         char
654987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         wchar_t
655987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         bool
656987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         short
657987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         int
658987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         long
659987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         signed
660987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         unsigned
661987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         float
662987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         double
663987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         void
664987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// [GNU]   typeof-specifier
665987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// [C++0x] auto               [TODO]
666987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///
667987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///       type-name:
668987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         class-name
669987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         enum-name
670987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///         typedef-name
671987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis///
672987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidisvoid Parser::ParseCXXSimpleTypeSpecifier(DeclSpec &DS) {
673987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  DS.SetRangeStart(Tok.getLocation());
674987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  const char *PrevSpec;
675fec54013fcd0eb72642741584ca04c1bc292bef8John McCall  unsigned DiagID;
676987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  SourceLocation Loc = Tok.getLocation();
6771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
678987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  switch (Tok.getKind()) {
67955a7cefc846765ac7d142a63f773747a20518d71Chris Lattner  case tok::identifier:   // foo::bar
68055a7cefc846765ac7d142a63f773747a20518d71Chris Lattner  case tok::coloncolon:   // ::foo::bar
68155a7cefc846765ac7d142a63f773747a20518d71Chris Lattner    assert(0 && "Annotation token should already be formed!");
6821eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  default:
683987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    assert(0 && "Not a simple-type-specifier token!");
684987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    abort();
68555a7cefc846765ac7d142a63f773747a20518d71Chris Lattner
686987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  // type-name
687b31757b68afe06ba442a05775d08fe7aa0f6f889Chris Lattner  case tok::annot_typename: {
688fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecType(DeclSpec::TST_typename, Loc, PrevSpec, DiagID,
689eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis                       Tok.getAnnotationValue());
690987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
691987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  }
6921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
693987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  // builtin types
694987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_short:
695fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecWidth(DeclSpec::TSW_short, Loc, PrevSpec, DiagID);
696987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
697987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_long:
698fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecWidth(DeclSpec::TSW_long, Loc, PrevSpec, DiagID);
699987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
700987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_signed:
701fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecSign(DeclSpec::TSS_signed, Loc, PrevSpec, DiagID);
702987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
703987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_unsigned:
704fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecSign(DeclSpec::TSS_unsigned, Loc, PrevSpec, DiagID);
705987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
706987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_void:
707fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecType(DeclSpec::TST_void, Loc, PrevSpec, DiagID);
708987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
709987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_char:
710fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecType(DeclSpec::TST_char, Loc, PrevSpec, DiagID);
711987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
712987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_int:
713fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecType(DeclSpec::TST_int, Loc, PrevSpec, DiagID);
714987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
715987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_float:
716fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecType(DeclSpec::TST_float, Loc, PrevSpec, DiagID);
717987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
718987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_double:
719fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecType(DeclSpec::TST_double, Loc, PrevSpec, DiagID);
720987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
721987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_wchar_t:
722fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecType(DeclSpec::TST_wchar, Loc, PrevSpec, DiagID);
723987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
724f5c209d23b20ada4a9b6235db50317239cbf6ae1Alisdair Meredith  case tok::kw_char16_t:
725fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecType(DeclSpec::TST_char16, Loc, PrevSpec, DiagID);
726f5c209d23b20ada4a9b6235db50317239cbf6ae1Alisdair Meredith    break;
727f5c209d23b20ada4a9b6235db50317239cbf6ae1Alisdair Meredith  case tok::kw_char32_t:
728fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecType(DeclSpec::TST_char32, Loc, PrevSpec, DiagID);
729f5c209d23b20ada4a9b6235db50317239cbf6ae1Alisdair Meredith    break;
730987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_bool:
731fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    DS.SetTypeSpecType(DeclSpec::TST_bool, Loc, PrevSpec, DiagID);
732987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    break;
7331eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
734987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  // GNU typeof support.
735987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  case tok::kw_typeof:
736987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    ParseTypeofSpecifier(DS);
7379b3064b55f3c858923734e8b1c9831777fc22554Douglas Gregor    DS.Finish(Diags, PP);
738987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis    return;
739987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  }
740b31757b68afe06ba442a05775d08fe7aa0f6f889Chris Lattner  if (Tok.is(tok::annot_typename))
741eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis    DS.SetRangeEnd(Tok.getAnnotationEndLoc());
742eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis  else
743eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis    DS.SetRangeEnd(Tok.getLocation());
744987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis  ConsumeToken();
7459b3064b55f3c858923734e8b1c9831777fc22554Douglas Gregor  DS.Finish(Diags, PP);
746987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis}
7471cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor
7482f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor/// ParseCXXTypeSpecifierSeq - Parse a C++ type-specifier-seq (C++
7492f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor/// [dcl.name]), which is a non-empty sequence of type-specifiers,
7502f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor/// e.g., "const short int". Note that the DeclSpec is *not* finished
7512f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor/// by parsing the type-specifier-seq, because these sequences are
7522f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor/// typically followed by some form of declarator. Returns true and
7532f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor/// emits diagnostics if this is not a type-specifier-seq, false
7542f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor/// otherwise.
7552f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor///
7562f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor///   type-specifier-seq: [C++ 8.1]
7572f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor///     type-specifier type-specifier-seq[opt]
7582f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor///
7592f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregorbool Parser::ParseCXXTypeSpecifierSeq(DeclSpec &DS) {
7602f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor  DS.SetRangeStart(Tok.getLocation());
7612f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor  const char *PrevSpec = 0;
762fec54013fcd0eb72642741584ca04c1bc292bef8John McCall  unsigned DiagID;
763fec54013fcd0eb72642741584ca04c1bc292bef8John McCall  bool isInvalid = 0;
7642f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor
7652f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor  // Parse one or more of the type specifiers.
766fec54013fcd0eb72642741584ca04c1bc292bef8John McCall  if (!ParseOptionalTypeSpecifier(DS, isInvalid, PrevSpec, DiagID)) {
7671ab3b96de160e4fbffec2a776e284a48a3bb543dChris Lattner    Diag(Tok, diag::err_operator_missing_type_specifier);
7682f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor    return true;
7692f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor  }
7701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
771fec54013fcd0eb72642741584ca04c1bc292bef8John McCall  while (ParseOptionalTypeSpecifier(DS, isInvalid, PrevSpec, DiagID)) ;
7722f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor
7732f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor  return false;
7742f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor}
7752f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor
7763f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \brief Finish parsing a C++ unqualified-id that is a template-id of
7773f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// some form.
7783f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
7793f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// This routine is invoked when a '<' is encountered after an identifier or
7803f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// operator-function-id is parsed by \c ParseUnqualifiedId() to determine
7813f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// whether the unqualified-id is actually a template-id. This routine will
7823f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// then parse the template arguments and form the appropriate template-id to
7833f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// return to the caller.
7843f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
7853f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \param SS the nested-name-specifier that precedes this template-id, if
7863f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// we're actually parsing a qualified-id.
7873f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
7883f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \param Name for constructor and destructor names, this is the actual
7893f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// identifier that may be a template-name.
7903f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
7913f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \param NameLoc the location of the class-name in a constructor or
7923f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// destructor.
7933f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
7943f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \param EnteringContext whether we're entering the scope of the
7953f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// nested-name-specifier.
7963f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
79746df8cc349096f141c841dbffaa72641ff1dd94bDouglas Gregor/// \param ObjectType if this unqualified-id occurs within a member access
79846df8cc349096f141c841dbffaa72641ff1dd94bDouglas Gregor/// expression, the type of the base object whose member is being accessed.
79946df8cc349096f141c841dbffaa72641ff1dd94bDouglas Gregor///
8003f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \param Id as input, describes the template-name or operator-function-id
8013f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// that precedes the '<'. If template arguments were parsed successfully,
8023f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// will be updated with the template-id.
8033f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
8043f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \returns true if a parse error occurred, false otherwise.
8053f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregorbool Parser::ParseUnqualifiedIdTemplateId(CXXScopeSpec &SS,
8063f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                          IdentifierInfo *Name,
8073f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                          SourceLocation NameLoc,
8083f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                          bool EnteringContext,
8092d1c21414199a7452f122598189363a3922605b1Douglas Gregor                                          TypeTy *ObjectType,
8103f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                          UnqualifiedId &Id) {
8113f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  assert(Tok.is(tok::less) && "Expected '<' to finish parsing a template-id");
8123f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
8133f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  TemplateTy Template;
8143f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  TemplateNameKind TNK = TNK_Non_template;
8153f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  switch (Id.getKind()) {
8163f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  case UnqualifiedId::IK_Identifier:
817014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor  case UnqualifiedId::IK_OperatorFunctionId:
818e6252d1587f98dbac704178e7b2ce53116048310Sean Hunt  case UnqualifiedId::IK_LiteralOperatorId:
819014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor    TNK = Actions.isTemplateName(CurScope, SS, Id, ObjectType, EnteringContext,
820014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor                                 Template);
8213f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    break;
8223f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
823014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor  case UnqualifiedId::IK_ConstructorName: {
824014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor    UnqualifiedId TemplateName;
825014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor    TemplateName.setIdentifier(Name, NameLoc);
826014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor    TNK = Actions.isTemplateName(CurScope, SS, TemplateName, ObjectType,
8272d1c21414199a7452f122598189363a3922605b1Douglas Gregor                                 EnteringContext, Template);
8283f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    break;
829014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor  }
8303f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
831014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor  case UnqualifiedId::IK_DestructorName: {
832014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor    UnqualifiedId TemplateName;
833014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor    TemplateName.setIdentifier(Name, NameLoc);
8342d1c21414199a7452f122598189363a3922605b1Douglas Gregor    if (ObjectType) {
835014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor      Template = Actions.ActOnDependentTemplateName(SourceLocation(), SS,
836a481edb1b11c956a46cb42cd0dc4dd9851c10801Douglas Gregor                                                    TemplateName, ObjectType,
837a481edb1b11c956a46cb42cd0dc4dd9851c10801Douglas Gregor                                                    EnteringContext);
8382d1c21414199a7452f122598189363a3922605b1Douglas Gregor      TNK = TNK_Dependent_template_name;
8392d1c21414199a7452f122598189363a3922605b1Douglas Gregor      if (!Template.get())
8402d1c21414199a7452f122598189363a3922605b1Douglas Gregor        return true;
8412d1c21414199a7452f122598189363a3922605b1Douglas Gregor    } else {
842014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor      TNK = Actions.isTemplateName(CurScope, SS, TemplateName, ObjectType,
8432d1c21414199a7452f122598189363a3922605b1Douglas Gregor                                   EnteringContext, Template);
8442d1c21414199a7452f122598189363a3922605b1Douglas Gregor
8452d1c21414199a7452f122598189363a3922605b1Douglas Gregor      if (TNK == TNK_Non_template && Id.DestructorName == 0) {
8462d1c21414199a7452f122598189363a3922605b1Douglas Gregor        // The identifier following the destructor did not refer to a template
8472d1c21414199a7452f122598189363a3922605b1Douglas Gregor        // or to a type. Complain.
8482d1c21414199a7452f122598189363a3922605b1Douglas Gregor        if (ObjectType)
8492d1c21414199a7452f122598189363a3922605b1Douglas Gregor          Diag(NameLoc, diag::err_ident_in_pseudo_dtor_not_a_type)
8502d1c21414199a7452f122598189363a3922605b1Douglas Gregor            << Name;
8512d1c21414199a7452f122598189363a3922605b1Douglas Gregor        else
8522d1c21414199a7452f122598189363a3922605b1Douglas Gregor          Diag(NameLoc, diag::err_destructor_class_name);
8532d1c21414199a7452f122598189363a3922605b1Douglas Gregor        return true;
8542d1c21414199a7452f122598189363a3922605b1Douglas Gregor      }
8552d1c21414199a7452f122598189363a3922605b1Douglas Gregor    }
8563f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    break;
857014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor  }
8583f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
8593f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  default:
8603f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    return false;
8613f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  }
8623f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
8633f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  if (TNK == TNK_Non_template)
8643f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    return false;
8653f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
8663f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  // Parse the enclosed template argument list.
8673f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  SourceLocation LAngleLoc, RAngleLoc;
8683f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  TemplateArgList TemplateArgs;
8693f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  if (ParseTemplateIdAfterTemplateName(Template, Id.StartLocation,
8703f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                       &SS, true, LAngleLoc,
8713f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                       TemplateArgs,
8723f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                       RAngleLoc))
8733f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    return true;
8743f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
8753f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  if (Id.getKind() == UnqualifiedId::IK_Identifier ||
876e6252d1587f98dbac704178e7b2ce53116048310Sean Hunt      Id.getKind() == UnqualifiedId::IK_OperatorFunctionId ||
877e6252d1587f98dbac704178e7b2ce53116048310Sean Hunt      Id.getKind() == UnqualifiedId::IK_LiteralOperatorId) {
8783f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    // Form a parsed representation of the template-id to be stored in the
8793f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    // UnqualifiedId.
8803f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    TemplateIdAnnotation *TemplateId
8813f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      = TemplateIdAnnotation::Allocate(TemplateArgs.size());
8823f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
8833f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    if (Id.getKind() == UnqualifiedId::IK_Identifier) {
8843f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      TemplateId->Name = Id.Identifier;
885014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor      TemplateId->Operator = OO_None;
8863f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      TemplateId->TemplateNameLoc = Id.StartLocation;
8873f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    } else {
888014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor      TemplateId->Name = 0;
889014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor      TemplateId->Operator = Id.OperatorFunctionId.Operator;
890014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor      TemplateId->TemplateNameLoc = Id.StartLocation;
8913f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    }
8923f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
8933f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    TemplateId->Template = Template.getAs<void*>();
8943f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    TemplateId->Kind = TNK;
8953f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    TemplateId->LAngleLoc = LAngleLoc;
8963f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    TemplateId->RAngleLoc = RAngleLoc;
897314b97f8c564b465af605efaee23f91ec18a982bDouglas Gregor    ParsedTemplateArgument *Args = TemplateId->getTemplateArgs();
8983f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    for (unsigned Arg = 0, ArgEnd = TemplateArgs.size();
899314b97f8c564b465af605efaee23f91ec18a982bDouglas Gregor         Arg != ArgEnd; ++Arg)
9003f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      Args[Arg] = TemplateArgs[Arg];
9013f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
9023f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    Id.setTemplateId(TemplateId);
9033f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    return false;
9043f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  }
9053f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
9063f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  // Bundle the template arguments together.
9073f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  ASTTemplateArgsPtr TemplateArgsPtr(Actions, TemplateArgs.data(),
9083f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                     TemplateArgs.size());
9093f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
9103f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  // Constructor and destructor names.
9113f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  Action::TypeResult Type
9123f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    = Actions.ActOnTemplateIdType(Template, NameLoc,
9133f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                  LAngleLoc, TemplateArgsPtr,
9143f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                  RAngleLoc);
9153f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  if (Type.isInvalid())
9163f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    return true;
9173f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
9183f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  if (Id.getKind() == UnqualifiedId::IK_ConstructorName)
9193f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    Id.setConstructorName(Type.get(), NameLoc, RAngleLoc);
9203f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  else
9213f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    Id.setDestructorName(Id.StartLocation, Type.get(), RAngleLoc);
9223f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
9233f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  return false;
9243f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor}
9253f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
926ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// \brief Parse an operator-function-id or conversion-function-id as part
927ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// of a C++ unqualified-id.
9283f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
929ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// This routine is responsible only for parsing the operator-function-id or
930ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// conversion-function-id; it does not handle template arguments in any way.
9313f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
932ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// \code
9333f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///       operator-function-id: [C++ 13.5]
9343f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///         'operator' operator
9353f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
936ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///       operator: one of
9373f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///            new   delete  new[]   delete[]
9383f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///            +     -    *  /    %  ^    &   |   ~
9393f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///            !     =    <  >    += -=   *=  /=  %=
9403f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///            ^=    &=   |= <<   >> >>= <<=  ==  !=
9413f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///            <=    >=   && ||   ++ --   ,   ->* ->
9423f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///            ()    []
9433f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
9443f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///       conversion-function-id: [C++ 12.3.2]
9453f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///         operator conversion-type-id
9463f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
9473f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///       conversion-type-id:
9483f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///         type-specifier-seq conversion-declarator[opt]
9493f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
9503f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///       conversion-declarator:
9513f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///         ptr-operator conversion-declarator[opt]
9523f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \endcode
9533f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
9543f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \param The nested-name-specifier that preceded this unqualified-id. If
9553f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// non-empty, then we are parsing the unqualified-id of a qualified-id.
9563f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
9573f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \param EnteringContext whether we are entering the scope of the
9583f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// nested-name-specifier.
9593f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
960ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// \param ObjectType if this unqualified-id occurs within a member access
961ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// expression, the type of the base object whose member is being accessed.
962ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///
963ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// \param Result on a successful parse, contains the parsed unqualified-id.
964ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///
965ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// \returns true if parsing fails, false otherwise.
966ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregorbool Parser::ParseUnqualifiedIdOperator(CXXScopeSpec &SS, bool EnteringContext,
967ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor                                        TypeTy *ObjectType,
968ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor                                        UnqualifiedId &Result) {
969ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  assert(Tok.is(tok::kw_operator) && "Expected 'operator' keyword");
970ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
971ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  // Consume the 'operator' keyword.
972ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  SourceLocation KeywordLoc = ConsumeToken();
973ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
974ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  // Determine what kind of operator name we have.
975ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  unsigned SymbolIdx = 0;
976ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  SourceLocation SymbolLocations[3];
977ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  OverloadedOperatorKind Op = OO_None;
978ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  switch (Tok.getKind()) {
979ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    case tok::kw_new:
980ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    case tok::kw_delete: {
981ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      bool isNew = Tok.getKind() == tok::kw_new;
982ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      // Consume the 'new' or 'delete'.
983ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      SymbolLocations[SymbolIdx++] = ConsumeToken();
984ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      if (Tok.is(tok::l_square)) {
985ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        // Consume the '['.
986ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        SourceLocation LBracketLoc = ConsumeBracket();
987ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        // Consume the ']'.
988ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        SourceLocation RBracketLoc = MatchRHSPunctuation(tok::r_square,
989ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor                                                         LBracketLoc);
990ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        if (RBracketLoc.isInvalid())
991ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor          return true;
992ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
993ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        SymbolLocations[SymbolIdx++] = LBracketLoc;
994ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        SymbolLocations[SymbolIdx++] = RBracketLoc;
995ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        Op = isNew? OO_Array_New : OO_Array_Delete;
996ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      } else {
997ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        Op = isNew? OO_New : OO_Delete;
998ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      }
999ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      break;
1000ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    }
1001ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1002ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor#define OVERLOADED_OPERATOR(Name,Spelling,Token,Unary,Binary,MemberOnly) \
1003ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    case tok::Token:                                                     \
1004ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      SymbolLocations[SymbolIdx++] = ConsumeToken();                     \
1005ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      Op = OO_##Name;                                                    \
1006ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      break;
1007ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor#define OVERLOADED_OPERATOR_MULTI(Name,Spelling,Unary,Binary,MemberOnly)
1008ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor#include "clang/Basic/OperatorKinds.def"
1009ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1010ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    case tok::l_paren: {
1011ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      // Consume the '('.
1012ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      SourceLocation LParenLoc = ConsumeParen();
1013ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      // Consume the ')'.
1014ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      SourceLocation RParenLoc = MatchRHSPunctuation(tok::r_paren,
1015ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor                                                     LParenLoc);
1016ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      if (RParenLoc.isInvalid())
1017ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        return true;
1018ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1019ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      SymbolLocations[SymbolIdx++] = LParenLoc;
1020ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      SymbolLocations[SymbolIdx++] = RParenLoc;
1021ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      Op = OO_Call;
1022ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      break;
1023ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    }
1024ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1025ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    case tok::l_square: {
1026ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      // Consume the '['.
1027ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      SourceLocation LBracketLoc = ConsumeBracket();
1028ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      // Consume the ']'.
1029ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      SourceLocation RBracketLoc = MatchRHSPunctuation(tok::r_square,
1030ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor                                                       LBracketLoc);
1031ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      if (RBracketLoc.isInvalid())
1032ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        return true;
1033ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1034ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      SymbolLocations[SymbolIdx++] = LBracketLoc;
1035ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      SymbolLocations[SymbolIdx++] = RBracketLoc;
1036ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      Op = OO_Subscript;
1037ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      break;
1038ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    }
1039ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1040ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    case tok::code_completion: {
1041ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      // Code completion for the operator name.
1042ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      Actions.CodeCompleteOperatorName(CurScope);
1043ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1044ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      // Consume the operator token.
1045ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      ConsumeToken();
1046ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1047ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      // Don't try to parse any further.
1048ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      return true;
1049ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    }
1050ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1051ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    default:
1052ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      break;
1053ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  }
1054ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1055ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  if (Op != OO_None) {
1056ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    // We have parsed an operator-function-id.
1057ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    Result.setOperatorFunctionId(KeywordLoc, Op, SymbolLocations);
1058ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    return false;
1059ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  }
10600486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt
10610486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt  // Parse a literal-operator-id.
10620486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt  //
10630486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt  //   literal-operator-id: [C++0x 13.5.8]
10640486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt  //     operator "" identifier
10650486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt
10660486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt  if (getLang().CPlusPlus0x && Tok.is(tok::string_literal)) {
10670486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt    if (Tok.getLength() != 2)
10680486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt      Diag(Tok.getLocation(), diag::err_operator_string_not_empty);
10690486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt    ConsumeStringToken();
10700486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt
10710486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt    if (Tok.isNot(tok::identifier)) {
10720486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt      Diag(Tok.getLocation(), diag::err_expected_ident);
10730486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt      return true;
10740486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt    }
10750486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt
10760486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt    IdentifierInfo *II = Tok.getIdentifierInfo();
10770486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt    Result.setLiteralOperatorId(II, KeywordLoc, ConsumeToken());
10783e518bda00d710754ca077cf9be8dd821e16a854Sean Hunt    return false;
10790486d746019f8310589b1f0d92edcc4bb3916b33Sean Hunt  }
1080ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1081ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  // Parse a conversion-function-id.
1082ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  //
1083ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  //   conversion-function-id: [C++ 12.3.2]
1084ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  //     operator conversion-type-id
1085ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  //
1086ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  //   conversion-type-id:
1087ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  //     type-specifier-seq conversion-declarator[opt]
1088ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  //
1089ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  //   conversion-declarator:
1090ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  //     ptr-operator conversion-declarator[opt]
1091ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1092ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  // Parse the type-specifier-seq.
1093ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  DeclSpec DS;
1094f6e6fc801c700c7b8ac202ddbe550d9843a816fcDouglas Gregor  if (ParseCXXTypeSpecifierSeq(DS)) // FIXME: ObjectType?
1095ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    return true;
1096ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1097ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  // Parse the conversion-declarator, which is merely a sequence of
1098ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  // ptr-operators.
1099ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  Declarator D(DS, Declarator::TypeNameContext);
1100ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  ParseDeclaratorInternal(D, /*DirectDeclParser=*/0);
1101ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1102ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  // Finish up the type.
1103ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  Action::TypeResult Ty = Actions.ActOnTypeName(CurScope, D);
1104ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  if (Ty.isInvalid())
1105ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    return true;
1106ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1107ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  // Note that this is a conversion-function-id.
1108ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  Result.setConversionFunctionId(KeywordLoc, Ty.get(),
1109ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor                                 D.getSourceRange().getEnd());
1110ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor  return false;
1111ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor}
1112ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
1113ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// \brief Parse a C++ unqualified-id (or a C identifier), which describes the
1114ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// name of an entity.
1115ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///
1116ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// \code
1117ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///       unqualified-id: [C++ expr.prim.general]
1118ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///         identifier
1119ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///         operator-function-id
1120ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///         conversion-function-id
1121ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// [C++0x] literal-operator-id [TODO]
1122ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///         ~ class-name
1123ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///         template-id
1124ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///
1125ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// \endcode
1126ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///
1127ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// \param The nested-name-specifier that preceded this unqualified-id. If
1128ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// non-empty, then we are parsing the unqualified-id of a qualified-id.
1129ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///
1130ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// \param EnteringContext whether we are entering the scope of the
1131ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor/// nested-name-specifier.
1132ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor///
11333f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \param AllowDestructorName whether we allow parsing of a destructor name.
11343f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
11353f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \param AllowConstructorName whether we allow parsing a constructor name.
11363f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
113746df8cc349096f141c841dbffaa72641ff1dd94bDouglas Gregor/// \param ObjectType if this unqualified-id occurs within a member access
113846df8cc349096f141c841dbffaa72641ff1dd94bDouglas Gregor/// expression, the type of the base object whose member is being accessed.
113946df8cc349096f141c841dbffaa72641ff1dd94bDouglas Gregor///
11403f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \param Result on a successful parse, contains the parsed unqualified-id.
11413f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor///
11423f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor/// \returns true if parsing fails, false otherwise.
11433f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregorbool Parser::ParseUnqualifiedId(CXXScopeSpec &SS, bool EnteringContext,
11443f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                bool AllowDestructorName,
11453f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                bool AllowConstructorName,
11462d1c21414199a7452f122598189363a3922605b1Douglas Gregor                                TypeTy *ObjectType,
11473f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                UnqualifiedId &Result) {
11483f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  // unqualified-id:
11493f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  //   identifier
11503f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  //   template-id (when it hasn't already been annotated)
11513f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  if (Tok.is(tok::identifier)) {
11523f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    // Consume the identifier.
11533f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    IdentifierInfo *Id = Tok.getIdentifierInfo();
11543f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    SourceLocation IdLoc = ConsumeToken();
11553f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
1156b862b8f93424a583fc912ab37bbbac1c231e852eDouglas Gregor    if (!getLang().CPlusPlus) {
1157b862b8f93424a583fc912ab37bbbac1c231e852eDouglas Gregor      // If we're not in C++, only identifiers matter. Record the
1158b862b8f93424a583fc912ab37bbbac1c231e852eDouglas Gregor      // identifier and return.
1159b862b8f93424a583fc912ab37bbbac1c231e852eDouglas Gregor      Result.setIdentifier(Id, IdLoc);
1160b862b8f93424a583fc912ab37bbbac1c231e852eDouglas Gregor      return false;
1161b862b8f93424a583fc912ab37bbbac1c231e852eDouglas Gregor    }
1162b862b8f93424a583fc912ab37bbbac1c231e852eDouglas Gregor
11633f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    if (AllowConstructorName &&
11643f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor        Actions.isCurrentClassName(*Id, CurScope, &SS)) {
11653f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      // We have parsed a constructor name.
11663f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      Result.setConstructorName(Actions.getTypeName(*Id, IdLoc, CurScope,
11673f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                                    &SS, false),
11683f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor                                IdLoc, IdLoc);
11693f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    } else {
11703f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      // We have parsed an identifier.
11713f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      Result.setIdentifier(Id, IdLoc);
11723f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    }
11733f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
11743f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    // If the next token is a '<', we may have a template.
11753f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    if (Tok.is(tok::less))
11763f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      return ParseUnqualifiedIdTemplateId(SS, Id, IdLoc, EnteringContext,
11772d1c21414199a7452f122598189363a3922605b1Douglas Gregor                                          ObjectType, Result);
11783f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
11793f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    return false;
11803f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  }
11813f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
11823f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  // unqualified-id:
11833f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  //   template-id (already parsed and annotated)
11843f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  if (Tok.is(tok::annot_template_id)) {
11850efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor    TemplateIdAnnotation *TemplateId
11860efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor      = static_cast<TemplateIdAnnotation*>(Tok.getAnnotationValue());
11870efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor
11880efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor    // If the template-name names the current class, then this is a constructor
11890efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor    if (AllowConstructorName && TemplateId->Name &&
11900efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor        Actions.isCurrentClassName(*TemplateId->Name, CurScope, &SS)) {
11910efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor      if (SS.isSet()) {
11920efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor        // C++ [class.qual]p2 specifies that a qualified template-name
11930efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor        // is taken as the constructor name where a constructor can be
11940efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor        // declared. Thus, the template arguments are extraneous, so
11950efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor        // complain about them and remove them entirely.
11960efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor        Diag(TemplateId->TemplateNameLoc,
11970efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor             diag::err_out_of_line_constructor_template_id)
11980efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor          << TemplateId->Name
11990efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor          << CodeModificationHint::CreateRemoval(
12000efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor                    SourceRange(TemplateId->LAngleLoc, TemplateId->RAngleLoc));
12010efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor        Result.setConstructorName(Actions.getTypeName(*TemplateId->Name,
12020efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor                                                  TemplateId->TemplateNameLoc,
12030efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor                                                      CurScope,
12040efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor                                                      &SS, false),
12050efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor                                  TemplateId->TemplateNameLoc,
12060efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor                                  TemplateId->RAngleLoc);
12070efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor        TemplateId->Destroy();
12080efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor        ConsumeToken();
12090efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor        return false;
12100efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor      }
12110efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor
12120efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor      Result.setConstructorTemplateId(TemplateId);
12130efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor      ConsumeToken();
12140efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor      return false;
12150efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor    }
12160efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor
12173f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    // We have already parsed a template-id; consume the annotation token as
12183f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    // our unqualified-id.
12190efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor    Result.setTemplateId(TemplateId);
12203f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    ConsumeToken();
12213f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    return false;
12223f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  }
12233f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
12243f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  // unqualified-id:
12253f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  //   operator-function-id
12263f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  //   conversion-function-id
12273f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  if (Tok.is(tok::kw_operator)) {
1228ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    if (ParseUnqualifiedIdOperator(SS, EnteringContext, ObjectType, Result))
12293f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      return true;
12303f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
1231e6252d1587f98dbac704178e7b2ce53116048310Sean Hunt    // If we have an operator-function-id or a literal-operator-id and the next
1232e6252d1587f98dbac704178e7b2ce53116048310Sean Hunt    // token is a '<', we may have a
1233ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    //
1234ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    //   template-id:
1235ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    //     operator-function-id < template-argument-list[opt] >
1236e6252d1587f98dbac704178e7b2ce53116048310Sean Hunt    if ((Result.getKind() == UnqualifiedId::IK_OperatorFunctionId ||
1237e6252d1587f98dbac704178e7b2ce53116048310Sean Hunt         Result.getKind() == UnqualifiedId::IK_LiteralOperatorId) &&
1238ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        Tok.is(tok::less))
1239ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      return ParseUnqualifiedIdTemplateId(SS, 0, SourceLocation(),
1240ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor                                          EnteringContext, ObjectType,
1241ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor                                          Result);
12423f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
12433f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    return false;
12443f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  }
12453f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
1246b862b8f93424a583fc912ab37bbbac1c231e852eDouglas Gregor  if (getLang().CPlusPlus &&
1247b862b8f93424a583fc912ab37bbbac1c231e852eDouglas Gregor      (AllowDestructorName || SS.isSet()) && Tok.is(tok::tilde)) {
12483f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    // C++ [expr.unary.op]p10:
12493f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    //   There is an ambiguity in the unary-expression ~X(), where X is a
12503f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    //   class-name. The ambiguity is resolved in favor of treating ~ as a
12513f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    //    unary complement rather than treating ~X as referring to a destructor.
12523f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
12533f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    // Parse the '~'.
12543f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    SourceLocation TildeLoc = ConsumeToken();
12553f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
12563f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    // Parse the class-name.
12573f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    if (Tok.isNot(tok::identifier)) {
12583f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      Diag(Tok, diag::err_destructor_class_name);
12593f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      return true;
12603f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    }
12613f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
12623f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    // Parse the class-name (or template-name in a simple-template-id).
12633f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    IdentifierInfo *ClassName = Tok.getIdentifierInfo();
12643f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    SourceLocation ClassNameLoc = ConsumeToken();
12653f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
12662d1c21414199a7452f122598189363a3922605b1Douglas Gregor    if (Tok.is(tok::less)) {
12672d1c21414199a7452f122598189363a3922605b1Douglas Gregor      Result.setDestructorName(TildeLoc, 0, ClassNameLoc);
12682d1c21414199a7452f122598189363a3922605b1Douglas Gregor      return ParseUnqualifiedIdTemplateId(SS, ClassName, ClassNameLoc,
12692d1c21414199a7452f122598189363a3922605b1Douglas Gregor                                          EnteringContext, ObjectType, Result);
12702d1c21414199a7452f122598189363a3922605b1Douglas Gregor    }
12712d1c21414199a7452f122598189363a3922605b1Douglas Gregor
12723f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    // Note that this is a destructor name.
12733f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    Action::TypeTy *Ty = Actions.getTypeName(*ClassName, ClassNameLoc,
1274f6e6fc801c700c7b8ac202ddbe550d9843a816fcDouglas Gregor                                             CurScope, &SS, false, ObjectType);
12753f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    if (!Ty) {
12762d1c21414199a7452f122598189363a3922605b1Douglas Gregor      if (ObjectType)
12772d1c21414199a7452f122598189363a3922605b1Douglas Gregor        Diag(ClassNameLoc, diag::err_ident_in_pseudo_dtor_not_a_type)
12782d1c21414199a7452f122598189363a3922605b1Douglas Gregor          << ClassName;
12792d1c21414199a7452f122598189363a3922605b1Douglas Gregor      else
12802d1c21414199a7452f122598189363a3922605b1Douglas Gregor        Diag(ClassNameLoc, diag::err_destructor_class_name);
12813f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor      return true;
12823f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    }
12833f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
12843f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    Result.setDestructorName(TildeLoc, Ty, ClassNameLoc);
12853f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor    return false;
12863f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  }
12873f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
12882d1c21414199a7452f122598189363a3922605b1Douglas Gregor  Diag(Tok, diag::err_expected_unqualified_id)
12892d1c21414199a7452f122598189363a3922605b1Douglas Gregor    << getLang().CPlusPlus;
12903f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor  return true;
12913f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor}
12923f9a0566e6793151b99a65ab936220971cf96c1bDouglas Gregor
12934c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// ParseCXXNewExpression - Parse a C++ new-expression. New is used to allocate
12944c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// memory in a typesafe manner and call constructors.
12951eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump///
129659232d35f5820e334b6c8b007ae8006f4390055dChris Lattner/// This method is called to parse the new expression after the optional :: has
129759232d35f5820e334b6c8b007ae8006f4390055dChris Lattner/// been already parsed.  If the :: was present, "UseGlobal" is true and "Start"
129859232d35f5820e334b6c8b007ae8006f4390055dChris Lattner/// is its location.  Otherwise, "Start" is the location of the 'new' token.
12994c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///
13004c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///        new-expression:
13014c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                   '::'[opt] 'new' new-placement[opt] new-type-id
13024c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                                     new-initializer[opt]
13034c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                   '::'[opt] 'new' new-placement[opt] '(' type-id ')'
13044c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                                     new-initializer[opt]
13054c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///
13064c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///        new-placement:
13074c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                   '(' expression-list ')'
13084c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///
1309cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl///        new-type-id:
1310cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl///                   type-specifier-seq new-declarator[opt]
1311cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl///
1312cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl///        new-declarator:
1313cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl///                   ptr-operator new-declarator[opt]
1314cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl///                   direct-new-declarator
1315cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl///
13164c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///        new-initializer:
13174c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                   '(' expression-list[opt] ')'
13184c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// [C++0x]           braced-init-list                                   [TODO]
13194c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///
132059232d35f5820e334b6c8b007ae8006f4390055dChris LattnerParser::OwningExprResult
132159232d35f5820e334b6c8b007ae8006f4390055dChris LattnerParser::ParseCXXNewExpression(bool UseGlobal, SourceLocation Start) {
132259232d35f5820e334b6c8b007ae8006f4390055dChris Lattner  assert(Tok.is(tok::kw_new) && "expected 'new' token");
132359232d35f5820e334b6c8b007ae8006f4390055dChris Lattner  ConsumeToken();   // Consume 'new'
13244c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
13254c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  // A '(' now can be a new-placement or the '(' wrapping the type-id in the
13264c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  // second form of new-expression. It can't be a new-type-id.
13274c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
1328a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl  ExprVector PlacementArgs(Actions);
13294c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  SourceLocation PlacementLParen, PlacementRParen;
13304c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
13314c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  bool ParenTypeId;
1332cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl  DeclSpec DS;
1333cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl  Declarator DeclaratorInfo(DS, Declarator::TypeNameContext);
13344c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  if (Tok.is(tok::l_paren)) {
13354c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    // If it turns out to be a placement, we change the type location.
13364c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    PlacementLParen = ConsumeParen();
1337cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    if (ParseExpressionListOrTypeId(PlacementArgs, DeclaratorInfo)) {
1338cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl      SkipUntil(tok::semi, /*StopAtSemi=*/true, /*DontConsume=*/true);
133920df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl      return ExprError();
1340cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    }
13414c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
13424c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    PlacementRParen = MatchRHSPunctuation(tok::r_paren, PlacementLParen);
1343cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    if (PlacementRParen.isInvalid()) {
1344cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl      SkipUntil(tok::semi, /*StopAtSemi=*/true, /*DontConsume=*/true);
134520df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl      return ExprError();
1346cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    }
13474c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
1348cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    if (PlacementArgs.empty()) {
13494c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      // Reset the placement locations. There was no placement.
13504c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      PlacementLParen = PlacementRParen = SourceLocation();
13514c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      ParenTypeId = true;
13524c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    } else {
13534c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      // We still need the type.
13544c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      if (Tok.is(tok::l_paren)) {
1355cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl        SourceLocation LParen = ConsumeParen();
1356cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl        ParseSpecifierQualifierList(DS);
1357ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl        DeclaratorInfo.SetSourceRange(DS.getSourceRange());
1358cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl        ParseDeclarator(DeclaratorInfo);
1359cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl        MatchRHSPunctuation(tok::r_paren, LParen);
13604c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl        ParenTypeId = true;
13614c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      } else {
1362cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl        if (ParseCXXTypeSpecifierSeq(DS))
1363cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl          DeclaratorInfo.setInvalidType(true);
1364ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl        else {
1365ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl          DeclaratorInfo.SetSourceRange(DS.getSourceRange());
1366cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl          ParseDeclaratorInternal(DeclaratorInfo,
1367cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl                                  &Parser::ParseDirectNewDeclarator);
1368ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl        }
13694c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl        ParenTypeId = false;
13704c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      }
13714c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    }
13724c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  } else {
1373cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    // A new-type-id is a simplified type-id, where essentially the
1374cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    // direct-declarator is replaced by a direct-new-declarator.
1375cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    if (ParseCXXTypeSpecifierSeq(DS))
1376cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl      DeclaratorInfo.setInvalidType(true);
1377ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    else {
1378ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl      DeclaratorInfo.SetSourceRange(DS.getSourceRange());
1379cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl      ParseDeclaratorInternal(DeclaratorInfo,
1380cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl                              &Parser::ParseDirectNewDeclarator);
1381ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    }
13824c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    ParenTypeId = false;
13834c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  }
1384eaaebc7cf10dc1a2016183a262ad3256bc468759Chris Lattner  if (DeclaratorInfo.isInvalidType()) {
1385cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    SkipUntil(tok::semi, /*StopAtSemi=*/true, /*DontConsume=*/true);
138620df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl    return ExprError();
1387cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl  }
13884c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
1389a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl  ExprVector ConstructorArgs(Actions);
13904c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  SourceLocation ConstructorLParen, ConstructorRParen;
13914c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
13924c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  if (Tok.is(tok::l_paren)) {
13934c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    ConstructorLParen = ConsumeParen();
13944c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    if (Tok.isNot(tok::r_paren)) {
13954c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      CommaLocsTy CommaLocs;
1396cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl      if (ParseExpressionList(ConstructorArgs, CommaLocs)) {
1397cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl        SkipUntil(tok::semi, /*StopAtSemi=*/true, /*DontConsume=*/true);
139820df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl        return ExprError();
1399cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl      }
14004c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    }
14014c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    ConstructorRParen = MatchRHSPunctuation(tok::r_paren, ConstructorLParen);
1402cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    if (ConstructorRParen.isInvalid()) {
1403cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl      SkipUntil(tok::semi, /*StopAtSemi=*/true, /*DontConsume=*/true);
140420df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl      return ExprError();
1405cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    }
14064c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  }
14074c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
1408f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl  return Actions.ActOnCXXNew(Start, UseGlobal, PlacementLParen,
1409f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl                             move_arg(PlacementArgs), PlacementRParen,
1410f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl                             ParenTypeId, DeclaratorInfo, ConstructorLParen,
1411f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl                             move_arg(ConstructorArgs), ConstructorRParen);
14124c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl}
14134c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
14144c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// ParseDirectNewDeclarator - Parses a direct-new-declarator. Intended to be
14154c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// passed to ParseDeclaratorInternal.
14164c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///
14174c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///        direct-new-declarator:
14184c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                   '[' expression ']'
14194c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                   direct-new-declarator '[' constant-expression ']'
14204c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///
142159232d35f5820e334b6c8b007ae8006f4390055dChris Lattnervoid Parser::ParseDirectNewDeclarator(Declarator &D) {
14224c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  // Parse the array dimensions.
14234c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  bool first = true;
14244c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  while (Tok.is(tok::l_square)) {
14254c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    SourceLocation LLoc = ConsumeBracket();
14262f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl    OwningExprResult Size(first ? ParseExpression()
14272f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl                                : ParseConstantExpression());
14280e9eabca263e8922bec0e2b38c8670eba9a39a1fSebastian Redl    if (Size.isInvalid()) {
14294c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      // Recover
14304c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      SkipUntil(tok::r_square);
14314c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      return;
14324c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    }
14334c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    first = false;
14344c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
1435ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    SourceLocation RLoc = MatchRHSPunctuation(tok::r_square, LLoc);
14364c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    D.AddTypeInfo(DeclaratorChunk::getArray(0, /*static=*/false, /*star=*/false,
14377e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor                                            Size.release(), LLoc, RLoc),
1438ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl                  RLoc);
14394c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
1440ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    if (RLoc.isInvalid())
14414c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl      return;
14424c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  }
14434c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl}
14444c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
14454c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// ParseExpressionListOrTypeId - Parse either an expression-list or a type-id.
14464c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// This ambiguity appears in the syntax of the C++ new operator.
14474c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///
14484c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///        new-expression:
14494c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                   '::'[opt] 'new' new-placement[opt] '(' type-id ')'
14504c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                                     new-initializer[opt]
14514c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///
14524c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///        new-placement:
14534c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                   '(' expression-list ')'
14544c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///
1455cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redlbool Parser::ParseExpressionListOrTypeId(ExprListTy &PlacementArgs,
145659232d35f5820e334b6c8b007ae8006f4390055dChris Lattner                                         Declarator &D) {
14574c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  // The '(' was already consumed.
14584c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  if (isTypeIdInParens()) {
1459cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    ParseSpecifierQualifierList(D.getMutableDeclSpec());
1460ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    D.SetSourceRange(D.getDeclSpec().getSourceRange());
1461cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl    ParseDeclarator(D);
1462eaaebc7cf10dc1a2016183a262ad3256bc468759Chris Lattner    return D.isInvalidType();
14634c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  }
14644c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
14654c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  // It's not a type, it has to be an expression list.
14664c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  // Discard the comma locations - ActOnCXXNew has enough parameters.
14674c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  CommaLocsTy CommaLocs;
14684c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  return ParseExpressionList(PlacementArgs, CommaLocs);
14694c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl}
14704c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
14714c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// ParseCXXDeleteExpression - Parse a C++ delete-expression. Delete is used
14724c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// to free memory allocated by new.
14734c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///
147459232d35f5820e334b6c8b007ae8006f4390055dChris Lattner/// This method is called to parse the 'delete' expression after the optional
147559232d35f5820e334b6c8b007ae8006f4390055dChris Lattner/// '::' has been already parsed.  If the '::' was present, "UseGlobal" is true
147659232d35f5820e334b6c8b007ae8006f4390055dChris Lattner/// and "Start" is its location.  Otherwise, "Start" is the location of the
147759232d35f5820e334b6c8b007ae8006f4390055dChris Lattner/// 'delete' token.
147859232d35f5820e334b6c8b007ae8006f4390055dChris Lattner///
14794c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///        delete-expression:
14804c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                   '::'[opt] 'delete' cast-expression
14814c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl///                   '::'[opt] 'delete' '[' ']' cast-expression
148259232d35f5820e334b6c8b007ae8006f4390055dChris LattnerParser::OwningExprResult
148359232d35f5820e334b6c8b007ae8006f4390055dChris LattnerParser::ParseCXXDeleteExpression(bool UseGlobal, SourceLocation Start) {
148459232d35f5820e334b6c8b007ae8006f4390055dChris Lattner  assert(Tok.is(tok::kw_delete) && "Expected 'delete' keyword");
148559232d35f5820e334b6c8b007ae8006f4390055dChris Lattner  ConsumeToken(); // Consume 'delete'
14864c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
14874c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  // Array delete?
14884c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  bool ArrayDelete = false;
14894c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  if (Tok.is(tok::l_square)) {
14904c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    ArrayDelete = true;
14914c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    SourceLocation LHS = ConsumeBracket();
14924c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    SourceLocation RHS = MatchRHSPunctuation(tok::r_square, LHS);
14934c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl    if (RHS.isInvalid())
149420df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl      return ExprError();
14954c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl  }
14964c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
14972f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl  OwningExprResult Operand(ParseCastExpression(false));
14980e9eabca263e8922bec0e2b38c8670eba9a39a1fSebastian Redl  if (Operand.isInvalid())
149920df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl    return move(Operand);
15004c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl
1501f53597fb16142bdb4a66901f8c0b768db4f2a548Sebastian Redl  return Actions.ActOnCXXDelete(Start, UseGlobal, ArrayDelete, move(Operand));
15024c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl}
150364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl
15041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpstatic UnaryTypeTrait UnaryTypeTraitFromTokKind(tok::TokenKind kind) {
150564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  switch(kind) {
150664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  default: assert(false && "Not a known unary type trait.");
150764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___has_nothrow_assign:      return UTT_HasNothrowAssign;
150864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___has_nothrow_copy:        return UTT_HasNothrowCopy;
150964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___has_nothrow_constructor: return UTT_HasNothrowConstructor;
151064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___has_trivial_assign:      return UTT_HasTrivialAssign;
151164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___has_trivial_copy:        return UTT_HasTrivialCopy;
151264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___has_trivial_constructor: return UTT_HasTrivialConstructor;
151364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___has_trivial_destructor:  return UTT_HasTrivialDestructor;
151464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___has_virtual_destructor:  return UTT_HasVirtualDestructor;
151564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___is_abstract:             return UTT_IsAbstract;
151664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___is_class:                return UTT_IsClass;
151764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___is_empty:                return UTT_IsEmpty;
151864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___is_enum:                 return UTT_IsEnum;
151964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___is_pod:                  return UTT_IsPOD;
152064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___is_polymorphic:          return UTT_IsPolymorphic;
152164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  case tok::kw___is_union:                return UTT_IsUnion;
1522ccf43505dbc47da041c06125f90b3bd3ac7eac97Sebastian Redl  case tok::kw___is_literal:              return UTT_IsLiteral;
152364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  }
152464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl}
152564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl
152664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// ParseUnaryTypeTrait - Parse the built-in unary type-trait
152764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// pseudo-functions that allow implementation of the TR1/C++0x type traits
152864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// templates.
152964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl///
153064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl///       primary-expression:
153164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// [GNU]             unary-type-trait '(' type-id ')'
153264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl///
15331eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpParser::OwningExprResult Parser::ParseUnaryTypeTrait() {
153464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  UnaryTypeTrait UTT = UnaryTypeTraitFromTokKind(Tok.getKind());
153564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  SourceLocation Loc = ConsumeToken();
153664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl
153764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  SourceLocation LParen = Tok.getLocation();
153864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  if (ExpectAndConsume(tok::l_paren, diag::err_expected_lparen))
153964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl    return ExprError();
154064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl
154164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  // FIXME: Error reporting absolutely sucks! If the this fails to parse a type
154264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  // there will be cryptic errors about mismatched parentheses and missing
154364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  // specifiers.
1544809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor  TypeResult Ty = ParseTypeName();
154564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl
154664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl  SourceLocation RParen = MatchRHSPunctuation(tok::r_paren, LParen);
154764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl
1548809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor  if (Ty.isInvalid())
1549809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor    return ExprError();
1550809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor
1551809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor  return Actions.ActOnUnaryTypeTrait(UTT, Loc, LParen, Ty.get(), RParen);
155264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl}
1553f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis
1554f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis/// ParseCXXAmbiguousParenExpression - We have parsed the left paren of a
1555f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis/// parenthesized ambiguous type-id. This uses tentative parsing to disambiguate
1556f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis/// based on the context past the parens.
1557f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios KyrtzidisParser::OwningExprResult
1558f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios KyrtzidisParser::ParseCXXAmbiguousParenExpression(ParenParseOption &ExprType,
1559f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis                                         TypeTy *&CastTy,
1560f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis                                         SourceLocation LParenLoc,
1561f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis                                         SourceLocation &RParenLoc) {
1562f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  assert(getLang().CPlusPlus && "Should only be called for C++!");
1563f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  assert(ExprType == CastExpr && "Compound literals are not ambiguous!");
1564f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  assert(isTypeIdInParens() && "Not a type-id!");
1565f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis
1566f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  OwningExprResult Result(Actions, true);
1567f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  CastTy = 0;
1568f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis
1569f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  // We need to disambiguate a very ugly part of the C++ syntax:
1570f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  //
1571f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  // (T())x;  - type-id
1572f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  // (T())*x; - type-id
1573f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  // (T())/x; - expression
1574f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  // (T());   - expression
1575f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  //
1576f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  // The bad news is that we cannot use the specialized tentative parser, since
1577f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  // it can only verify that the thing inside the parens can be parsed as
1578f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  // type-id, it is not useful for determining the context past the parens.
1579f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  //
1580f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  // The good news is that the parser can disambiguate this part without
1581a558a897cbe83a21914058348ffbdcf827530ad4Argyrios Kyrtzidis  // making any unnecessary Action calls.
1582f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  //
1583f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  // It uses a scheme similar to parsing inline methods. The parenthesized
1584f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  // tokens are cached, the context that follows is determined (possibly by
1585f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  // parsing a cast-expression), and then we re-introduce the cached tokens
1586f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  // into the token stream and parse them appropriately.
1587f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis
15881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  ParenParseOption ParseAs;
1589f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  CachedTokens Toks;
1590f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis
1591f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  // Store the tokens of the parentheses. We will parse them after we determine
1592f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  // the context that follows them.
1593f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  if (!ConsumeAndStoreUntil(tok::r_paren, tok::unknown, Toks, tok::semi)) {
1594f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    // We didn't find the ')' we expected.
1595f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis    MatchRHSPunctuation(tok::r_paren, LParenLoc);
1596f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis    return ExprError();
1597f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  }
1598f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis
1599f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  if (Tok.is(tok::l_brace)) {
1600f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    ParseAs = CompoundLiteral;
1601f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  } else {
1602f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    bool NotCastExpr;
1603b53f08ac87f1e1f4bc2fbfa4560c2183a82020eeEli Friedman    // FIXME: Special-case ++ and --: "(S())++;" is not a cast-expression
1604b53f08ac87f1e1f4bc2fbfa4560c2183a82020eeEli Friedman    if (Tok.is(tok::l_paren) && NextToken().is(tok::r_paren)) {
1605b53f08ac87f1e1f4bc2fbfa4560c2183a82020eeEli Friedman      NotCastExpr = true;
1606b53f08ac87f1e1f4bc2fbfa4560c2183a82020eeEli Friedman    } else {
1607b53f08ac87f1e1f4bc2fbfa4560c2183a82020eeEli Friedman      // Try parsing the cast-expression that may follow.
1608b53f08ac87f1e1f4bc2fbfa4560c2183a82020eeEli Friedman      // If it is not a cast-expression, NotCastExpr will be true and no token
1609b53f08ac87f1e1f4bc2fbfa4560c2183a82020eeEli Friedman      // will be consumed.
1610b53f08ac87f1e1f4bc2fbfa4560c2183a82020eeEli Friedman      Result = ParseCastExpression(false/*isUnaryExpression*/,
1611b53f08ac87f1e1f4bc2fbfa4560c2183a82020eeEli Friedman                                   false/*isAddressofOperand*/,
16122ef13e5abef0570a9f567b4671367275c05d4d34Nate Begeman                                   NotCastExpr, false);
1613b53f08ac87f1e1f4bc2fbfa4560c2183a82020eeEli Friedman    }
1614f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis
1615f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    // If we parsed a cast-expression, it's really a type-id, otherwise it's
1616f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    // an expression.
1617f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    ParseAs = NotCastExpr ? SimpleExpr : CastExpr;
1618f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  }
1619f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis
16201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  // The current token should go after the cached tokens.
1621f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  Toks.push_back(Tok);
1622f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  // Re-enter the stored parenthesized tokens into the token stream, so we may
1623f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  // parse them now.
1624f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  PP.EnterTokenStream(Toks.data(), Toks.size(),
1625f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis                      true/*DisableMacroExpansion*/, false/*OwnsTokens*/);
1626f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  // Drop the current token and bring the first cached one. It's the same token
1627f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  // as when we entered this function.
1628f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  ConsumeAnyToken();
1629f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis
1630f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  if (ParseAs >= CompoundLiteral) {
1631f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    TypeResult Ty = ParseTypeName();
1632f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis
1633f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    // Match the ')'.
1634f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    if (Tok.is(tok::r_paren))
1635f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis      RParenLoc = ConsumeParen();
1636f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    else
1637f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis      MatchRHSPunctuation(tok::r_paren, LParenLoc);
1638f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis
1639f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    if (ParseAs == CompoundLiteral) {
1640f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis      ExprType = CompoundLiteral;
1641f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis      return ParseCompoundLiteralExpression(Ty.get(), LParenLoc, RParenLoc);
1642f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    }
16431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1644f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    // We parsed '(' type-id ')' and the thing after it wasn't a '{'.
1645f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    assert(ParseAs == CastExpr);
1646f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis
1647f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    if (Ty.isInvalid())
1648f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis      return ExprError();
1649f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis
1650f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis    CastTy = Ty.get();
1651f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis
1652f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis    // Result is what ParseCastExpression returned earlier.
1653f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis    if (!Result.isInvalid())
16541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump      Result = Actions.ActOnCastExpr(CurScope, LParenLoc, CastTy, RParenLoc,
16552ef13e5abef0570a9f567b4671367275c05d4d34Nate Begeman                                     move(Result));
1656f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis    return move(Result);
1657f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  }
16581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1659f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  // Not a compound literal, and not followed by a cast-expression.
1660f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  assert(ParseAs == SimpleExpr);
1661f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis
1662f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  ExprType = SimpleExpr;
1663f40882a38baf258fa10e362003f6939a590074bbArgyrios Kyrtzidis  Result = ParseExpression();
1664f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  if (!Result.isInvalid() && Tok.is(tok::r_paren))
1665f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis    Result = Actions.ActOnParenExpr(LParenLoc, Tok.getLocation(), move(Result));
1666f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis
1667f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  // Match the ')'.
1668f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  if (Result.isInvalid()) {
1669f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis    SkipUntil(tok::r_paren);
1670f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis    return ExprError();
1671f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  }
16721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1673f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  if (Tok.is(tok::r_paren))
1674f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis    RParenLoc = ConsumeParen();
1675f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  else
1676f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis    MatchRHSPunctuation(tok::r_paren, LParenLoc);
1677f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis
1678f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis  return move(Result);
1679f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis}
1680