19b3f38f9SIlya Biryukov //===- BuildTree.cpp ------------------------------------------*- C++ -*-=====// 29b3f38f9SIlya Biryukov // 39b3f38f9SIlya Biryukov // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 49b3f38f9SIlya Biryukov // See https://llvm.org/LICENSE.txt for license information. 59b3f38f9SIlya Biryukov // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 69b3f38f9SIlya Biryukov // 79b3f38f9SIlya Biryukov //===----------------------------------------------------------------------===// 89b3f38f9SIlya Biryukov #include "clang/Tooling/Syntax/BuildTree.h" 97d382dcdSMarcel Hlopko #include "clang/AST/ASTFwd.h" 10e702bdb8SIlya Biryukov #include "clang/AST/Decl.h" 11e702bdb8SIlya Biryukov #include "clang/AST/DeclBase.h" 127d382dcdSMarcel Hlopko #include "clang/AST/DeclCXX.h" 137d382dcdSMarcel Hlopko #include "clang/AST/DeclarationName.h" 143785eb83SEduardo Caldas #include "clang/AST/Expr.h" 15ea8bba7eSEduardo Caldas #include "clang/AST/ExprCXX.h" 169b3f38f9SIlya Biryukov #include "clang/AST/RecursiveASTVisitor.h" 179b3f38f9SIlya Biryukov #include "clang/AST/Stmt.h" 187d382dcdSMarcel Hlopko #include "clang/AST/TypeLoc.h" 197d382dcdSMarcel Hlopko #include "clang/AST/TypeLocVisitor.h" 209b3f38f9SIlya Biryukov #include "clang/Basic/LLVM.h" 219b3f38f9SIlya Biryukov #include "clang/Basic/SourceLocation.h" 229b3f38f9SIlya Biryukov #include "clang/Basic/SourceManager.h" 2388bf9b3dSMarcel Hlopko #include "clang/Basic/Specifiers.h" 249b3f38f9SIlya Biryukov #include "clang/Basic/TokenKinds.h" 259b3f38f9SIlya Biryukov #include "clang/Lex/Lexer.h" 261db5b348SEduardo Caldas #include "clang/Lex/LiteralSupport.h" 279b3f38f9SIlya Biryukov #include "clang/Tooling/Syntax/Nodes.h" 289b3f38f9SIlya Biryukov #include "clang/Tooling/Syntax/Tokens.h" 299b3f38f9SIlya Biryukov #include "clang/Tooling/Syntax/Tree.h" 309b3f38f9SIlya Biryukov #include "llvm/ADT/ArrayRef.h" 31a711a3a4SMarcel Hlopko #include "llvm/ADT/DenseMap.h" 32a711a3a4SMarcel Hlopko #include "llvm/ADT/PointerUnion.h" 339b3f38f9SIlya Biryukov #include "llvm/ADT/STLExtras.h" 347d382dcdSMarcel Hlopko #include "llvm/ADT/ScopeExit.h" 359b3f38f9SIlya Biryukov #include "llvm/ADT/SmallVector.h" 369b3f38f9SIlya Biryukov #include "llvm/Support/Allocator.h" 379b3f38f9SIlya Biryukov #include "llvm/Support/Casting.h" 3896065cf7SIlya Biryukov #include "llvm/Support/Compiler.h" 399b3f38f9SIlya Biryukov #include "llvm/Support/FormatVariadic.h" 401ad15046SIlya Biryukov #include "llvm/Support/MemoryBuffer.h" 419b3f38f9SIlya Biryukov #include "llvm/Support/raw_ostream.h" 42a711a3a4SMarcel Hlopko #include <cstddef> 439b3f38f9SIlya Biryukov #include <map> 449b3f38f9SIlya Biryukov 459b3f38f9SIlya Biryukov using namespace clang; 469b3f38f9SIlya Biryukov 4796065cf7SIlya Biryukov LLVM_ATTRIBUTE_UNUSED 48ba41a0f7SEduardo Caldas static bool isImplicitExpr(Expr *E) { return E->IgnoreImplicit() != E; } 4958fa50f4SIlya Biryukov 507d382dcdSMarcel Hlopko namespace { 517d382dcdSMarcel Hlopko /// Get start location of the Declarator from the TypeLoc. 527d382dcdSMarcel Hlopko /// E.g.: 537d382dcdSMarcel Hlopko /// loc of `(` in `int (a)` 547d382dcdSMarcel Hlopko /// loc of `*` in `int *(a)` 557d382dcdSMarcel Hlopko /// loc of the first `(` in `int (*a)(int)` 567d382dcdSMarcel Hlopko /// loc of the `*` in `int *(a)(int)` 577d382dcdSMarcel Hlopko /// loc of the first `*` in `const int *const *volatile a;` 587d382dcdSMarcel Hlopko /// 597d382dcdSMarcel Hlopko /// It is non-trivial to get the start location because TypeLocs are stored 607d382dcdSMarcel Hlopko /// inside out. In the example above `*volatile` is the TypeLoc returned 617d382dcdSMarcel Hlopko /// by `Decl.getTypeSourceInfo()`, and `*const` is what `.getPointeeLoc()` 627d382dcdSMarcel Hlopko /// returns. 637d382dcdSMarcel Hlopko struct GetStartLoc : TypeLocVisitor<GetStartLoc, SourceLocation> { 647d382dcdSMarcel Hlopko SourceLocation VisitParenTypeLoc(ParenTypeLoc T) { 657d382dcdSMarcel Hlopko auto L = Visit(T.getInnerLoc()); 667d382dcdSMarcel Hlopko if (L.isValid()) 677d382dcdSMarcel Hlopko return L; 687d382dcdSMarcel Hlopko return T.getLParenLoc(); 697d382dcdSMarcel Hlopko } 707d382dcdSMarcel Hlopko 717d382dcdSMarcel Hlopko // Types spelled in the prefix part of the declarator. 727d382dcdSMarcel Hlopko SourceLocation VisitPointerTypeLoc(PointerTypeLoc T) { 737d382dcdSMarcel Hlopko return HandlePointer(T); 747d382dcdSMarcel Hlopko } 757d382dcdSMarcel Hlopko 767d382dcdSMarcel Hlopko SourceLocation VisitMemberPointerTypeLoc(MemberPointerTypeLoc T) { 777d382dcdSMarcel Hlopko return HandlePointer(T); 787d382dcdSMarcel Hlopko } 797d382dcdSMarcel Hlopko 807d382dcdSMarcel Hlopko SourceLocation VisitBlockPointerTypeLoc(BlockPointerTypeLoc T) { 817d382dcdSMarcel Hlopko return HandlePointer(T); 827d382dcdSMarcel Hlopko } 837d382dcdSMarcel Hlopko 847d382dcdSMarcel Hlopko SourceLocation VisitReferenceTypeLoc(ReferenceTypeLoc T) { 857d382dcdSMarcel Hlopko return HandlePointer(T); 867d382dcdSMarcel Hlopko } 877d382dcdSMarcel Hlopko 887d382dcdSMarcel Hlopko SourceLocation VisitObjCObjectPointerTypeLoc(ObjCObjectPointerTypeLoc T) { 897d382dcdSMarcel Hlopko return HandlePointer(T); 907d382dcdSMarcel Hlopko } 917d382dcdSMarcel Hlopko 927d382dcdSMarcel Hlopko // All other cases are not important, as they are either part of declaration 937d382dcdSMarcel Hlopko // specifiers (e.g. inheritors of TypeSpecTypeLoc) or introduce modifiers on 947d382dcdSMarcel Hlopko // existing declarators (e.g. QualifiedTypeLoc). They cannot start the 957d382dcdSMarcel Hlopko // declarator themselves, but their underlying type can. 967d382dcdSMarcel Hlopko SourceLocation VisitTypeLoc(TypeLoc T) { 977d382dcdSMarcel Hlopko auto N = T.getNextTypeLoc(); 987d382dcdSMarcel Hlopko if (!N) 997d382dcdSMarcel Hlopko return SourceLocation(); 1007d382dcdSMarcel Hlopko return Visit(N); 1017d382dcdSMarcel Hlopko } 1027d382dcdSMarcel Hlopko 1037d382dcdSMarcel Hlopko SourceLocation VisitFunctionProtoTypeLoc(FunctionProtoTypeLoc T) { 1047d382dcdSMarcel Hlopko if (T.getTypePtr()->hasTrailingReturn()) 1057d382dcdSMarcel Hlopko return SourceLocation(); // avoid recursing into the suffix of declarator. 1067d382dcdSMarcel Hlopko return VisitTypeLoc(T); 1077d382dcdSMarcel Hlopko } 1087d382dcdSMarcel Hlopko 1097d382dcdSMarcel Hlopko private: 1107d382dcdSMarcel Hlopko template <class PtrLoc> SourceLocation HandlePointer(PtrLoc T) { 1117d382dcdSMarcel Hlopko auto L = Visit(T.getPointeeLoc()); 1127d382dcdSMarcel Hlopko if (L.isValid()) 1137d382dcdSMarcel Hlopko return L; 1147d382dcdSMarcel Hlopko return T.getLocalSourceRange().getBegin(); 1157d382dcdSMarcel Hlopko } 1167d382dcdSMarcel Hlopko }; 1177d382dcdSMarcel Hlopko } // namespace 1187d382dcdSMarcel Hlopko 119ea8bba7eSEduardo Caldas static syntax::NodeKind getOperatorNodeKind(const CXXOperatorCallExpr &E) { 120ea8bba7eSEduardo Caldas switch (E.getOperator()) { 121ea8bba7eSEduardo Caldas // Comparison 122ea8bba7eSEduardo Caldas case OO_EqualEqual: 123ea8bba7eSEduardo Caldas case OO_ExclaimEqual: 124ea8bba7eSEduardo Caldas case OO_Greater: 125ea8bba7eSEduardo Caldas case OO_GreaterEqual: 126ea8bba7eSEduardo Caldas case OO_Less: 127ea8bba7eSEduardo Caldas case OO_LessEqual: 128ea8bba7eSEduardo Caldas case OO_Spaceship: 129ea8bba7eSEduardo Caldas // Assignment 130ea8bba7eSEduardo Caldas case OO_Equal: 131ea8bba7eSEduardo Caldas case OO_SlashEqual: 132ea8bba7eSEduardo Caldas case OO_PercentEqual: 133ea8bba7eSEduardo Caldas case OO_CaretEqual: 134ea8bba7eSEduardo Caldas case OO_PipeEqual: 135ea8bba7eSEduardo Caldas case OO_LessLessEqual: 136ea8bba7eSEduardo Caldas case OO_GreaterGreaterEqual: 137ea8bba7eSEduardo Caldas case OO_PlusEqual: 138ea8bba7eSEduardo Caldas case OO_MinusEqual: 139ea8bba7eSEduardo Caldas case OO_StarEqual: 140ea8bba7eSEduardo Caldas case OO_AmpEqual: 141ea8bba7eSEduardo Caldas // Binary computation 142ea8bba7eSEduardo Caldas case OO_Slash: 143ea8bba7eSEduardo Caldas case OO_Percent: 144ea8bba7eSEduardo Caldas case OO_Caret: 145ea8bba7eSEduardo Caldas case OO_Pipe: 146ea8bba7eSEduardo Caldas case OO_LessLess: 147ea8bba7eSEduardo Caldas case OO_GreaterGreater: 148ea8bba7eSEduardo Caldas case OO_AmpAmp: 149ea8bba7eSEduardo Caldas case OO_PipePipe: 150ea8bba7eSEduardo Caldas case OO_ArrowStar: 151ea8bba7eSEduardo Caldas case OO_Comma: 152ea8bba7eSEduardo Caldas return syntax::NodeKind::BinaryOperatorExpression; 153ea8bba7eSEduardo Caldas case OO_Tilde: 154ea8bba7eSEduardo Caldas case OO_Exclaim: 155ea8bba7eSEduardo Caldas return syntax::NodeKind::PrefixUnaryOperatorExpression; 156ea8bba7eSEduardo Caldas // Prefix/Postfix increment/decrement 157ea8bba7eSEduardo Caldas case OO_PlusPlus: 158ea8bba7eSEduardo Caldas case OO_MinusMinus: 159ea8bba7eSEduardo Caldas switch (E.getNumArgs()) { 160ea8bba7eSEduardo Caldas case 1: 161ea8bba7eSEduardo Caldas return syntax::NodeKind::PrefixUnaryOperatorExpression; 162ea8bba7eSEduardo Caldas case 2: 163ea8bba7eSEduardo Caldas return syntax::NodeKind::PostfixUnaryOperatorExpression; 164ea8bba7eSEduardo Caldas default: 165ea8bba7eSEduardo Caldas llvm_unreachable("Invalid number of arguments for operator"); 166ea8bba7eSEduardo Caldas } 167ea8bba7eSEduardo Caldas // Operators that can be unary or binary 168ea8bba7eSEduardo Caldas case OO_Plus: 169ea8bba7eSEduardo Caldas case OO_Minus: 170ea8bba7eSEduardo Caldas case OO_Star: 171ea8bba7eSEduardo Caldas case OO_Amp: 172ea8bba7eSEduardo Caldas switch (E.getNumArgs()) { 173ea8bba7eSEduardo Caldas case 1: 174ea8bba7eSEduardo Caldas return syntax::NodeKind::PrefixUnaryOperatorExpression; 175ea8bba7eSEduardo Caldas case 2: 176ea8bba7eSEduardo Caldas return syntax::NodeKind::BinaryOperatorExpression; 177ea8bba7eSEduardo Caldas default: 178ea8bba7eSEduardo Caldas llvm_unreachable("Invalid number of arguments for operator"); 179ea8bba7eSEduardo Caldas } 180ea8bba7eSEduardo Caldas return syntax::NodeKind::BinaryOperatorExpression; 181ea8bba7eSEduardo Caldas // Not yet supported by SyntaxTree 182ea8bba7eSEduardo Caldas case OO_New: 183ea8bba7eSEduardo Caldas case OO_Delete: 184ea8bba7eSEduardo Caldas case OO_Array_New: 185ea8bba7eSEduardo Caldas case OO_Array_Delete: 186ea8bba7eSEduardo Caldas case OO_Coawait: 187ea8bba7eSEduardo Caldas case OO_Call: 188ea8bba7eSEduardo Caldas case OO_Subscript: 189ea8bba7eSEduardo Caldas case OO_Arrow: 190ea8bba7eSEduardo Caldas return syntax::NodeKind::UnknownExpression; 191ea8bba7eSEduardo Caldas case OO_Conditional: // not overloadable 192ea8bba7eSEduardo Caldas case NUM_OVERLOADED_OPERATORS: 193ea8bba7eSEduardo Caldas case OO_None: 194ea8bba7eSEduardo Caldas llvm_unreachable("Not an overloadable operator"); 195ea8bba7eSEduardo Caldas } 196397c6820SSimon Pilgrim llvm_unreachable("Unknown OverloadedOperatorKind enum"); 197ea8bba7eSEduardo Caldas } 198ea8bba7eSEduardo Caldas 1997d382dcdSMarcel Hlopko /// Gets the range of declarator as defined by the C++ grammar. E.g. 2007d382dcdSMarcel Hlopko /// `int a;` -> range of `a`, 2017d382dcdSMarcel Hlopko /// `int *a;` -> range of `*a`, 2027d382dcdSMarcel Hlopko /// `int a[10];` -> range of `a[10]`, 2037d382dcdSMarcel Hlopko /// `int a[1][2][3];` -> range of `a[1][2][3]`, 2047d382dcdSMarcel Hlopko /// `int *a = nullptr` -> range of `*a = nullptr`. 2057d382dcdSMarcel Hlopko /// FIMXE: \p Name must be a source range, e.g. for `operator+`. 2067d382dcdSMarcel Hlopko static SourceRange getDeclaratorRange(const SourceManager &SM, TypeLoc T, 2077d382dcdSMarcel Hlopko SourceLocation Name, 2087d382dcdSMarcel Hlopko SourceRange Initializer) { 2097d382dcdSMarcel Hlopko SourceLocation Start = GetStartLoc().Visit(T); 2107d382dcdSMarcel Hlopko SourceLocation End = T.getSourceRange().getEnd(); 2117d382dcdSMarcel Hlopko assert(End.isValid()); 2127d382dcdSMarcel Hlopko if (Name.isValid()) { 2137d382dcdSMarcel Hlopko if (Start.isInvalid()) 2147d382dcdSMarcel Hlopko Start = Name; 2157d382dcdSMarcel Hlopko if (SM.isBeforeInTranslationUnit(End, Name)) 2167d382dcdSMarcel Hlopko End = Name; 2177d382dcdSMarcel Hlopko } 2187d382dcdSMarcel Hlopko if (Initializer.isValid()) { 219cdce2fe5SMarcel Hlopko auto InitializerEnd = Initializer.getEnd(); 220f33c2c27SEduardo Caldas assert(SM.isBeforeInTranslationUnit(End, InitializerEnd) || 221f33c2c27SEduardo Caldas End == InitializerEnd); 222cdce2fe5SMarcel Hlopko End = InitializerEnd; 2237d382dcdSMarcel Hlopko } 2247d382dcdSMarcel Hlopko return SourceRange(Start, End); 2257d382dcdSMarcel Hlopko } 2267d382dcdSMarcel Hlopko 227a711a3a4SMarcel Hlopko namespace { 228a711a3a4SMarcel Hlopko /// All AST hierarchy roots that can be represented as pointers. 229a711a3a4SMarcel Hlopko using ASTPtr = llvm::PointerUnion<Stmt *, Decl *>; 230a711a3a4SMarcel Hlopko /// Maintains a mapping from AST to syntax tree nodes. This class will get more 231a711a3a4SMarcel Hlopko /// complicated as we support more kinds of AST nodes, e.g. TypeLocs. 232a711a3a4SMarcel Hlopko /// FIXME: expose this as public API. 233a711a3a4SMarcel Hlopko class ASTToSyntaxMapping { 234a711a3a4SMarcel Hlopko public: 235a711a3a4SMarcel Hlopko void add(ASTPtr From, syntax::Tree *To) { 236a711a3a4SMarcel Hlopko assert(To != nullptr); 237a711a3a4SMarcel Hlopko assert(!From.isNull()); 238a711a3a4SMarcel Hlopko 239a711a3a4SMarcel Hlopko bool Added = Nodes.insert({From, To}).second; 240a711a3a4SMarcel Hlopko (void)Added; 241a711a3a4SMarcel Hlopko assert(Added && "mapping added twice"); 242a711a3a4SMarcel Hlopko } 243a711a3a4SMarcel Hlopko 244a711a3a4SMarcel Hlopko syntax::Tree *find(ASTPtr P) const { return Nodes.lookup(P); } 245a711a3a4SMarcel Hlopko 246a711a3a4SMarcel Hlopko private: 247a711a3a4SMarcel Hlopko llvm::DenseMap<ASTPtr, syntax::Tree *> Nodes; 248a711a3a4SMarcel Hlopko }; 249a711a3a4SMarcel Hlopko } // namespace 250a711a3a4SMarcel Hlopko 2519b3f38f9SIlya Biryukov /// A helper class for constructing the syntax tree while traversing a clang 2529b3f38f9SIlya Biryukov /// AST. 2539b3f38f9SIlya Biryukov /// 2549b3f38f9SIlya Biryukov /// At each point of the traversal we maintain a list of pending nodes. 2559b3f38f9SIlya Biryukov /// Initially all tokens are added as pending nodes. When processing a clang AST 2569b3f38f9SIlya Biryukov /// node, the clients need to: 2579b3f38f9SIlya Biryukov /// - create a corresponding syntax node, 2589b3f38f9SIlya Biryukov /// - assign roles to all pending child nodes with 'markChild' and 2599b3f38f9SIlya Biryukov /// 'markChildToken', 2609b3f38f9SIlya Biryukov /// - replace the child nodes with the new syntax node in the pending list 2619b3f38f9SIlya Biryukov /// with 'foldNode'. 2629b3f38f9SIlya Biryukov /// 2639b3f38f9SIlya Biryukov /// Note that all children are expected to be processed when building a node. 2649b3f38f9SIlya Biryukov /// 2659b3f38f9SIlya Biryukov /// Call finalize() to finish building the tree and consume the root node. 2669b3f38f9SIlya Biryukov class syntax::TreeBuilder { 2679b3f38f9SIlya Biryukov public: 268c1bbefefSIlya Biryukov TreeBuilder(syntax::Arena &Arena) : Arena(Arena), Pending(Arena) { 269c1bbefefSIlya Biryukov for (const auto &T : Arena.tokenBuffer().expandedTokens()) 270c1bbefefSIlya Biryukov LocationToToken.insert({T.location().getRawEncoding(), &T}); 271c1bbefefSIlya Biryukov } 2729b3f38f9SIlya Biryukov 2739b3f38f9SIlya Biryukov llvm::BumpPtrAllocator &allocator() { return Arena.allocator(); } 2747d382dcdSMarcel Hlopko const SourceManager &sourceManager() const { return Arena.sourceManager(); } 2759b3f38f9SIlya Biryukov 2769b3f38f9SIlya Biryukov /// Populate children for \p New node, assuming it covers tokens from \p 2779b3f38f9SIlya Biryukov /// Range. 278ba41a0f7SEduardo Caldas void foldNode(ArrayRef<syntax::Token> Range, syntax::Tree *New, ASTPtr From) { 279a711a3a4SMarcel Hlopko assert(New); 280a711a3a4SMarcel Hlopko Pending.foldChildren(Arena, Range, New); 281a711a3a4SMarcel Hlopko if (From) 282a711a3a4SMarcel Hlopko Mapping.add(From, New); 283a711a3a4SMarcel Hlopko } 284ba41a0f7SEduardo Caldas void foldNode(ArrayRef<syntax::Token> Range, syntax::Tree *New, TypeLoc L) { 285a711a3a4SMarcel Hlopko // FIXME: add mapping for TypeLocs 286a711a3a4SMarcel Hlopko foldNode(Range, New, nullptr); 287a711a3a4SMarcel Hlopko } 2889b3f38f9SIlya Biryukov 2898abb5fb6SEduardo Caldas void foldNode(ArrayRef<syntax::Token> Range, syntax::Tree *New, 2908abb5fb6SEduardo Caldas NestedNameSpecifierLoc L) { 2918abb5fb6SEduardo Caldas // FIXME: add mapping for NestedNameSpecifierLoc 2928abb5fb6SEduardo Caldas foldNode(Range, New, nullptr); 2938abb5fb6SEduardo Caldas } 294e702bdb8SIlya Biryukov /// Notifies that we should not consume trailing semicolon when computing 295e702bdb8SIlya Biryukov /// token range of \p D. 2967d382dcdSMarcel Hlopko void noticeDeclWithoutSemicolon(Decl *D); 297e702bdb8SIlya Biryukov 29858fa50f4SIlya Biryukov /// Mark the \p Child node with a corresponding \p Role. All marked children 29958fa50f4SIlya Biryukov /// should be consumed by foldNode. 3007d382dcdSMarcel Hlopko /// When called on expressions (clang::Expr is derived from clang::Stmt), 30158fa50f4SIlya Biryukov /// wraps expressions into expression statement. 30258fa50f4SIlya Biryukov void markStmtChild(Stmt *Child, NodeRole Role); 30358fa50f4SIlya Biryukov /// Should be called for expressions in non-statement position to avoid 30458fa50f4SIlya Biryukov /// wrapping into expression statement. 30558fa50f4SIlya Biryukov void markExprChild(Expr *Child, NodeRole Role); 3069b3f38f9SIlya Biryukov /// Set role for a token starting at \p Loc. 307def65bb4SIlya Biryukov void markChildToken(SourceLocation Loc, NodeRole R); 3087d382dcdSMarcel Hlopko /// Set role for \p T. 3097d382dcdSMarcel Hlopko void markChildToken(const syntax::Token *T, NodeRole R); 3107d382dcdSMarcel Hlopko 311a711a3a4SMarcel Hlopko /// Set role for \p N. 312a711a3a4SMarcel Hlopko void markChild(syntax::Node *N, NodeRole R); 313a711a3a4SMarcel Hlopko /// Set role for the syntax node matching \p N. 314a711a3a4SMarcel Hlopko void markChild(ASTPtr N, NodeRole R); 3159b3f38f9SIlya Biryukov 3169b3f38f9SIlya Biryukov /// Finish building the tree and consume the root node. 3179b3f38f9SIlya Biryukov syntax::TranslationUnit *finalize() && { 3189b3f38f9SIlya Biryukov auto Tokens = Arena.tokenBuffer().expandedTokens(); 319bfbf6b6cSIlya Biryukov assert(!Tokens.empty()); 320bfbf6b6cSIlya Biryukov assert(Tokens.back().kind() == tok::eof); 321bfbf6b6cSIlya Biryukov 3229b3f38f9SIlya Biryukov // Build the root of the tree, consuming all the children. 3231ad15046SIlya Biryukov Pending.foldChildren(Arena, Tokens.drop_back(), 3249b3f38f9SIlya Biryukov new (Arena.allocator()) syntax::TranslationUnit); 3259b3f38f9SIlya Biryukov 3263b929fe7SIlya Biryukov auto *TU = cast<syntax::TranslationUnit>(std::move(Pending).finalize()); 3273b929fe7SIlya Biryukov TU->assertInvariantsRecursive(); 3283b929fe7SIlya Biryukov return TU; 3299b3f38f9SIlya Biryukov } 3309b3f38f9SIlya Biryukov 33188bf9b3dSMarcel Hlopko /// Finds a token starting at \p L. The token must exist if \p L is valid. 33288bf9b3dSMarcel Hlopko const syntax::Token *findToken(SourceLocation L) const; 33388bf9b3dSMarcel Hlopko 334a711a3a4SMarcel Hlopko /// Finds the syntax tokens corresponding to the \p SourceRange. 335ba41a0f7SEduardo Caldas ArrayRef<syntax::Token> getRange(SourceRange Range) const { 336a711a3a4SMarcel Hlopko assert(Range.isValid()); 337a711a3a4SMarcel Hlopko return getRange(Range.getBegin(), Range.getEnd()); 338a711a3a4SMarcel Hlopko } 339a711a3a4SMarcel Hlopko 340a711a3a4SMarcel Hlopko /// Finds the syntax tokens corresponding to the passed source locations. 3419b3f38f9SIlya Biryukov /// \p First is the start position of the first token and \p Last is the start 3429b3f38f9SIlya Biryukov /// position of the last token. 343ba41a0f7SEduardo Caldas ArrayRef<syntax::Token> getRange(SourceLocation First, 3449b3f38f9SIlya Biryukov SourceLocation Last) const { 3459b3f38f9SIlya Biryukov assert(First.isValid()); 3469b3f38f9SIlya Biryukov assert(Last.isValid()); 3479b3f38f9SIlya Biryukov assert(First == Last || 3489b3f38f9SIlya Biryukov Arena.sourceManager().isBeforeInTranslationUnit(First, Last)); 3499b3f38f9SIlya Biryukov return llvm::makeArrayRef(findToken(First), std::next(findToken(Last))); 3509b3f38f9SIlya Biryukov } 35188bf9b3dSMarcel Hlopko 352ba41a0f7SEduardo Caldas ArrayRef<syntax::Token> 35388bf9b3dSMarcel Hlopko getTemplateRange(const ClassTemplateSpecializationDecl *D) const { 354a711a3a4SMarcel Hlopko auto Tokens = getRange(D->getSourceRange()); 35588bf9b3dSMarcel Hlopko return maybeAppendSemicolon(Tokens, D); 35688bf9b3dSMarcel Hlopko } 35788bf9b3dSMarcel Hlopko 358cdce2fe5SMarcel Hlopko /// Returns true if \p D is the last declarator in a chain and is thus 359cdce2fe5SMarcel Hlopko /// reponsible for creating SimpleDeclaration for the whole chain. 360cdce2fe5SMarcel Hlopko template <class T> 361cdce2fe5SMarcel Hlopko bool isResponsibleForCreatingDeclaration(const T *D) const { 362cdce2fe5SMarcel Hlopko static_assert((std::is_base_of<DeclaratorDecl, T>::value || 363cdce2fe5SMarcel Hlopko std::is_base_of<TypedefNameDecl, T>::value), 364cdce2fe5SMarcel Hlopko "only DeclaratorDecl and TypedefNameDecl are supported."); 365cdce2fe5SMarcel Hlopko 366cdce2fe5SMarcel Hlopko const Decl *Next = D->getNextDeclInContext(); 367cdce2fe5SMarcel Hlopko 368cdce2fe5SMarcel Hlopko // There's no next sibling, this one is responsible. 369cdce2fe5SMarcel Hlopko if (Next == nullptr) { 370cdce2fe5SMarcel Hlopko return true; 371cdce2fe5SMarcel Hlopko } 372ba41a0f7SEduardo Caldas const auto *NextT = dyn_cast<T>(Next); 373cdce2fe5SMarcel Hlopko 374cdce2fe5SMarcel Hlopko // Next sibling is not the same type, this one is responsible. 375cdce2fe5SMarcel Hlopko if (NextT == nullptr) { 376cdce2fe5SMarcel Hlopko return true; 377cdce2fe5SMarcel Hlopko } 378cdce2fe5SMarcel Hlopko // Next sibling doesn't begin at the same loc, it must be a different 379cdce2fe5SMarcel Hlopko // declaration, so this declarator is responsible. 380cdce2fe5SMarcel Hlopko if (NextT->getBeginLoc() != D->getBeginLoc()) { 381cdce2fe5SMarcel Hlopko return true; 382cdce2fe5SMarcel Hlopko } 383cdce2fe5SMarcel Hlopko 384cdce2fe5SMarcel Hlopko // NextT is a member of the same declaration, and we need the last member to 385cdce2fe5SMarcel Hlopko // create declaration. This one is not responsible. 386cdce2fe5SMarcel Hlopko return false; 387cdce2fe5SMarcel Hlopko } 388cdce2fe5SMarcel Hlopko 389ba41a0f7SEduardo Caldas ArrayRef<syntax::Token> getDeclarationRange(Decl *D) { 390ba41a0f7SEduardo Caldas ArrayRef<syntax::Token> Tokens; 39188bf9b3dSMarcel Hlopko // We want to drop the template parameters for specializations. 392ba41a0f7SEduardo Caldas if (const auto *S = dyn_cast<TagDecl>(D)) 39388bf9b3dSMarcel Hlopko Tokens = getRange(S->TypeDecl::getBeginLoc(), S->getEndLoc()); 39488bf9b3dSMarcel Hlopko else 395a711a3a4SMarcel Hlopko Tokens = getRange(D->getSourceRange()); 39688bf9b3dSMarcel Hlopko return maybeAppendSemicolon(Tokens, D); 3979b3f38f9SIlya Biryukov } 398cdce2fe5SMarcel Hlopko 399ba41a0f7SEduardo Caldas ArrayRef<syntax::Token> getExprRange(const Expr *E) const { 400a711a3a4SMarcel Hlopko return getRange(E->getSourceRange()); 40158fa50f4SIlya Biryukov } 402cdce2fe5SMarcel Hlopko 40358fa50f4SIlya Biryukov /// Find the adjusted range for the statement, consuming the trailing 40458fa50f4SIlya Biryukov /// semicolon when needed. 405ba41a0f7SEduardo Caldas ArrayRef<syntax::Token> getStmtRange(const Stmt *S) const { 406a711a3a4SMarcel Hlopko auto Tokens = getRange(S->getSourceRange()); 40758fa50f4SIlya Biryukov if (isa<CompoundStmt>(S)) 40858fa50f4SIlya Biryukov return Tokens; 40958fa50f4SIlya Biryukov 41058fa50f4SIlya Biryukov // Some statements miss a trailing semicolon, e.g. 'return', 'continue' and 41158fa50f4SIlya Biryukov // all statements that end with those. Consume this semicolon here. 412e702bdb8SIlya Biryukov if (Tokens.back().kind() == tok::semi) 413e702bdb8SIlya Biryukov return Tokens; 414e702bdb8SIlya Biryukov return withTrailingSemicolon(Tokens); 415e702bdb8SIlya Biryukov } 416e702bdb8SIlya Biryukov 417e702bdb8SIlya Biryukov private: 418ba41a0f7SEduardo Caldas ArrayRef<syntax::Token> maybeAppendSemicolon(ArrayRef<syntax::Token> Tokens, 41988bf9b3dSMarcel Hlopko const Decl *D) const { 420ba41a0f7SEduardo Caldas if (isa<NamespaceDecl>(D)) 42188bf9b3dSMarcel Hlopko return Tokens; 42288bf9b3dSMarcel Hlopko if (DeclsWithoutSemicolons.count(D)) 42388bf9b3dSMarcel Hlopko return Tokens; 42488bf9b3dSMarcel Hlopko // FIXME: do not consume trailing semicolon on function definitions. 42588bf9b3dSMarcel Hlopko // Most declarations own a semicolon in syntax trees, but not in clang AST. 42688bf9b3dSMarcel Hlopko return withTrailingSemicolon(Tokens); 42788bf9b3dSMarcel Hlopko } 42888bf9b3dSMarcel Hlopko 429ba41a0f7SEduardo Caldas ArrayRef<syntax::Token> 430ba41a0f7SEduardo Caldas withTrailingSemicolon(ArrayRef<syntax::Token> Tokens) const { 431e702bdb8SIlya Biryukov assert(!Tokens.empty()); 432e702bdb8SIlya Biryukov assert(Tokens.back().kind() != tok::eof); 4337d382dcdSMarcel Hlopko // We never consume 'eof', so looking at the next token is ok. 43458fa50f4SIlya Biryukov if (Tokens.back().kind() != tok::semi && Tokens.end()->kind() == tok::semi) 43558fa50f4SIlya Biryukov return llvm::makeArrayRef(Tokens.begin(), Tokens.end() + 1); 43658fa50f4SIlya Biryukov return Tokens; 4379b3f38f9SIlya Biryukov } 4389b3f38f9SIlya Biryukov 439a711a3a4SMarcel Hlopko void setRole(syntax::Node *N, NodeRole R) { 440a711a3a4SMarcel Hlopko assert(N->role() == NodeRole::Detached); 441a711a3a4SMarcel Hlopko N->setRole(R); 442a711a3a4SMarcel Hlopko } 443a711a3a4SMarcel Hlopko 4449b3f38f9SIlya Biryukov /// A collection of trees covering the input tokens. 4459b3f38f9SIlya Biryukov /// When created, each tree corresponds to a single token in the file. 4469b3f38f9SIlya Biryukov /// Clients call 'foldChildren' to attach one or more subtrees to a parent 4479b3f38f9SIlya Biryukov /// node and update the list of trees accordingly. 4489b3f38f9SIlya Biryukov /// 4499b3f38f9SIlya Biryukov /// Ensures that added nodes properly nest and cover the whole token stream. 4509b3f38f9SIlya Biryukov struct Forest { 4519b3f38f9SIlya Biryukov Forest(syntax::Arena &A) { 452bfbf6b6cSIlya Biryukov assert(!A.tokenBuffer().expandedTokens().empty()); 453bfbf6b6cSIlya Biryukov assert(A.tokenBuffer().expandedTokens().back().kind() == tok::eof); 4549b3f38f9SIlya Biryukov // Create all leaf nodes. 455bfbf6b6cSIlya Biryukov // Note that we do not have 'eof' in the tree. 4561ad15046SIlya Biryukov for (auto &T : A.tokenBuffer().expandedTokens().drop_back()) { 4571ad15046SIlya Biryukov auto *L = new (A.allocator()) syntax::Leaf(&T); 4581ad15046SIlya Biryukov L->Original = true; 4591ad15046SIlya Biryukov L->CanModify = A.tokenBuffer().spelledForExpanded(T).hasValue(); 460a711a3a4SMarcel Hlopko Trees.insert(Trees.end(), {&T, L}); 4611ad15046SIlya Biryukov } 4629b3f38f9SIlya Biryukov } 4639b3f38f9SIlya Biryukov 464ba41a0f7SEduardo Caldas void assignRole(ArrayRef<syntax::Token> Range, syntax::NodeRole Role) { 4659b3f38f9SIlya Biryukov assert(!Range.empty()); 4669b3f38f9SIlya Biryukov auto It = Trees.lower_bound(Range.begin()); 4679b3f38f9SIlya Biryukov assert(It != Trees.end() && "no node found"); 4689b3f38f9SIlya Biryukov assert(It->first == Range.begin() && "no child with the specified range"); 4699b3f38f9SIlya Biryukov assert((std::next(It) == Trees.end() || 4709b3f38f9SIlya Biryukov std::next(It)->first == Range.end()) && 4719b3f38f9SIlya Biryukov "no child with the specified range"); 472a711a3a4SMarcel Hlopko assert(It->second->role() == NodeRole::Detached && 473a711a3a4SMarcel Hlopko "re-assigning role for a child"); 474a711a3a4SMarcel Hlopko It->second->setRole(Role); 4759b3f38f9SIlya Biryukov } 4769b3f38f9SIlya Biryukov 477e702bdb8SIlya Biryukov /// Add \p Node to the forest and attach child nodes based on \p Tokens. 478ba41a0f7SEduardo Caldas void foldChildren(const syntax::Arena &A, ArrayRef<syntax::Token> Tokens, 4799b3f38f9SIlya Biryukov syntax::Tree *Node) { 480e702bdb8SIlya Biryukov // Attach children to `Node`. 481cdce2fe5SMarcel Hlopko assert(Node->firstChild() == nullptr && "node already has children"); 482cdce2fe5SMarcel Hlopko 483cdce2fe5SMarcel Hlopko auto *FirstToken = Tokens.begin(); 484cdce2fe5SMarcel Hlopko auto BeginChildren = Trees.lower_bound(FirstToken); 485cdce2fe5SMarcel Hlopko 486cdce2fe5SMarcel Hlopko assert((BeginChildren == Trees.end() || 487cdce2fe5SMarcel Hlopko BeginChildren->first == FirstToken) && 488cdce2fe5SMarcel Hlopko "fold crosses boundaries of existing subtrees"); 489cdce2fe5SMarcel Hlopko auto EndChildren = Trees.lower_bound(Tokens.end()); 490cdce2fe5SMarcel Hlopko assert( 491cdce2fe5SMarcel Hlopko (EndChildren == Trees.end() || EndChildren->first == Tokens.end()) && 492cdce2fe5SMarcel Hlopko "fold crosses boundaries of existing subtrees"); 493cdce2fe5SMarcel Hlopko 494cdce2fe5SMarcel Hlopko // We need to go in reverse order, because we can only prepend. 495cdce2fe5SMarcel Hlopko for (auto It = EndChildren; It != BeginChildren; --It) { 496cdce2fe5SMarcel Hlopko auto *C = std::prev(It)->second; 497cdce2fe5SMarcel Hlopko if (C->role() == NodeRole::Detached) 498cdce2fe5SMarcel Hlopko C->setRole(NodeRole::Unknown); 499cdce2fe5SMarcel Hlopko Node->prependChildLowLevel(C); 500e702bdb8SIlya Biryukov } 5019b3f38f9SIlya Biryukov 502cdce2fe5SMarcel Hlopko // Mark that this node came from the AST and is backed by the source code. 503cdce2fe5SMarcel Hlopko Node->Original = true; 504cdce2fe5SMarcel Hlopko Node->CanModify = A.tokenBuffer().spelledForExpanded(Tokens).hasValue(); 5059b3f38f9SIlya Biryukov 506cdce2fe5SMarcel Hlopko Trees.erase(BeginChildren, EndChildren); 507cdce2fe5SMarcel Hlopko Trees.insert({FirstToken, Node}); 5089b3f38f9SIlya Biryukov } 5099b3f38f9SIlya Biryukov 5109b3f38f9SIlya Biryukov // EXPECTS: all tokens were consumed and are owned by a single root node. 5119b3f38f9SIlya Biryukov syntax::Node *finalize() && { 5129b3f38f9SIlya Biryukov assert(Trees.size() == 1); 513a711a3a4SMarcel Hlopko auto *Root = Trees.begin()->second; 5149b3f38f9SIlya Biryukov Trees = {}; 5159b3f38f9SIlya Biryukov return Root; 5169b3f38f9SIlya Biryukov } 5179b3f38f9SIlya Biryukov 5189b3f38f9SIlya Biryukov std::string str(const syntax::Arena &A) const { 5199b3f38f9SIlya Biryukov std::string R; 5209b3f38f9SIlya Biryukov for (auto It = Trees.begin(); It != Trees.end(); ++It) { 5219b3f38f9SIlya Biryukov unsigned CoveredTokens = 5229b3f38f9SIlya Biryukov It != Trees.end() 5239b3f38f9SIlya Biryukov ? (std::next(It)->first - It->first) 5249b3f38f9SIlya Biryukov : A.tokenBuffer().expandedTokens().end() - It->first; 5259b3f38f9SIlya Biryukov 526ba41a0f7SEduardo Caldas R += std::string( 527ba41a0f7SEduardo Caldas formatv("- '{0}' covers '{1}'+{2} tokens\n", It->second->kind(), 528adcd0268SBenjamin Kramer It->first->text(A.sourceManager()), CoveredTokens)); 529a711a3a4SMarcel Hlopko R += It->second->dump(A); 5309b3f38f9SIlya Biryukov } 5319b3f38f9SIlya Biryukov return R; 5329b3f38f9SIlya Biryukov } 5339b3f38f9SIlya Biryukov 5349b3f38f9SIlya Biryukov private: 5359b3f38f9SIlya Biryukov /// Maps from the start token to a subtree starting at that token. 536302cb3bcSIlya Biryukov /// Keys in the map are pointers into the array of expanded tokens, so 537302cb3bcSIlya Biryukov /// pointer order corresponds to the order of preprocessor tokens. 538a711a3a4SMarcel Hlopko std::map<const syntax::Token *, syntax::Node *> Trees; 5399b3f38f9SIlya Biryukov }; 5409b3f38f9SIlya Biryukov 5419b3f38f9SIlya Biryukov /// For debugging purposes. 5429b3f38f9SIlya Biryukov std::string str() { return Pending.str(Arena); } 5439b3f38f9SIlya Biryukov 5449b3f38f9SIlya Biryukov syntax::Arena &Arena; 545c1bbefefSIlya Biryukov /// To quickly find tokens by their start location. 546c1bbefefSIlya Biryukov llvm::DenseMap</*SourceLocation*/ unsigned, const syntax::Token *> 547c1bbefefSIlya Biryukov LocationToToken; 5489b3f38f9SIlya Biryukov Forest Pending; 549e702bdb8SIlya Biryukov llvm::DenseSet<Decl *> DeclsWithoutSemicolons; 550a711a3a4SMarcel Hlopko ASTToSyntaxMapping Mapping; 5519b3f38f9SIlya Biryukov }; 5529b3f38f9SIlya Biryukov 5539b3f38f9SIlya Biryukov namespace { 5549b3f38f9SIlya Biryukov class BuildTreeVisitor : public RecursiveASTVisitor<BuildTreeVisitor> { 5559b3f38f9SIlya Biryukov public: 5561db5b348SEduardo Caldas explicit BuildTreeVisitor(ASTContext &Context, syntax::TreeBuilder &Builder) 5571db5b348SEduardo Caldas : Builder(Builder), Context(Context) {} 5589b3f38f9SIlya Biryukov 5599b3f38f9SIlya Biryukov bool shouldTraversePostOrder() const { return true; } 5609b3f38f9SIlya Biryukov 5617d382dcdSMarcel Hlopko bool WalkUpFromDeclaratorDecl(DeclaratorDecl *DD) { 562cdce2fe5SMarcel Hlopko return processDeclaratorAndDeclaration(DD); 5637d382dcdSMarcel Hlopko } 5647d382dcdSMarcel Hlopko 565cdce2fe5SMarcel Hlopko bool WalkUpFromTypedefNameDecl(TypedefNameDecl *TD) { 566cdce2fe5SMarcel Hlopko return processDeclaratorAndDeclaration(TD); 5679b3f38f9SIlya Biryukov } 5689b3f38f9SIlya Biryukov 5699b3f38f9SIlya Biryukov bool VisitDecl(Decl *D) { 5709b3f38f9SIlya Biryukov assert(!D->isImplicit()); 571cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getDeclarationRange(D), 572a711a3a4SMarcel Hlopko new (allocator()) syntax::UnknownDeclaration(), D); 573e702bdb8SIlya Biryukov return true; 574e702bdb8SIlya Biryukov } 575e702bdb8SIlya Biryukov 57688bf9b3dSMarcel Hlopko // RAV does not call WalkUpFrom* on explicit instantiations, so we have to 57788bf9b3dSMarcel Hlopko // override Traverse. 57888bf9b3dSMarcel Hlopko // FIXME: make RAV call WalkUpFrom* instead. 57988bf9b3dSMarcel Hlopko bool 58088bf9b3dSMarcel Hlopko TraverseClassTemplateSpecializationDecl(ClassTemplateSpecializationDecl *C) { 58188bf9b3dSMarcel Hlopko if (!RecursiveASTVisitor::TraverseClassTemplateSpecializationDecl(C)) 58288bf9b3dSMarcel Hlopko return false; 58388bf9b3dSMarcel Hlopko if (C->isExplicitSpecialization()) 58488bf9b3dSMarcel Hlopko return true; // we are only interested in explicit instantiations. 585a711a3a4SMarcel Hlopko auto *Declaration = 586a711a3a4SMarcel Hlopko cast<syntax::SimpleDeclaration>(handleFreeStandingTagDecl(C)); 58788bf9b3dSMarcel Hlopko foldExplicitTemplateInstantiation( 58888bf9b3dSMarcel Hlopko Builder.getTemplateRange(C), Builder.findToken(C->getExternLoc()), 589a711a3a4SMarcel Hlopko Builder.findToken(C->getTemplateKeywordLoc()), Declaration, C); 59088bf9b3dSMarcel Hlopko return true; 59188bf9b3dSMarcel Hlopko } 59288bf9b3dSMarcel Hlopko 59388bf9b3dSMarcel Hlopko bool WalkUpFromTemplateDecl(TemplateDecl *S) { 59488bf9b3dSMarcel Hlopko foldTemplateDeclaration( 595cdce2fe5SMarcel Hlopko Builder.getDeclarationRange(S), 59688bf9b3dSMarcel Hlopko Builder.findToken(S->getTemplateParameters()->getTemplateLoc()), 597cdce2fe5SMarcel Hlopko Builder.getDeclarationRange(S->getTemplatedDecl()), S); 59888bf9b3dSMarcel Hlopko return true; 59988bf9b3dSMarcel Hlopko } 60088bf9b3dSMarcel Hlopko 601e702bdb8SIlya Biryukov bool WalkUpFromTagDecl(TagDecl *C) { 60204f627f6SIlya Biryukov // FIXME: build the ClassSpecifier node. 60388bf9b3dSMarcel Hlopko if (!C->isFreeStanding()) { 60488bf9b3dSMarcel Hlopko assert(C->getNumTemplateParameterLists() == 0); 60504f627f6SIlya Biryukov return true; 60604f627f6SIlya Biryukov } 607a711a3a4SMarcel Hlopko handleFreeStandingTagDecl(C); 608a711a3a4SMarcel Hlopko return true; 609a711a3a4SMarcel Hlopko } 610a711a3a4SMarcel Hlopko 611a711a3a4SMarcel Hlopko syntax::Declaration *handleFreeStandingTagDecl(TagDecl *C) { 612a711a3a4SMarcel Hlopko assert(C->isFreeStanding()); 61388bf9b3dSMarcel Hlopko // Class is a declaration specifier and needs a spanning declaration node. 614cdce2fe5SMarcel Hlopko auto DeclarationRange = Builder.getDeclarationRange(C); 615a711a3a4SMarcel Hlopko syntax::Declaration *Result = new (allocator()) syntax::SimpleDeclaration; 616a711a3a4SMarcel Hlopko Builder.foldNode(DeclarationRange, Result, nullptr); 61788bf9b3dSMarcel Hlopko 61888bf9b3dSMarcel Hlopko // Build TemplateDeclaration nodes if we had template parameters. 61988bf9b3dSMarcel Hlopko auto ConsumeTemplateParameters = [&](const TemplateParameterList &L) { 62088bf9b3dSMarcel Hlopko const auto *TemplateKW = Builder.findToken(L.getTemplateLoc()); 62188bf9b3dSMarcel Hlopko auto R = llvm::makeArrayRef(TemplateKW, DeclarationRange.end()); 622a711a3a4SMarcel Hlopko Result = 623a711a3a4SMarcel Hlopko foldTemplateDeclaration(R, TemplateKW, DeclarationRange, nullptr); 62488bf9b3dSMarcel Hlopko DeclarationRange = R; 62588bf9b3dSMarcel Hlopko }; 626ba41a0f7SEduardo Caldas if (auto *S = dyn_cast<ClassTemplatePartialSpecializationDecl>(C)) 62788bf9b3dSMarcel Hlopko ConsumeTemplateParameters(*S->getTemplateParameters()); 62888bf9b3dSMarcel Hlopko for (unsigned I = C->getNumTemplateParameterLists(); 0 < I; --I) 62988bf9b3dSMarcel Hlopko ConsumeTemplateParameters(*C->getTemplateParameterList(I - 1)); 630a711a3a4SMarcel Hlopko return Result; 6319b3f38f9SIlya Biryukov } 6329b3f38f9SIlya Biryukov 6339b3f38f9SIlya Biryukov bool WalkUpFromTranslationUnitDecl(TranslationUnitDecl *TU) { 6347d382dcdSMarcel Hlopko // We do not want to call VisitDecl(), the declaration for translation 6359b3f38f9SIlya Biryukov // unit is built by finalize(). 6369b3f38f9SIlya Biryukov return true; 6379b3f38f9SIlya Biryukov } 6389b3f38f9SIlya Biryukov 6399b3f38f9SIlya Biryukov bool WalkUpFromCompoundStmt(CompoundStmt *S) { 64051dad419SIlya Biryukov using NodeRole = syntax::NodeRole; 6419b3f38f9SIlya Biryukov 642def65bb4SIlya Biryukov Builder.markChildToken(S->getLBracLoc(), NodeRole::OpenParen); 64358fa50f4SIlya Biryukov for (auto *Child : S->body()) 64458fa50f4SIlya Biryukov Builder.markStmtChild(Child, NodeRole::CompoundStatement_statement); 645def65bb4SIlya Biryukov Builder.markChildToken(S->getRBracLoc(), NodeRole::CloseParen); 6469b3f38f9SIlya Biryukov 64758fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 648a711a3a4SMarcel Hlopko new (allocator()) syntax::CompoundStatement, S); 6499b3f38f9SIlya Biryukov return true; 6509b3f38f9SIlya Biryukov } 6519b3f38f9SIlya Biryukov 65258fa50f4SIlya Biryukov // Some statements are not yet handled by syntax trees. 65358fa50f4SIlya Biryukov bool WalkUpFromStmt(Stmt *S) { 65458fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 655a711a3a4SMarcel Hlopko new (allocator()) syntax::UnknownStatement, S); 65658fa50f4SIlya Biryukov return true; 65758fa50f4SIlya Biryukov } 65858fa50f4SIlya Biryukov 65958fa50f4SIlya Biryukov bool TraverseCXXForRangeStmt(CXXForRangeStmt *S) { 66058fa50f4SIlya Biryukov // We override to traverse range initializer as VarDecl. 66158fa50f4SIlya Biryukov // RAV traverses it as a statement, we produce invalid node kinds in that 66258fa50f4SIlya Biryukov // case. 66358fa50f4SIlya Biryukov // FIXME: should do this in RAV instead? 6647349479fSDmitri Gribenko bool Result = [&, this]() { 66558fa50f4SIlya Biryukov if (S->getInit() && !TraverseStmt(S->getInit())) 66658fa50f4SIlya Biryukov return false; 66758fa50f4SIlya Biryukov if (S->getLoopVariable() && !TraverseDecl(S->getLoopVariable())) 66858fa50f4SIlya Biryukov return false; 66958fa50f4SIlya Biryukov if (S->getRangeInit() && !TraverseStmt(S->getRangeInit())) 67058fa50f4SIlya Biryukov return false; 67158fa50f4SIlya Biryukov if (S->getBody() && !TraverseStmt(S->getBody())) 67258fa50f4SIlya Biryukov return false; 67358fa50f4SIlya Biryukov return true; 6747349479fSDmitri Gribenko }(); 6757349479fSDmitri Gribenko WalkUpFromCXXForRangeStmt(S); 6767349479fSDmitri Gribenko return Result; 67758fa50f4SIlya Biryukov } 67858fa50f4SIlya Biryukov 67958fa50f4SIlya Biryukov bool TraverseStmt(Stmt *S) { 680ba41a0f7SEduardo Caldas if (auto *DS = dyn_cast_or_null<DeclStmt>(S)) { 681e702bdb8SIlya Biryukov // We want to consume the semicolon, make sure SimpleDeclaration does not. 682e702bdb8SIlya Biryukov for (auto *D : DS->decls()) 6837d382dcdSMarcel Hlopko Builder.noticeDeclWithoutSemicolon(D); 684ba41a0f7SEduardo Caldas } else if (auto *E = dyn_cast_or_null<Expr>(S)) { 6853785eb83SEduardo Caldas return RecursiveASTVisitor::TraverseStmt(E->IgnoreImplicit()); 68658fa50f4SIlya Biryukov } 68758fa50f4SIlya Biryukov return RecursiveASTVisitor::TraverseStmt(S); 68858fa50f4SIlya Biryukov } 68958fa50f4SIlya Biryukov 69058fa50f4SIlya Biryukov // Some expressions are not yet handled by syntax trees. 69158fa50f4SIlya Biryukov bool WalkUpFromExpr(Expr *E) { 69258fa50f4SIlya Biryukov assert(!isImplicitExpr(E) && "should be handled by TraverseStmt"); 69358fa50f4SIlya Biryukov Builder.foldNode(Builder.getExprRange(E), 694a711a3a4SMarcel Hlopko new (allocator()) syntax::UnknownExpression, E); 69558fa50f4SIlya Biryukov return true; 69658fa50f4SIlya Biryukov } 69758fa50f4SIlya Biryukov 698f33c2c27SEduardo Caldas bool TraverseUserDefinedLiteral(UserDefinedLiteral *S) { 699f33c2c27SEduardo Caldas // The semantic AST node `UserDefinedLiteral` (UDL) may have one child node 700f33c2c27SEduardo Caldas // referencing the location of the UDL suffix (`_w` in `1.2_w`). The 701f33c2c27SEduardo Caldas // UDL suffix location does not point to the beginning of a token, so we 702f33c2c27SEduardo Caldas // can't represent the UDL suffix as a separate syntax tree node. 703f33c2c27SEduardo Caldas 704f33c2c27SEduardo Caldas return WalkUpFromUserDefinedLiteral(S); 705f33c2c27SEduardo Caldas } 706f33c2c27SEduardo Caldas 7071db5b348SEduardo Caldas syntax::UserDefinedLiteralExpression * 7081db5b348SEduardo Caldas buildUserDefinedLiteral(UserDefinedLiteral *S) { 709f33c2c27SEduardo Caldas switch (S->getLiteralOperatorKind()) { 710ba41a0f7SEduardo Caldas case UserDefinedLiteral::LOK_Integer: 7111db5b348SEduardo Caldas return new (allocator()) syntax::IntegerUserDefinedLiteralExpression; 712ba41a0f7SEduardo Caldas case UserDefinedLiteral::LOK_Floating: 7131db5b348SEduardo Caldas return new (allocator()) syntax::FloatUserDefinedLiteralExpression; 714ba41a0f7SEduardo Caldas case UserDefinedLiteral::LOK_Character: 7151db5b348SEduardo Caldas return new (allocator()) syntax::CharUserDefinedLiteralExpression; 716ba41a0f7SEduardo Caldas case UserDefinedLiteral::LOK_String: 7171db5b348SEduardo Caldas return new (allocator()) syntax::StringUserDefinedLiteralExpression; 718ba41a0f7SEduardo Caldas case UserDefinedLiteral::LOK_Raw: 719ba41a0f7SEduardo Caldas case UserDefinedLiteral::LOK_Template: 7201db5b348SEduardo Caldas // For raw literal operator and numeric literal operator template we 7211db5b348SEduardo Caldas // cannot get the type of the operand in the semantic AST. We get this 7221db5b348SEduardo Caldas // information from the token. As integer and floating point have the same 7231db5b348SEduardo Caldas // token kind, we run `NumericLiteralParser` again to distinguish them. 7241db5b348SEduardo Caldas auto TokLoc = S->getBeginLoc(); 7251db5b348SEduardo Caldas auto TokSpelling = 726a474d5baSEduardo Caldas Builder.findToken(TokLoc)->text(Context.getSourceManager()); 7271db5b348SEduardo Caldas auto Literal = 7281db5b348SEduardo Caldas NumericLiteralParser(TokSpelling, TokLoc, Context.getSourceManager(), 7291db5b348SEduardo Caldas Context.getLangOpts(), Context.getTargetInfo(), 7301db5b348SEduardo Caldas Context.getDiagnostics()); 7311db5b348SEduardo Caldas if (Literal.isIntegerLiteral()) 7321db5b348SEduardo Caldas return new (allocator()) syntax::IntegerUserDefinedLiteralExpression; 733a474d5baSEduardo Caldas else { 734a474d5baSEduardo Caldas assert(Literal.isFloatingLiteral()); 7351db5b348SEduardo Caldas return new (allocator()) syntax::FloatUserDefinedLiteralExpression; 736f33c2c27SEduardo Caldas } 737f33c2c27SEduardo Caldas } 738b8409c03SMichael Liao llvm_unreachable("Unknown literal operator kind."); 739a474d5baSEduardo Caldas } 740f33c2c27SEduardo Caldas 741f33c2c27SEduardo Caldas bool WalkUpFromUserDefinedLiteral(UserDefinedLiteral *S) { 742f33c2c27SEduardo Caldas Builder.markChildToken(S->getBeginLoc(), syntax::NodeRole::LiteralToken); 7431db5b348SEduardo Caldas Builder.foldNode(Builder.getExprRange(S), buildUserDefinedLiteral(S), S); 744f33c2c27SEduardo Caldas return true; 745f33c2c27SEduardo Caldas } 746f33c2c27SEduardo Caldas 7478abb5fb6SEduardo Caldas syntax::NameSpecifier *BuildNameSpecifier(const NestedNameSpecifier &NNS) { 7488abb5fb6SEduardo Caldas switch (NNS.getKind()) { 7498abb5fb6SEduardo Caldas case NestedNameSpecifier::Global: 7508abb5fb6SEduardo Caldas return new (allocator()) syntax::GlobalNameSpecifier; 7518abb5fb6SEduardo Caldas case NestedNameSpecifier::Namespace: 7528abb5fb6SEduardo Caldas case NestedNameSpecifier::NamespaceAlias: 7538abb5fb6SEduardo Caldas case NestedNameSpecifier::Identifier: 7548abb5fb6SEduardo Caldas return new (allocator()) syntax::IdentifierNameSpecifier; 7558abb5fb6SEduardo Caldas case NestedNameSpecifier::TypeSpecWithTemplate: 7568abb5fb6SEduardo Caldas return new (allocator()) syntax::SimpleTemplateNameSpecifier; 7578abb5fb6SEduardo Caldas case NestedNameSpecifier::TypeSpec: { 7588abb5fb6SEduardo Caldas const auto *NNSType = NNS.getAsType(); 7598abb5fb6SEduardo Caldas assert(NNSType); 7608abb5fb6SEduardo Caldas if (isa<DecltypeType>(NNSType)) 7618abb5fb6SEduardo Caldas return new (allocator()) syntax::DecltypeNameSpecifier; 7628abb5fb6SEduardo Caldas if (isa<TemplateSpecializationType, DependentTemplateSpecializationType>( 7638abb5fb6SEduardo Caldas NNSType)) 7648abb5fb6SEduardo Caldas return new (allocator()) syntax::SimpleTemplateNameSpecifier; 7658abb5fb6SEduardo Caldas return new (allocator()) syntax::IdentifierNameSpecifier; 7668abb5fb6SEduardo Caldas } 7678abb5fb6SEduardo Caldas case NestedNameSpecifier::Super: 7688abb5fb6SEduardo Caldas // FIXME: Support Microsoft's __super 7698abb5fb6SEduardo Caldas llvm::report_fatal_error("We don't yet support the __super specifier", 7708abb5fb6SEduardo Caldas true); 7718abb5fb6SEduardo Caldas } 772090f9d5aSSimon Pilgrim llvm_unreachable("Unhandled NestedNameSpecifier::SpecifierKind enum"); 7738abb5fb6SEduardo Caldas } 7748abb5fb6SEduardo Caldas 7758abb5fb6SEduardo Caldas // FIXME: Fix `NestedNameSpecifierLoc::getLocalSourceRange` for the 7768abb5fb6SEduardo Caldas // `DependentTemplateSpecializationType` case. 7778abb5fb6SEduardo Caldas /// Given a nested-name-specifier return the range for the last name specifier 7788abb5fb6SEduardo Caldas /// 7798abb5fb6SEduardo Caldas /// e.g. `std::T::template X<U>::` => `template X<U>::` 7808abb5fb6SEduardo Caldas SourceRange getLocalSourceRange(const NestedNameSpecifierLoc &NNSLoc) { 7818abb5fb6SEduardo Caldas auto SR = NNSLoc.getLocalSourceRange(); 7828abb5fb6SEduardo Caldas 7838abb5fb6SEduardo Caldas // The method `NestedNameSpecifierLoc::getLocalSourceRange` *should* return 7848abb5fb6SEduardo Caldas // the desired `SourceRange`, but there is a corner 7858abb5fb6SEduardo Caldas // case. For a `DependentTemplateSpecializationType` this method returns its 7868abb5fb6SEduardo Caldas // qualifiers as well, in other words in the example above this method 7878abb5fb6SEduardo Caldas // returns `T::template X<U>::` instead of only `template X<U>::` 7888abb5fb6SEduardo Caldas if (auto TL = NNSLoc.getTypeLoc()) { 7898abb5fb6SEduardo Caldas if (auto DependentTL = 7908abb5fb6SEduardo Caldas TL.getAs<DependentTemplateSpecializationTypeLoc>()) { 7918abb5fb6SEduardo Caldas // The 'template' keyword is always present in dependent template 7928abb5fb6SEduardo Caldas // specializations. Except in the case of incorrect code 7938abb5fb6SEduardo Caldas // TODO: Treat the case of incorrect code. 7948abb5fb6SEduardo Caldas SR.setBegin(DependentTL.getTemplateKeywordLoc()); 7958abb5fb6SEduardo Caldas } 7968abb5fb6SEduardo Caldas } 7978abb5fb6SEduardo Caldas 7988abb5fb6SEduardo Caldas return SR; 7998abb5fb6SEduardo Caldas } 8008abb5fb6SEduardo Caldas 8018abb5fb6SEduardo Caldas syntax::NestedNameSpecifier * 8028abb5fb6SEduardo Caldas BuildNestedNameSpecifier(const NestedNameSpecifierLoc &QualifierLoc) { 8038abb5fb6SEduardo Caldas if (!QualifierLoc) 8048abb5fb6SEduardo Caldas return nullptr; 8058abb5fb6SEduardo Caldas for (auto it = QualifierLoc; it; it = it.getPrefix()) { 8068abb5fb6SEduardo Caldas assert(it.hasQualifier()); 8078abb5fb6SEduardo Caldas auto *NS = BuildNameSpecifier(*it.getNestedNameSpecifier()); 8088abb5fb6SEduardo Caldas assert(NS); 8098abb5fb6SEduardo Caldas if (!isa<syntax::GlobalNameSpecifier>(NS)) 8108abb5fb6SEduardo Caldas Builder.foldNode(Builder.getRange(getLocalSourceRange(it)).drop_back(), 8118abb5fb6SEduardo Caldas NS, it); 812*fdbd5996SEduardo Caldas Builder.markChild(NS, syntax::NodeRole::List_element); 813*fdbd5996SEduardo Caldas Builder.markChildToken(it.getEndLoc(), syntax::NodeRole::List_delimiter); 8148abb5fb6SEduardo Caldas } 8158abb5fb6SEduardo Caldas auto *NNS = new (allocator()) syntax::NestedNameSpecifier; 8168abb5fb6SEduardo Caldas Builder.foldNode(Builder.getRange(QualifierLoc.getSourceRange()), NNS, 8178abb5fb6SEduardo Caldas QualifierLoc); 8188abb5fb6SEduardo Caldas return NNS; 8198abb5fb6SEduardo Caldas } 8208abb5fb6SEduardo Caldas 8211b2f6b4aSEduardo Caldas bool WalkUpFromDeclRefExpr(DeclRefExpr *S) { 8228abb5fb6SEduardo Caldas auto *Qualifier = BuildNestedNameSpecifier(S->getQualifierLoc()); 8238abb5fb6SEduardo Caldas if (Qualifier) 8248abb5fb6SEduardo Caldas Builder.markChild(Qualifier, syntax::NodeRole::IdExpression_qualifier); 8258abb5fb6SEduardo Caldas 8268abb5fb6SEduardo Caldas auto TemplateKeywordLoc = S->getTemplateKeywordLoc(); 8278abb5fb6SEduardo Caldas if (TemplateKeywordLoc.isValid()) 8288abb5fb6SEduardo Caldas Builder.markChildToken(TemplateKeywordLoc, 8298abb5fb6SEduardo Caldas syntax::NodeRole::TemplateKeyword); 8301b2f6b4aSEduardo Caldas 8311b2f6b4aSEduardo Caldas auto *unqualifiedId = new (allocator()) syntax::UnqualifiedId; 8328abb5fb6SEduardo Caldas 8338abb5fb6SEduardo Caldas Builder.foldNode(Builder.getRange(S->getLocation(), S->getEndLoc()), 8341b2f6b4aSEduardo Caldas unqualifiedId, nullptr); 8358abb5fb6SEduardo Caldas 8368abb5fb6SEduardo Caldas Builder.markChild(unqualifiedId, syntax::NodeRole::IdExpression_id); 8378abb5fb6SEduardo Caldas 8388abb5fb6SEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 8398abb5fb6SEduardo Caldas new (allocator()) syntax::IdExpression, S); 8408abb5fb6SEduardo Caldas return true; 8411b2f6b4aSEduardo Caldas } 8428abb5fb6SEduardo Caldas 8438abb5fb6SEduardo Caldas // Same logic as DeclRefExpr. 8448abb5fb6SEduardo Caldas bool WalkUpFromDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *S) { 8458abb5fb6SEduardo Caldas auto *Qualifier = BuildNestedNameSpecifier(S->getQualifierLoc()); 8468abb5fb6SEduardo Caldas if (Qualifier) 8478abb5fb6SEduardo Caldas Builder.markChild(Qualifier, syntax::NodeRole::IdExpression_qualifier); 8488abb5fb6SEduardo Caldas 8498abb5fb6SEduardo Caldas auto TemplateKeywordLoc = S->getTemplateKeywordLoc(); 8508abb5fb6SEduardo Caldas if (TemplateKeywordLoc.isValid()) 8518abb5fb6SEduardo Caldas Builder.markChildToken(TemplateKeywordLoc, 8528abb5fb6SEduardo Caldas syntax::NodeRole::TemplateKeyword); 8538abb5fb6SEduardo Caldas 8548abb5fb6SEduardo Caldas auto *unqualifiedId = new (allocator()) syntax::UnqualifiedId; 8558abb5fb6SEduardo Caldas 8568abb5fb6SEduardo Caldas Builder.foldNode(Builder.getRange(S->getLocation(), S->getEndLoc()), 8578abb5fb6SEduardo Caldas unqualifiedId, nullptr); 8588abb5fb6SEduardo Caldas 8591b2f6b4aSEduardo Caldas Builder.markChild(unqualifiedId, syntax::NodeRole::IdExpression_id); 8601b2f6b4aSEduardo Caldas 8611b2f6b4aSEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 8621b2f6b4aSEduardo Caldas new (allocator()) syntax::IdExpression, S); 8631b2f6b4aSEduardo Caldas return true; 8641b2f6b4aSEduardo Caldas } 8651b2f6b4aSEduardo Caldas 866fdbd7833SEduardo Caldas bool WalkUpFromParenExpr(ParenExpr *S) { 867fdbd7833SEduardo Caldas Builder.markChildToken(S->getLParen(), syntax::NodeRole::OpenParen); 868fdbd7833SEduardo Caldas Builder.markExprChild(S->getSubExpr(), 869fdbd7833SEduardo Caldas syntax::NodeRole::ParenExpression_subExpression); 870fdbd7833SEduardo Caldas Builder.markChildToken(S->getRParen(), syntax::NodeRole::CloseParen); 871fdbd7833SEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 872fdbd7833SEduardo Caldas new (allocator()) syntax::ParenExpression, S); 873fdbd7833SEduardo Caldas return true; 874fdbd7833SEduardo Caldas } 875fdbd7833SEduardo Caldas 8763b739690SEduardo Caldas bool WalkUpFromIntegerLiteral(IntegerLiteral *S) { 87742f6fec3SEduardo Caldas Builder.markChildToken(S->getLocation(), syntax::NodeRole::LiteralToken); 8783b739690SEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 8793b739690SEduardo Caldas new (allocator()) syntax::IntegerLiteralExpression, S); 8803b739690SEduardo Caldas return true; 8813b739690SEduardo Caldas } 8823b739690SEduardo Caldas 883221d7bbeSEduardo Caldas bool WalkUpFromCharacterLiteral(CharacterLiteral *S) { 884221d7bbeSEduardo Caldas Builder.markChildToken(S->getLocation(), syntax::NodeRole::LiteralToken); 885221d7bbeSEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 886221d7bbeSEduardo Caldas new (allocator()) syntax::CharacterLiteralExpression, S); 887221d7bbeSEduardo Caldas return true; 888221d7bbeSEduardo Caldas } 8897b404b6dSEduardo Caldas 8907b404b6dSEduardo Caldas bool WalkUpFromFloatingLiteral(FloatingLiteral *S) { 8917b404b6dSEduardo Caldas Builder.markChildToken(S->getLocation(), syntax::NodeRole::LiteralToken); 8927b404b6dSEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 8937b404b6dSEduardo Caldas new (allocator()) syntax::FloatingLiteralExpression, S); 8947b404b6dSEduardo Caldas return true; 8957b404b6dSEduardo Caldas } 8967b404b6dSEduardo Caldas 897466e8b7eSEduardo Caldas bool WalkUpFromStringLiteral(StringLiteral *S) { 898466e8b7eSEduardo Caldas Builder.markChildToken(S->getBeginLoc(), syntax::NodeRole::LiteralToken); 899466e8b7eSEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 900466e8b7eSEduardo Caldas new (allocator()) syntax::StringLiteralExpression, S); 901466e8b7eSEduardo Caldas return true; 902466e8b7eSEduardo Caldas } 903221d7bbeSEduardo Caldas 9047b404b6dSEduardo Caldas bool WalkUpFromCXXBoolLiteralExpr(CXXBoolLiteralExpr *S) { 9057b404b6dSEduardo Caldas Builder.markChildToken(S->getLocation(), syntax::NodeRole::LiteralToken); 9067b404b6dSEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 9077b404b6dSEduardo Caldas new (allocator()) syntax::BoolLiteralExpression, S); 9087b404b6dSEduardo Caldas return true; 9097b404b6dSEduardo Caldas } 9107b404b6dSEduardo Caldas 911007098d7SEduardo Caldas bool WalkUpFromCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *S) { 91242f6fec3SEduardo Caldas Builder.markChildToken(S->getLocation(), syntax::NodeRole::LiteralToken); 913007098d7SEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 914007098d7SEduardo Caldas new (allocator()) syntax::CxxNullPtrExpression, S); 915007098d7SEduardo Caldas return true; 916007098d7SEduardo Caldas } 917007098d7SEduardo Caldas 918461af57dSEduardo Caldas bool WalkUpFromUnaryOperator(UnaryOperator *S) { 91942f6fec3SEduardo Caldas Builder.markChildToken(S->getOperatorLoc(), 92042f6fec3SEduardo Caldas syntax::NodeRole::OperatorExpression_operatorToken); 921461af57dSEduardo Caldas Builder.markExprChild(S->getSubExpr(), 922461af57dSEduardo Caldas syntax::NodeRole::UnaryOperatorExpression_operand); 923461af57dSEduardo Caldas 924461af57dSEduardo Caldas if (S->isPostfix()) 925461af57dSEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 926461af57dSEduardo Caldas new (allocator()) syntax::PostfixUnaryOperatorExpression, 927461af57dSEduardo Caldas S); 928461af57dSEduardo Caldas else 929461af57dSEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 930461af57dSEduardo Caldas new (allocator()) syntax::PrefixUnaryOperatorExpression, 931461af57dSEduardo Caldas S); 932461af57dSEduardo Caldas 933461af57dSEduardo Caldas return true; 934461af57dSEduardo Caldas } 935461af57dSEduardo Caldas 9363785eb83SEduardo Caldas bool WalkUpFromBinaryOperator(BinaryOperator *S) { 9373785eb83SEduardo Caldas Builder.markExprChild( 9383785eb83SEduardo Caldas S->getLHS(), syntax::NodeRole::BinaryOperatorExpression_leftHandSide); 93942f6fec3SEduardo Caldas Builder.markChildToken(S->getOperatorLoc(), 94042f6fec3SEduardo Caldas syntax::NodeRole::OperatorExpression_operatorToken); 9413785eb83SEduardo Caldas Builder.markExprChild( 9423785eb83SEduardo Caldas S->getRHS(), syntax::NodeRole::BinaryOperatorExpression_rightHandSide); 9433785eb83SEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 9443785eb83SEduardo Caldas new (allocator()) syntax::BinaryOperatorExpression, S); 9453785eb83SEduardo Caldas return true; 9463785eb83SEduardo Caldas } 9473785eb83SEduardo Caldas 948ea8bba7eSEduardo Caldas bool TraverseCXXOperatorCallExpr(CXXOperatorCallExpr *S) { 949ea8bba7eSEduardo Caldas if (getOperatorNodeKind(*S) == 950ea8bba7eSEduardo Caldas syntax::NodeKind::PostfixUnaryOperatorExpression) { 951f33c2c27SEduardo Caldas // A postfix unary operator is declared as taking two operands. The 952f33c2c27SEduardo Caldas // second operand is used to distinguish from its prefix counterpart. In 953f33c2c27SEduardo Caldas // the semantic AST this "phantom" operand is represented as a 954ea8bba7eSEduardo Caldas // `IntegerLiteral` with invalid `SourceLocation`. We skip visiting this 955ea8bba7eSEduardo Caldas // operand because it does not correspond to anything written in source 956ea8bba7eSEduardo Caldas // code 957ea8bba7eSEduardo Caldas for (auto *child : S->children()) { 958ea8bba7eSEduardo Caldas if (child->getSourceRange().isInvalid()) 959ea8bba7eSEduardo Caldas continue; 960ea8bba7eSEduardo Caldas if (!TraverseStmt(child)) 961ea8bba7eSEduardo Caldas return false; 962ea8bba7eSEduardo Caldas } 963ea8bba7eSEduardo Caldas return WalkUpFromCXXOperatorCallExpr(S); 964ea8bba7eSEduardo Caldas } else 965ea8bba7eSEduardo Caldas return RecursiveASTVisitor::TraverseCXXOperatorCallExpr(S); 966ea8bba7eSEduardo Caldas } 967ea8bba7eSEduardo Caldas 9683a574a6cSEduardo Caldas bool WalkUpFromCXXOperatorCallExpr(CXXOperatorCallExpr *S) { 969ea8bba7eSEduardo Caldas switch (getOperatorNodeKind(*S)) { 970ea8bba7eSEduardo Caldas case syntax::NodeKind::BinaryOperatorExpression: 9713a574a6cSEduardo Caldas Builder.markExprChild( 9723a574a6cSEduardo Caldas S->getArg(0), 9733a574a6cSEduardo Caldas syntax::NodeRole::BinaryOperatorExpression_leftHandSide); 9743a574a6cSEduardo Caldas Builder.markChildToken( 9753a574a6cSEduardo Caldas S->getOperatorLoc(), 97642f6fec3SEduardo Caldas syntax::NodeRole::OperatorExpression_operatorToken); 9773a574a6cSEduardo Caldas Builder.markExprChild( 9783a574a6cSEduardo Caldas S->getArg(1), 9793a574a6cSEduardo Caldas syntax::NodeRole::BinaryOperatorExpression_rightHandSide); 9803a574a6cSEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 9813a574a6cSEduardo Caldas new (allocator()) syntax::BinaryOperatorExpression, S); 9823a574a6cSEduardo Caldas return true; 983ea8bba7eSEduardo Caldas case syntax::NodeKind::PrefixUnaryOperatorExpression: 984ea8bba7eSEduardo Caldas Builder.markChildToken( 985ea8bba7eSEduardo Caldas S->getOperatorLoc(), 986ea8bba7eSEduardo Caldas syntax::NodeRole::OperatorExpression_operatorToken); 987ea8bba7eSEduardo Caldas Builder.markExprChild(S->getArg(0), 988ea8bba7eSEduardo Caldas syntax::NodeRole::UnaryOperatorExpression_operand); 989ea8bba7eSEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 990ea8bba7eSEduardo Caldas new (allocator()) syntax::PrefixUnaryOperatorExpression, 991ea8bba7eSEduardo Caldas S); 992ea8bba7eSEduardo Caldas return true; 993ea8bba7eSEduardo Caldas case syntax::NodeKind::PostfixUnaryOperatorExpression: 994ea8bba7eSEduardo Caldas Builder.markChildToken( 995ea8bba7eSEduardo Caldas S->getOperatorLoc(), 996ea8bba7eSEduardo Caldas syntax::NodeRole::OperatorExpression_operatorToken); 997ea8bba7eSEduardo Caldas Builder.markExprChild(S->getArg(0), 998ea8bba7eSEduardo Caldas syntax::NodeRole::UnaryOperatorExpression_operand); 999ea8bba7eSEduardo Caldas Builder.foldNode(Builder.getExprRange(S), 1000ea8bba7eSEduardo Caldas new (allocator()) syntax::PostfixUnaryOperatorExpression, 1001ea8bba7eSEduardo Caldas S); 1002ea8bba7eSEduardo Caldas return true; 1003ea8bba7eSEduardo Caldas case syntax::NodeKind::UnknownExpression: 10043a574a6cSEduardo Caldas return RecursiveASTVisitor::WalkUpFromCXXOperatorCallExpr(S); 1005ea8bba7eSEduardo Caldas default: 1006ea8bba7eSEduardo Caldas llvm_unreachable("getOperatorNodeKind() does not return this value"); 1007ea8bba7eSEduardo Caldas } 10083a574a6cSEduardo Caldas } 10093a574a6cSEduardo Caldas 1010be14a22bSIlya Biryukov bool WalkUpFromNamespaceDecl(NamespaceDecl *S) { 1011cdce2fe5SMarcel Hlopko auto Tokens = Builder.getDeclarationRange(S); 1012be14a22bSIlya Biryukov if (Tokens.front().kind() == tok::coloncolon) { 1013be14a22bSIlya Biryukov // Handle nested namespace definitions. Those start at '::' token, e.g. 1014be14a22bSIlya Biryukov // namespace a^::b {} 1015be14a22bSIlya Biryukov // FIXME: build corresponding nodes for the name of this namespace. 1016be14a22bSIlya Biryukov return true; 1017be14a22bSIlya Biryukov } 1018a711a3a4SMarcel Hlopko Builder.foldNode(Tokens, new (allocator()) syntax::NamespaceDefinition, S); 1019be14a22bSIlya Biryukov return true; 1020be14a22bSIlya Biryukov } 1021be14a22bSIlya Biryukov 10228ce15f7eSEduardo Caldas // FIXME: Deleting the `TraverseParenTypeLoc` override doesn't change test 10238ce15f7eSEduardo Caldas // results. Find test coverage or remove it. 10247d382dcdSMarcel Hlopko bool TraverseParenTypeLoc(ParenTypeLoc L) { 10257d382dcdSMarcel Hlopko // We reverse order of traversal to get the proper syntax structure. 10267d382dcdSMarcel Hlopko if (!WalkUpFromParenTypeLoc(L)) 10277d382dcdSMarcel Hlopko return false; 10287d382dcdSMarcel Hlopko return TraverseTypeLoc(L.getInnerLoc()); 10297d382dcdSMarcel Hlopko } 10307d382dcdSMarcel Hlopko 10317d382dcdSMarcel Hlopko bool WalkUpFromParenTypeLoc(ParenTypeLoc L) { 10327d382dcdSMarcel Hlopko Builder.markChildToken(L.getLParenLoc(), syntax::NodeRole::OpenParen); 10337d382dcdSMarcel Hlopko Builder.markChildToken(L.getRParenLoc(), syntax::NodeRole::CloseParen); 10347d382dcdSMarcel Hlopko Builder.foldNode(Builder.getRange(L.getLParenLoc(), L.getRParenLoc()), 1035a711a3a4SMarcel Hlopko new (allocator()) syntax::ParenDeclarator, L); 10367d382dcdSMarcel Hlopko return true; 10377d382dcdSMarcel Hlopko } 10387d382dcdSMarcel Hlopko 10397d382dcdSMarcel Hlopko // Declarator chunks, they are produced by type locs and some clang::Decls. 10407d382dcdSMarcel Hlopko bool WalkUpFromArrayTypeLoc(ArrayTypeLoc L) { 10417d382dcdSMarcel Hlopko Builder.markChildToken(L.getLBracketLoc(), syntax::NodeRole::OpenParen); 10427d382dcdSMarcel Hlopko Builder.markExprChild(L.getSizeExpr(), 10437d382dcdSMarcel Hlopko syntax::NodeRole::ArraySubscript_sizeExpression); 10447d382dcdSMarcel Hlopko Builder.markChildToken(L.getRBracketLoc(), syntax::NodeRole::CloseParen); 10457d382dcdSMarcel Hlopko Builder.foldNode(Builder.getRange(L.getLBracketLoc(), L.getRBracketLoc()), 1046a711a3a4SMarcel Hlopko new (allocator()) syntax::ArraySubscript, L); 10477d382dcdSMarcel Hlopko return true; 10487d382dcdSMarcel Hlopko } 10497d382dcdSMarcel Hlopko 10507d382dcdSMarcel Hlopko bool WalkUpFromFunctionTypeLoc(FunctionTypeLoc L) { 10517d382dcdSMarcel Hlopko Builder.markChildToken(L.getLParenLoc(), syntax::NodeRole::OpenParen); 1052cdce2fe5SMarcel Hlopko for (auto *P : L.getParams()) { 1053cdce2fe5SMarcel Hlopko Builder.markChild(P, syntax::NodeRole::ParametersAndQualifiers_parameter); 1054cdce2fe5SMarcel Hlopko } 10557d382dcdSMarcel Hlopko Builder.markChildToken(L.getRParenLoc(), syntax::NodeRole::CloseParen); 10567d382dcdSMarcel Hlopko Builder.foldNode(Builder.getRange(L.getLParenLoc(), L.getEndLoc()), 1057a711a3a4SMarcel Hlopko new (allocator()) syntax::ParametersAndQualifiers, L); 10587d382dcdSMarcel Hlopko return true; 10597d382dcdSMarcel Hlopko } 10607d382dcdSMarcel Hlopko 10617d382dcdSMarcel Hlopko bool WalkUpFromFunctionProtoTypeLoc(FunctionProtoTypeLoc L) { 10627d382dcdSMarcel Hlopko if (!L.getTypePtr()->hasTrailingReturn()) 10637d382dcdSMarcel Hlopko return WalkUpFromFunctionTypeLoc(L); 10647d382dcdSMarcel Hlopko 1065cdce2fe5SMarcel Hlopko auto *TrailingReturnTokens = BuildTrailingReturn(L); 10667d382dcdSMarcel Hlopko // Finish building the node for parameters. 10677d382dcdSMarcel Hlopko Builder.markChild(TrailingReturnTokens, 10687d382dcdSMarcel Hlopko syntax::NodeRole::ParametersAndQualifiers_trailingReturn); 10697d382dcdSMarcel Hlopko return WalkUpFromFunctionTypeLoc(L); 10707d382dcdSMarcel Hlopko } 10717d382dcdSMarcel Hlopko 10728ce15f7eSEduardo Caldas bool TraverseMemberPointerTypeLoc(MemberPointerTypeLoc L) { 10738ce15f7eSEduardo Caldas // In the source code "void (Y::*mp)()" `MemberPointerTypeLoc` corresponds 10748ce15f7eSEduardo Caldas // to "Y::*" but it points to a `ParenTypeLoc` that corresponds to 10758ce15f7eSEduardo Caldas // "(Y::*mp)" We thus reverse the order of traversal to get the proper 10768ce15f7eSEduardo Caldas // syntax structure. 10778ce15f7eSEduardo Caldas if (!WalkUpFromMemberPointerTypeLoc(L)) 10788ce15f7eSEduardo Caldas return false; 10798ce15f7eSEduardo Caldas return TraverseTypeLoc(L.getPointeeLoc()); 10808ce15f7eSEduardo Caldas } 10818ce15f7eSEduardo Caldas 10827d382dcdSMarcel Hlopko bool WalkUpFromMemberPointerTypeLoc(MemberPointerTypeLoc L) { 10837d382dcdSMarcel Hlopko auto SR = L.getLocalSourceRange(); 1084a711a3a4SMarcel Hlopko Builder.foldNode(Builder.getRange(SR), 1085a711a3a4SMarcel Hlopko new (allocator()) syntax::MemberPointer, L); 10867d382dcdSMarcel Hlopko return true; 10877d382dcdSMarcel Hlopko } 10887d382dcdSMarcel Hlopko 108958fa50f4SIlya Biryukov // The code below is very regular, it could even be generated with some 109058fa50f4SIlya Biryukov // preprocessor magic. We merely assign roles to the corresponding children 109158fa50f4SIlya Biryukov // and fold resulting nodes. 109258fa50f4SIlya Biryukov bool WalkUpFromDeclStmt(DeclStmt *S) { 109358fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1094a711a3a4SMarcel Hlopko new (allocator()) syntax::DeclarationStatement, S); 109558fa50f4SIlya Biryukov return true; 109658fa50f4SIlya Biryukov } 109758fa50f4SIlya Biryukov 109858fa50f4SIlya Biryukov bool WalkUpFromNullStmt(NullStmt *S) { 109958fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1100a711a3a4SMarcel Hlopko new (allocator()) syntax::EmptyStatement, S); 110158fa50f4SIlya Biryukov return true; 110258fa50f4SIlya Biryukov } 110358fa50f4SIlya Biryukov 110458fa50f4SIlya Biryukov bool WalkUpFromSwitchStmt(SwitchStmt *S) { 1105def65bb4SIlya Biryukov Builder.markChildToken(S->getSwitchLoc(), 110658fa50f4SIlya Biryukov syntax::NodeRole::IntroducerKeyword); 110758fa50f4SIlya Biryukov Builder.markStmtChild(S->getBody(), syntax::NodeRole::BodyStatement); 110858fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1109a711a3a4SMarcel Hlopko new (allocator()) syntax::SwitchStatement, S); 111058fa50f4SIlya Biryukov return true; 111158fa50f4SIlya Biryukov } 111258fa50f4SIlya Biryukov 111358fa50f4SIlya Biryukov bool WalkUpFromCaseStmt(CaseStmt *S) { 1114def65bb4SIlya Biryukov Builder.markChildToken(S->getKeywordLoc(), 111558fa50f4SIlya Biryukov syntax::NodeRole::IntroducerKeyword); 111658fa50f4SIlya Biryukov Builder.markExprChild(S->getLHS(), syntax::NodeRole::CaseStatement_value); 111758fa50f4SIlya Biryukov Builder.markStmtChild(S->getSubStmt(), syntax::NodeRole::BodyStatement); 111858fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1119a711a3a4SMarcel Hlopko new (allocator()) syntax::CaseStatement, S); 112058fa50f4SIlya Biryukov return true; 112158fa50f4SIlya Biryukov } 112258fa50f4SIlya Biryukov 112358fa50f4SIlya Biryukov bool WalkUpFromDefaultStmt(DefaultStmt *S) { 1124def65bb4SIlya Biryukov Builder.markChildToken(S->getKeywordLoc(), 112558fa50f4SIlya Biryukov syntax::NodeRole::IntroducerKeyword); 112658fa50f4SIlya Biryukov Builder.markStmtChild(S->getSubStmt(), syntax::NodeRole::BodyStatement); 112758fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1128a711a3a4SMarcel Hlopko new (allocator()) syntax::DefaultStatement, S); 112958fa50f4SIlya Biryukov return true; 113058fa50f4SIlya Biryukov } 113158fa50f4SIlya Biryukov 113258fa50f4SIlya Biryukov bool WalkUpFromIfStmt(IfStmt *S) { 1133def65bb4SIlya Biryukov Builder.markChildToken(S->getIfLoc(), syntax::NodeRole::IntroducerKeyword); 113458fa50f4SIlya Biryukov Builder.markStmtChild(S->getThen(), 113558fa50f4SIlya Biryukov syntax::NodeRole::IfStatement_thenStatement); 1136def65bb4SIlya Biryukov Builder.markChildToken(S->getElseLoc(), 113758fa50f4SIlya Biryukov syntax::NodeRole::IfStatement_elseKeyword); 113858fa50f4SIlya Biryukov Builder.markStmtChild(S->getElse(), 113958fa50f4SIlya Biryukov syntax::NodeRole::IfStatement_elseStatement); 114058fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1141a711a3a4SMarcel Hlopko new (allocator()) syntax::IfStatement, S); 114258fa50f4SIlya Biryukov return true; 114358fa50f4SIlya Biryukov } 114458fa50f4SIlya Biryukov 114558fa50f4SIlya Biryukov bool WalkUpFromForStmt(ForStmt *S) { 1146def65bb4SIlya Biryukov Builder.markChildToken(S->getForLoc(), syntax::NodeRole::IntroducerKeyword); 114758fa50f4SIlya Biryukov Builder.markStmtChild(S->getBody(), syntax::NodeRole::BodyStatement); 114858fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1149a711a3a4SMarcel Hlopko new (allocator()) syntax::ForStatement, S); 115058fa50f4SIlya Biryukov return true; 115158fa50f4SIlya Biryukov } 115258fa50f4SIlya Biryukov 115358fa50f4SIlya Biryukov bool WalkUpFromWhileStmt(WhileStmt *S) { 1154def65bb4SIlya Biryukov Builder.markChildToken(S->getWhileLoc(), 115558fa50f4SIlya Biryukov syntax::NodeRole::IntroducerKeyword); 115658fa50f4SIlya Biryukov Builder.markStmtChild(S->getBody(), syntax::NodeRole::BodyStatement); 115758fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1158a711a3a4SMarcel Hlopko new (allocator()) syntax::WhileStatement, S); 115958fa50f4SIlya Biryukov return true; 116058fa50f4SIlya Biryukov } 116158fa50f4SIlya Biryukov 116258fa50f4SIlya Biryukov bool WalkUpFromContinueStmt(ContinueStmt *S) { 1163def65bb4SIlya Biryukov Builder.markChildToken(S->getContinueLoc(), 116458fa50f4SIlya Biryukov syntax::NodeRole::IntroducerKeyword); 116558fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1166a711a3a4SMarcel Hlopko new (allocator()) syntax::ContinueStatement, S); 116758fa50f4SIlya Biryukov return true; 116858fa50f4SIlya Biryukov } 116958fa50f4SIlya Biryukov 117058fa50f4SIlya Biryukov bool WalkUpFromBreakStmt(BreakStmt *S) { 1171def65bb4SIlya Biryukov Builder.markChildToken(S->getBreakLoc(), 117258fa50f4SIlya Biryukov syntax::NodeRole::IntroducerKeyword); 117358fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1174a711a3a4SMarcel Hlopko new (allocator()) syntax::BreakStatement, S); 117558fa50f4SIlya Biryukov return true; 117658fa50f4SIlya Biryukov } 117758fa50f4SIlya Biryukov 117858fa50f4SIlya Biryukov bool WalkUpFromReturnStmt(ReturnStmt *S) { 1179def65bb4SIlya Biryukov Builder.markChildToken(S->getReturnLoc(), 118058fa50f4SIlya Biryukov syntax::NodeRole::IntroducerKeyword); 118158fa50f4SIlya Biryukov Builder.markExprChild(S->getRetValue(), 118258fa50f4SIlya Biryukov syntax::NodeRole::ReturnStatement_value); 118358fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1184a711a3a4SMarcel Hlopko new (allocator()) syntax::ReturnStatement, S); 118558fa50f4SIlya Biryukov return true; 118658fa50f4SIlya Biryukov } 118758fa50f4SIlya Biryukov 118858fa50f4SIlya Biryukov bool WalkUpFromCXXForRangeStmt(CXXForRangeStmt *S) { 1189def65bb4SIlya Biryukov Builder.markChildToken(S->getForLoc(), syntax::NodeRole::IntroducerKeyword); 119058fa50f4SIlya Biryukov Builder.markStmtChild(S->getBody(), syntax::NodeRole::BodyStatement); 119158fa50f4SIlya Biryukov Builder.foldNode(Builder.getStmtRange(S), 1192a711a3a4SMarcel Hlopko new (allocator()) syntax::RangeBasedForStatement, S); 119358fa50f4SIlya Biryukov return true; 119458fa50f4SIlya Biryukov } 119558fa50f4SIlya Biryukov 1196be14a22bSIlya Biryukov bool WalkUpFromEmptyDecl(EmptyDecl *S) { 1197cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getDeclarationRange(S), 1198a711a3a4SMarcel Hlopko new (allocator()) syntax::EmptyDeclaration, S); 1199be14a22bSIlya Biryukov return true; 1200be14a22bSIlya Biryukov } 1201be14a22bSIlya Biryukov 1202be14a22bSIlya Biryukov bool WalkUpFromStaticAssertDecl(StaticAssertDecl *S) { 1203be14a22bSIlya Biryukov Builder.markExprChild(S->getAssertExpr(), 1204be14a22bSIlya Biryukov syntax::NodeRole::StaticAssertDeclaration_condition); 1205be14a22bSIlya Biryukov Builder.markExprChild(S->getMessage(), 1206be14a22bSIlya Biryukov syntax::NodeRole::StaticAssertDeclaration_message); 1207cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getDeclarationRange(S), 1208a711a3a4SMarcel Hlopko new (allocator()) syntax::StaticAssertDeclaration, S); 1209be14a22bSIlya Biryukov return true; 1210be14a22bSIlya Biryukov } 1211be14a22bSIlya Biryukov 1212be14a22bSIlya Biryukov bool WalkUpFromLinkageSpecDecl(LinkageSpecDecl *S) { 1213cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getDeclarationRange(S), 1214a711a3a4SMarcel Hlopko new (allocator()) syntax::LinkageSpecificationDeclaration, 1215a711a3a4SMarcel Hlopko S); 1216be14a22bSIlya Biryukov return true; 1217be14a22bSIlya Biryukov } 1218be14a22bSIlya Biryukov 1219be14a22bSIlya Biryukov bool WalkUpFromNamespaceAliasDecl(NamespaceAliasDecl *S) { 1220cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getDeclarationRange(S), 1221a711a3a4SMarcel Hlopko new (allocator()) syntax::NamespaceAliasDefinition, S); 1222be14a22bSIlya Biryukov return true; 1223be14a22bSIlya Biryukov } 1224be14a22bSIlya Biryukov 1225be14a22bSIlya Biryukov bool WalkUpFromUsingDirectiveDecl(UsingDirectiveDecl *S) { 1226cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getDeclarationRange(S), 1227a711a3a4SMarcel Hlopko new (allocator()) syntax::UsingNamespaceDirective, S); 1228be14a22bSIlya Biryukov return true; 1229be14a22bSIlya Biryukov } 1230be14a22bSIlya Biryukov 1231be14a22bSIlya Biryukov bool WalkUpFromUsingDecl(UsingDecl *S) { 1232cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getDeclarationRange(S), 1233a711a3a4SMarcel Hlopko new (allocator()) syntax::UsingDeclaration, S); 1234be14a22bSIlya Biryukov return true; 1235be14a22bSIlya Biryukov } 1236be14a22bSIlya Biryukov 1237be14a22bSIlya Biryukov bool WalkUpFromUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *S) { 1238cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getDeclarationRange(S), 1239a711a3a4SMarcel Hlopko new (allocator()) syntax::UsingDeclaration, S); 1240be14a22bSIlya Biryukov return true; 1241be14a22bSIlya Biryukov } 1242be14a22bSIlya Biryukov 1243be14a22bSIlya Biryukov bool WalkUpFromUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *S) { 1244cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getDeclarationRange(S), 1245a711a3a4SMarcel Hlopko new (allocator()) syntax::UsingDeclaration, S); 1246be14a22bSIlya Biryukov return true; 1247be14a22bSIlya Biryukov } 1248be14a22bSIlya Biryukov 1249be14a22bSIlya Biryukov bool WalkUpFromTypeAliasDecl(TypeAliasDecl *S) { 1250cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getDeclarationRange(S), 1251a711a3a4SMarcel Hlopko new (allocator()) syntax::TypeAliasDeclaration, S); 1252be14a22bSIlya Biryukov return true; 1253be14a22bSIlya Biryukov } 1254be14a22bSIlya Biryukov 12559b3f38f9SIlya Biryukov private: 1256cdce2fe5SMarcel Hlopko template <class T> SourceLocation getQualifiedNameStart(T *D) { 1257cdce2fe5SMarcel Hlopko static_assert((std::is_base_of<DeclaratorDecl, T>::value || 1258cdce2fe5SMarcel Hlopko std::is_base_of<TypedefNameDecl, T>::value), 1259cdce2fe5SMarcel Hlopko "only DeclaratorDecl and TypedefNameDecl are supported."); 1260cdce2fe5SMarcel Hlopko 1261cdce2fe5SMarcel Hlopko auto DN = D->getDeclName(); 1262cdce2fe5SMarcel Hlopko bool IsAnonymous = DN.isIdentifier() && !DN.getAsIdentifierInfo(); 1263cdce2fe5SMarcel Hlopko if (IsAnonymous) 1264cdce2fe5SMarcel Hlopko return SourceLocation(); 1265cdce2fe5SMarcel Hlopko 1266ba41a0f7SEduardo Caldas if (const auto *DD = dyn_cast<DeclaratorDecl>(D)) { 1267cdce2fe5SMarcel Hlopko if (DD->getQualifierLoc()) { 1268cdce2fe5SMarcel Hlopko return DD->getQualifierLoc().getBeginLoc(); 1269cdce2fe5SMarcel Hlopko } 1270cdce2fe5SMarcel Hlopko } 1271cdce2fe5SMarcel Hlopko 1272cdce2fe5SMarcel Hlopko return D->getLocation(); 1273cdce2fe5SMarcel Hlopko } 1274cdce2fe5SMarcel Hlopko 1275cdce2fe5SMarcel Hlopko SourceRange getInitializerRange(Decl *D) { 1276ba41a0f7SEduardo Caldas if (auto *V = dyn_cast<VarDecl>(D)) { 1277cdce2fe5SMarcel Hlopko auto *I = V->getInit(); 1278cdce2fe5SMarcel Hlopko // Initializers in range-based-for are not part of the declarator 1279cdce2fe5SMarcel Hlopko if (I && !V->isCXXForRangeDecl()) 1280cdce2fe5SMarcel Hlopko return I->getSourceRange(); 1281cdce2fe5SMarcel Hlopko } 1282cdce2fe5SMarcel Hlopko 1283cdce2fe5SMarcel Hlopko return SourceRange(); 1284cdce2fe5SMarcel Hlopko } 1285cdce2fe5SMarcel Hlopko 1286cdce2fe5SMarcel Hlopko /// Folds SimpleDeclarator node (if present) and in case this is the last 1287cdce2fe5SMarcel Hlopko /// declarator in the chain it also folds SimpleDeclaration node. 1288cdce2fe5SMarcel Hlopko template <class T> bool processDeclaratorAndDeclaration(T *D) { 1289cdce2fe5SMarcel Hlopko SourceRange Initializer = getInitializerRange(D); 1290cdce2fe5SMarcel Hlopko auto Range = getDeclaratorRange(Builder.sourceManager(), 1291cdce2fe5SMarcel Hlopko D->getTypeSourceInfo()->getTypeLoc(), 1292cdce2fe5SMarcel Hlopko getQualifiedNameStart(D), Initializer); 1293cdce2fe5SMarcel Hlopko 1294cdce2fe5SMarcel Hlopko // There doesn't have to be a declarator (e.g. `void foo(int)` only has 1295cdce2fe5SMarcel Hlopko // declaration, but no declarator). 1296cdce2fe5SMarcel Hlopko if (Range.getBegin().isValid()) { 1297cdce2fe5SMarcel Hlopko auto *N = new (allocator()) syntax::SimpleDeclarator; 1298cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getRange(Range), N, nullptr); 1299cdce2fe5SMarcel Hlopko Builder.markChild(N, syntax::NodeRole::SimpleDeclaration_declarator); 1300cdce2fe5SMarcel Hlopko } 1301cdce2fe5SMarcel Hlopko 1302cdce2fe5SMarcel Hlopko if (Builder.isResponsibleForCreatingDeclaration(D)) { 1303cdce2fe5SMarcel Hlopko Builder.foldNode(Builder.getDeclarationRange(D), 1304cdce2fe5SMarcel Hlopko new (allocator()) syntax::SimpleDeclaration, D); 1305cdce2fe5SMarcel Hlopko } 1306cdce2fe5SMarcel Hlopko return true; 1307cdce2fe5SMarcel Hlopko } 1308cdce2fe5SMarcel Hlopko 13097d382dcdSMarcel Hlopko /// Returns the range of the built node. 1310a711a3a4SMarcel Hlopko syntax::TrailingReturnType *BuildTrailingReturn(FunctionProtoTypeLoc L) { 13117d382dcdSMarcel Hlopko assert(L.getTypePtr()->hasTrailingReturn()); 13127d382dcdSMarcel Hlopko 13137d382dcdSMarcel Hlopko auto ReturnedType = L.getReturnLoc(); 13147d382dcdSMarcel Hlopko // Build node for the declarator, if any. 13157d382dcdSMarcel Hlopko auto ReturnDeclaratorRange = 13167d382dcdSMarcel Hlopko getDeclaratorRange(this->Builder.sourceManager(), ReturnedType, 13177d382dcdSMarcel Hlopko /*Name=*/SourceLocation(), 13187d382dcdSMarcel Hlopko /*Initializer=*/SourceLocation()); 1319a711a3a4SMarcel Hlopko syntax::SimpleDeclarator *ReturnDeclarator = nullptr; 13207d382dcdSMarcel Hlopko if (ReturnDeclaratorRange.isValid()) { 1321a711a3a4SMarcel Hlopko ReturnDeclarator = new (allocator()) syntax::SimpleDeclarator; 1322a711a3a4SMarcel Hlopko Builder.foldNode(Builder.getRange(ReturnDeclaratorRange), 1323a711a3a4SMarcel Hlopko ReturnDeclarator, nullptr); 13247d382dcdSMarcel Hlopko } 13257d382dcdSMarcel Hlopko 13267d382dcdSMarcel Hlopko // Build node for trailing return type. 1327a711a3a4SMarcel Hlopko auto Return = Builder.getRange(ReturnedType.getSourceRange()); 13287d382dcdSMarcel Hlopko const auto *Arrow = Return.begin() - 1; 13297d382dcdSMarcel Hlopko assert(Arrow->kind() == tok::arrow); 13307d382dcdSMarcel Hlopko auto Tokens = llvm::makeArrayRef(Arrow, Return.end()); 133142f6fec3SEduardo Caldas Builder.markChildToken(Arrow, syntax::NodeRole::ArrowToken); 1332a711a3a4SMarcel Hlopko if (ReturnDeclarator) 1333a711a3a4SMarcel Hlopko Builder.markChild(ReturnDeclarator, 13347d382dcdSMarcel Hlopko syntax::NodeRole::TrailingReturnType_declarator); 1335a711a3a4SMarcel Hlopko auto *R = new (allocator()) syntax::TrailingReturnType; 1336cdce2fe5SMarcel Hlopko Builder.foldNode(Tokens, R, L); 1337a711a3a4SMarcel Hlopko return R; 13387d382dcdSMarcel Hlopko } 133988bf9b3dSMarcel Hlopko 1340a711a3a4SMarcel Hlopko void foldExplicitTemplateInstantiation( 1341a711a3a4SMarcel Hlopko ArrayRef<syntax::Token> Range, const syntax::Token *ExternKW, 134288bf9b3dSMarcel Hlopko const syntax::Token *TemplateKW, 1343a711a3a4SMarcel Hlopko syntax::SimpleDeclaration *InnerDeclaration, Decl *From) { 134488bf9b3dSMarcel Hlopko assert(!ExternKW || ExternKW->kind() == tok::kw_extern); 134588bf9b3dSMarcel Hlopko assert(TemplateKW && TemplateKW->kind() == tok::kw_template); 134642f6fec3SEduardo Caldas Builder.markChildToken(ExternKW, syntax::NodeRole::ExternKeyword); 134788bf9b3dSMarcel Hlopko Builder.markChildToken(TemplateKW, syntax::NodeRole::IntroducerKeyword); 134888bf9b3dSMarcel Hlopko Builder.markChild( 134988bf9b3dSMarcel Hlopko InnerDeclaration, 135088bf9b3dSMarcel Hlopko syntax::NodeRole::ExplicitTemplateInstantiation_declaration); 1351a711a3a4SMarcel Hlopko Builder.foldNode( 1352a711a3a4SMarcel Hlopko Range, new (allocator()) syntax::ExplicitTemplateInstantiation, From); 135388bf9b3dSMarcel Hlopko } 135488bf9b3dSMarcel Hlopko 1355a711a3a4SMarcel Hlopko syntax::TemplateDeclaration *foldTemplateDeclaration( 1356a711a3a4SMarcel Hlopko ArrayRef<syntax::Token> Range, const syntax::Token *TemplateKW, 1357a711a3a4SMarcel Hlopko ArrayRef<syntax::Token> TemplatedDeclaration, Decl *From) { 135888bf9b3dSMarcel Hlopko assert(TemplateKW && TemplateKW->kind() == tok::kw_template); 135988bf9b3dSMarcel Hlopko Builder.markChildToken(TemplateKW, syntax::NodeRole::IntroducerKeyword); 1360a711a3a4SMarcel Hlopko 1361a711a3a4SMarcel Hlopko auto *N = new (allocator()) syntax::TemplateDeclaration; 1362a711a3a4SMarcel Hlopko Builder.foldNode(Range, N, From); 1363cdce2fe5SMarcel Hlopko Builder.markChild(N, syntax::NodeRole::TemplateDeclaration_declaration); 1364a711a3a4SMarcel Hlopko return N; 136588bf9b3dSMarcel Hlopko } 136688bf9b3dSMarcel Hlopko 13679b3f38f9SIlya Biryukov /// A small helper to save some typing. 13689b3f38f9SIlya Biryukov llvm::BumpPtrAllocator &allocator() { return Builder.allocator(); } 13699b3f38f9SIlya Biryukov 13709b3f38f9SIlya Biryukov syntax::TreeBuilder &Builder; 13711db5b348SEduardo Caldas const ASTContext &Context; 13729b3f38f9SIlya Biryukov }; 13739b3f38f9SIlya Biryukov } // namespace 13749b3f38f9SIlya Biryukov 13757d382dcdSMarcel Hlopko void syntax::TreeBuilder::noticeDeclWithoutSemicolon(Decl *D) { 1376e702bdb8SIlya Biryukov DeclsWithoutSemicolons.insert(D); 1377e702bdb8SIlya Biryukov } 1378e702bdb8SIlya Biryukov 1379def65bb4SIlya Biryukov void syntax::TreeBuilder::markChildToken(SourceLocation Loc, NodeRole Role) { 13809b3f38f9SIlya Biryukov if (Loc.isInvalid()) 13819b3f38f9SIlya Biryukov return; 13829b3f38f9SIlya Biryukov Pending.assignRole(*findToken(Loc), Role); 13839b3f38f9SIlya Biryukov } 13849b3f38f9SIlya Biryukov 13857d382dcdSMarcel Hlopko void syntax::TreeBuilder::markChildToken(const syntax::Token *T, NodeRole R) { 13867d382dcdSMarcel Hlopko if (!T) 13877d382dcdSMarcel Hlopko return; 13887d382dcdSMarcel Hlopko Pending.assignRole(*T, R); 13897d382dcdSMarcel Hlopko } 13907d382dcdSMarcel Hlopko 1391a711a3a4SMarcel Hlopko void syntax::TreeBuilder::markChild(syntax::Node *N, NodeRole R) { 1392a711a3a4SMarcel Hlopko assert(N); 1393a711a3a4SMarcel Hlopko setRole(N, R); 1394a711a3a4SMarcel Hlopko } 1395a711a3a4SMarcel Hlopko 1396a711a3a4SMarcel Hlopko void syntax::TreeBuilder::markChild(ASTPtr N, NodeRole R) { 1397a711a3a4SMarcel Hlopko auto *SN = Mapping.find(N); 1398a711a3a4SMarcel Hlopko assert(SN != nullptr); 1399a711a3a4SMarcel Hlopko setRole(SN, R); 14007d382dcdSMarcel Hlopko } 14017d382dcdSMarcel Hlopko 140258fa50f4SIlya Biryukov void syntax::TreeBuilder::markStmtChild(Stmt *Child, NodeRole Role) { 140358fa50f4SIlya Biryukov if (!Child) 140458fa50f4SIlya Biryukov return; 140558fa50f4SIlya Biryukov 1406b34b7691SDmitri Gribenko syntax::Tree *ChildNode; 1407b34b7691SDmitri Gribenko if (Expr *ChildExpr = dyn_cast<Expr>(Child)) { 140858fa50f4SIlya Biryukov // This is an expression in a statement position, consume the trailing 140958fa50f4SIlya Biryukov // semicolon and form an 'ExpressionStatement' node. 1410b34b7691SDmitri Gribenko markExprChild(ChildExpr, NodeRole::ExpressionStatement_expression); 1411a711a3a4SMarcel Hlopko ChildNode = new (allocator()) syntax::ExpressionStatement; 1412a711a3a4SMarcel Hlopko // (!) 'getStmtRange()' ensures this covers a trailing semicolon. 1413a711a3a4SMarcel Hlopko Pending.foldChildren(Arena, getStmtRange(Child), ChildNode); 1414b34b7691SDmitri Gribenko } else { 1415b34b7691SDmitri Gribenko ChildNode = Mapping.find(Child); 141658fa50f4SIlya Biryukov } 1417b34b7691SDmitri Gribenko assert(ChildNode != nullptr); 1418a711a3a4SMarcel Hlopko setRole(ChildNode, Role); 141958fa50f4SIlya Biryukov } 142058fa50f4SIlya Biryukov 142158fa50f4SIlya Biryukov void syntax::TreeBuilder::markExprChild(Expr *Child, NodeRole Role) { 1422be14a22bSIlya Biryukov if (!Child) 1423be14a22bSIlya Biryukov return; 1424a711a3a4SMarcel Hlopko Child = Child->IgnoreImplicit(); 1425be14a22bSIlya Biryukov 1426a711a3a4SMarcel Hlopko syntax::Tree *ChildNode = Mapping.find(Child); 1427a711a3a4SMarcel Hlopko assert(ChildNode != nullptr); 1428a711a3a4SMarcel Hlopko setRole(ChildNode, Role); 142958fa50f4SIlya Biryukov } 143058fa50f4SIlya Biryukov 14319b3f38f9SIlya Biryukov const syntax::Token *syntax::TreeBuilder::findToken(SourceLocation L) const { 143288bf9b3dSMarcel Hlopko if (L.isInvalid()) 143388bf9b3dSMarcel Hlopko return nullptr; 1434c1bbefefSIlya Biryukov auto It = LocationToToken.find(L.getRawEncoding()); 1435c1bbefefSIlya Biryukov assert(It != LocationToToken.end()); 1436c1bbefefSIlya Biryukov return It->second; 14379b3f38f9SIlya Biryukov } 14389b3f38f9SIlya Biryukov 14399b3f38f9SIlya Biryukov syntax::TranslationUnit * 14409b3f38f9SIlya Biryukov syntax::buildSyntaxTree(Arena &A, const TranslationUnitDecl &TU) { 14419b3f38f9SIlya Biryukov TreeBuilder Builder(A); 14429b3f38f9SIlya Biryukov BuildTreeVisitor(TU.getASTContext(), Builder).TraverseAST(TU.getASTContext()); 14439b3f38f9SIlya Biryukov return std::move(Builder).finalize(); 14449b3f38f9SIlya Biryukov } 1445