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
4858fa50f4SIlya Biryukov static bool isImplicitExpr(clang::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.
278a711a3a4SMarcel Hlopko   void foldNode(llvm::ArrayRef<syntax::Token> Range, syntax::Tree *New,
279a711a3a4SMarcel Hlopko                 ASTPtr From) {
280a711a3a4SMarcel Hlopko     assert(New);
281a711a3a4SMarcel Hlopko     Pending.foldChildren(Arena, Range, New);
282a711a3a4SMarcel Hlopko     if (From)
283a711a3a4SMarcel Hlopko       Mapping.add(From, New);
284a711a3a4SMarcel Hlopko   }
285a711a3a4SMarcel Hlopko   void foldNode(llvm::ArrayRef<syntax::Token> Range, syntax::Tree *New,
286a711a3a4SMarcel Hlopko                 TypeLoc L) {
287a711a3a4SMarcel Hlopko     // FIXME: add mapping for TypeLocs
288a711a3a4SMarcel Hlopko     foldNode(Range, New, nullptr);
289a711a3a4SMarcel Hlopko   }
2909b3f38f9SIlya Biryukov 
291e702bdb8SIlya Biryukov   /// Notifies that we should not consume trailing semicolon when computing
292e702bdb8SIlya Biryukov   /// token range of \p D.
2937d382dcdSMarcel Hlopko   void noticeDeclWithoutSemicolon(Decl *D);
294e702bdb8SIlya Biryukov 
29558fa50f4SIlya Biryukov   /// Mark the \p Child node with a corresponding \p Role. All marked children
29658fa50f4SIlya Biryukov   /// should be consumed by foldNode.
2977d382dcdSMarcel Hlopko   /// When called on expressions (clang::Expr is derived from clang::Stmt),
29858fa50f4SIlya Biryukov   /// wraps expressions into expression statement.
29958fa50f4SIlya Biryukov   void markStmtChild(Stmt *Child, NodeRole Role);
30058fa50f4SIlya Biryukov   /// Should be called for expressions in non-statement position to avoid
30158fa50f4SIlya Biryukov   /// wrapping into expression statement.
30258fa50f4SIlya Biryukov   void markExprChild(Expr *Child, NodeRole Role);
3039b3f38f9SIlya Biryukov   /// Set role for a token starting at \p Loc.
304def65bb4SIlya Biryukov   void markChildToken(SourceLocation Loc, NodeRole R);
3057d382dcdSMarcel Hlopko   /// Set role for \p T.
3067d382dcdSMarcel Hlopko   void markChildToken(const syntax::Token *T, NodeRole R);
3077d382dcdSMarcel Hlopko 
308a711a3a4SMarcel Hlopko   /// Set role for \p N.
309a711a3a4SMarcel Hlopko   void markChild(syntax::Node *N, NodeRole R);
310a711a3a4SMarcel Hlopko   /// Set role for the syntax node matching \p N.
311a711a3a4SMarcel Hlopko   void markChild(ASTPtr N, NodeRole R);
3129b3f38f9SIlya Biryukov 
3139b3f38f9SIlya Biryukov   /// Finish building the tree and consume the root node.
3149b3f38f9SIlya Biryukov   syntax::TranslationUnit *finalize() && {
3159b3f38f9SIlya Biryukov     auto Tokens = Arena.tokenBuffer().expandedTokens();
316bfbf6b6cSIlya Biryukov     assert(!Tokens.empty());
317bfbf6b6cSIlya Biryukov     assert(Tokens.back().kind() == tok::eof);
318bfbf6b6cSIlya Biryukov 
3199b3f38f9SIlya Biryukov     // Build the root of the tree, consuming all the children.
3201ad15046SIlya Biryukov     Pending.foldChildren(Arena, Tokens.drop_back(),
3219b3f38f9SIlya Biryukov                          new (Arena.allocator()) syntax::TranslationUnit);
3229b3f38f9SIlya Biryukov 
3233b929fe7SIlya Biryukov     auto *TU = cast<syntax::TranslationUnit>(std::move(Pending).finalize());
3243b929fe7SIlya Biryukov     TU->assertInvariantsRecursive();
3253b929fe7SIlya Biryukov     return TU;
3269b3f38f9SIlya Biryukov   }
3279b3f38f9SIlya Biryukov 
32888bf9b3dSMarcel Hlopko   /// Finds a token starting at \p L. The token must exist if \p L is valid.
32988bf9b3dSMarcel Hlopko   const syntax::Token *findToken(SourceLocation L) const;
33088bf9b3dSMarcel Hlopko 
331a711a3a4SMarcel Hlopko   /// Finds the syntax tokens corresponding to the \p SourceRange.
332a711a3a4SMarcel Hlopko   llvm::ArrayRef<syntax::Token> getRange(SourceRange Range) const {
333a711a3a4SMarcel Hlopko     assert(Range.isValid());
334a711a3a4SMarcel Hlopko     return getRange(Range.getBegin(), Range.getEnd());
335a711a3a4SMarcel Hlopko   }
336a711a3a4SMarcel Hlopko 
337a711a3a4SMarcel Hlopko   /// Finds the syntax tokens corresponding to the passed source locations.
3389b3f38f9SIlya Biryukov   /// \p First is the start position of the first token and \p Last is the start
3399b3f38f9SIlya Biryukov   /// position of the last token.
3409b3f38f9SIlya Biryukov   llvm::ArrayRef<syntax::Token> getRange(SourceLocation First,
3419b3f38f9SIlya Biryukov                                          SourceLocation Last) const {
3429b3f38f9SIlya Biryukov     assert(First.isValid());
3439b3f38f9SIlya Biryukov     assert(Last.isValid());
3449b3f38f9SIlya Biryukov     assert(First == Last ||
3459b3f38f9SIlya Biryukov            Arena.sourceManager().isBeforeInTranslationUnit(First, Last));
3469b3f38f9SIlya Biryukov     return llvm::makeArrayRef(findToken(First), std::next(findToken(Last)));
3479b3f38f9SIlya Biryukov   }
34888bf9b3dSMarcel Hlopko 
34988bf9b3dSMarcel Hlopko   llvm::ArrayRef<syntax::Token>
35088bf9b3dSMarcel Hlopko   getTemplateRange(const ClassTemplateSpecializationDecl *D) const {
351a711a3a4SMarcel Hlopko     auto Tokens = getRange(D->getSourceRange());
35288bf9b3dSMarcel Hlopko     return maybeAppendSemicolon(Tokens, D);
35388bf9b3dSMarcel Hlopko   }
35488bf9b3dSMarcel Hlopko 
355cdce2fe5SMarcel Hlopko   /// Returns true if \p D is the last declarator in a chain and is thus
356cdce2fe5SMarcel Hlopko   /// reponsible for creating SimpleDeclaration for the whole chain.
357cdce2fe5SMarcel Hlopko   template <class T>
358cdce2fe5SMarcel Hlopko   bool isResponsibleForCreatingDeclaration(const T *D) const {
359cdce2fe5SMarcel Hlopko     static_assert((std::is_base_of<DeclaratorDecl, T>::value ||
360cdce2fe5SMarcel Hlopko                    std::is_base_of<TypedefNameDecl, T>::value),
361cdce2fe5SMarcel Hlopko                   "only DeclaratorDecl and TypedefNameDecl are supported.");
362cdce2fe5SMarcel Hlopko 
363cdce2fe5SMarcel Hlopko     const Decl *Next = D->getNextDeclInContext();
364cdce2fe5SMarcel Hlopko 
365cdce2fe5SMarcel Hlopko     // There's no next sibling, this one is responsible.
366cdce2fe5SMarcel Hlopko     if (Next == nullptr) {
367cdce2fe5SMarcel Hlopko       return true;
368cdce2fe5SMarcel Hlopko     }
369cdce2fe5SMarcel Hlopko     const auto *NextT = llvm::dyn_cast<T>(Next);
370cdce2fe5SMarcel Hlopko 
371cdce2fe5SMarcel Hlopko     // Next sibling is not the same type, this one is responsible.
372cdce2fe5SMarcel Hlopko     if (NextT == nullptr) {
373cdce2fe5SMarcel Hlopko       return true;
374cdce2fe5SMarcel Hlopko     }
375cdce2fe5SMarcel Hlopko     // Next sibling doesn't begin at the same loc, it must be a different
376cdce2fe5SMarcel Hlopko     // declaration, so this declarator is responsible.
377cdce2fe5SMarcel Hlopko     if (NextT->getBeginLoc() != D->getBeginLoc()) {
378cdce2fe5SMarcel Hlopko       return true;
379cdce2fe5SMarcel Hlopko     }
380cdce2fe5SMarcel Hlopko 
381cdce2fe5SMarcel Hlopko     // NextT is a member of the same declaration, and we need the last member to
382cdce2fe5SMarcel Hlopko     // create declaration. This one is not responsible.
383cdce2fe5SMarcel Hlopko     return false;
384cdce2fe5SMarcel Hlopko   }
385cdce2fe5SMarcel Hlopko 
386cdce2fe5SMarcel Hlopko   llvm::ArrayRef<syntax::Token> getDeclarationRange(Decl *D) {
38788bf9b3dSMarcel Hlopko     llvm::ArrayRef<clang::syntax::Token> Tokens;
38888bf9b3dSMarcel Hlopko     // We want to drop the template parameters for specializations.
38988bf9b3dSMarcel Hlopko     if (const auto *S = llvm::dyn_cast<TagDecl>(D))
39088bf9b3dSMarcel Hlopko       Tokens = getRange(S->TypeDecl::getBeginLoc(), S->getEndLoc());
39188bf9b3dSMarcel Hlopko     else
392a711a3a4SMarcel Hlopko       Tokens = getRange(D->getSourceRange());
39388bf9b3dSMarcel Hlopko     return maybeAppendSemicolon(Tokens, D);
3949b3f38f9SIlya Biryukov   }
395cdce2fe5SMarcel Hlopko 
39658fa50f4SIlya Biryukov   llvm::ArrayRef<syntax::Token> getExprRange(const Expr *E) const {
397a711a3a4SMarcel Hlopko     return getRange(E->getSourceRange());
39858fa50f4SIlya Biryukov   }
399cdce2fe5SMarcel Hlopko 
40058fa50f4SIlya Biryukov   /// Find the adjusted range for the statement, consuming the trailing
40158fa50f4SIlya Biryukov   /// semicolon when needed.
40258fa50f4SIlya Biryukov   llvm::ArrayRef<syntax::Token> getStmtRange(const Stmt *S) const {
403a711a3a4SMarcel Hlopko     auto Tokens = getRange(S->getSourceRange());
40458fa50f4SIlya Biryukov     if (isa<CompoundStmt>(S))
40558fa50f4SIlya Biryukov       return Tokens;
40658fa50f4SIlya Biryukov 
40758fa50f4SIlya Biryukov     // Some statements miss a trailing semicolon, e.g. 'return', 'continue' and
40858fa50f4SIlya Biryukov     // all statements that end with those. Consume this semicolon here.
409e702bdb8SIlya Biryukov     if (Tokens.back().kind() == tok::semi)
410e702bdb8SIlya Biryukov       return Tokens;
411e702bdb8SIlya Biryukov     return withTrailingSemicolon(Tokens);
412e702bdb8SIlya Biryukov   }
413e702bdb8SIlya Biryukov 
414e702bdb8SIlya Biryukov private:
415e702bdb8SIlya Biryukov   llvm::ArrayRef<syntax::Token>
41688bf9b3dSMarcel Hlopko   maybeAppendSemicolon(llvm::ArrayRef<syntax::Token> Tokens,
41788bf9b3dSMarcel Hlopko                        const Decl *D) const {
41888bf9b3dSMarcel Hlopko     if (llvm::isa<NamespaceDecl>(D))
41988bf9b3dSMarcel Hlopko       return Tokens;
42088bf9b3dSMarcel Hlopko     if (DeclsWithoutSemicolons.count(D))
42188bf9b3dSMarcel Hlopko       return Tokens;
42288bf9b3dSMarcel Hlopko     // FIXME: do not consume trailing semicolon on function definitions.
42388bf9b3dSMarcel Hlopko     // Most declarations own a semicolon in syntax trees, but not in clang AST.
42488bf9b3dSMarcel Hlopko     return withTrailingSemicolon(Tokens);
42588bf9b3dSMarcel Hlopko   }
42688bf9b3dSMarcel Hlopko 
42788bf9b3dSMarcel Hlopko   llvm::ArrayRef<syntax::Token>
428e702bdb8SIlya Biryukov   withTrailingSemicolon(llvm::ArrayRef<syntax::Token> Tokens) const {
429e702bdb8SIlya Biryukov     assert(!Tokens.empty());
430e702bdb8SIlya Biryukov     assert(Tokens.back().kind() != tok::eof);
4317d382dcdSMarcel Hlopko     // We never consume 'eof', so looking at the next token is ok.
43258fa50f4SIlya Biryukov     if (Tokens.back().kind() != tok::semi && Tokens.end()->kind() == tok::semi)
43358fa50f4SIlya Biryukov       return llvm::makeArrayRef(Tokens.begin(), Tokens.end() + 1);
43458fa50f4SIlya Biryukov     return Tokens;
4359b3f38f9SIlya Biryukov   }
4369b3f38f9SIlya Biryukov 
437a711a3a4SMarcel Hlopko   void setRole(syntax::Node *N, NodeRole R) {
438a711a3a4SMarcel Hlopko     assert(N->role() == NodeRole::Detached);
439a711a3a4SMarcel Hlopko     N->setRole(R);
440a711a3a4SMarcel Hlopko   }
441a711a3a4SMarcel Hlopko 
4429b3f38f9SIlya Biryukov   /// A collection of trees covering the input tokens.
4439b3f38f9SIlya Biryukov   /// When created, each tree corresponds to a single token in the file.
4449b3f38f9SIlya Biryukov   /// Clients call 'foldChildren' to attach one or more subtrees to a parent
4459b3f38f9SIlya Biryukov   /// node and update the list of trees accordingly.
4469b3f38f9SIlya Biryukov   ///
4479b3f38f9SIlya Biryukov   /// Ensures that added nodes properly nest and cover the whole token stream.
4489b3f38f9SIlya Biryukov   struct Forest {
4499b3f38f9SIlya Biryukov     Forest(syntax::Arena &A) {
450bfbf6b6cSIlya Biryukov       assert(!A.tokenBuffer().expandedTokens().empty());
451bfbf6b6cSIlya Biryukov       assert(A.tokenBuffer().expandedTokens().back().kind() == tok::eof);
4529b3f38f9SIlya Biryukov       // Create all leaf nodes.
453bfbf6b6cSIlya Biryukov       // Note that we do not have 'eof' in the tree.
4541ad15046SIlya Biryukov       for (auto &T : A.tokenBuffer().expandedTokens().drop_back()) {
4551ad15046SIlya Biryukov         auto *L = new (A.allocator()) syntax::Leaf(&T);
4561ad15046SIlya Biryukov         L->Original = true;
4571ad15046SIlya Biryukov         L->CanModify = A.tokenBuffer().spelledForExpanded(T).hasValue();
458a711a3a4SMarcel Hlopko         Trees.insert(Trees.end(), {&T, L});
4591ad15046SIlya Biryukov       }
4609b3f38f9SIlya Biryukov     }
4619b3f38f9SIlya Biryukov 
4629b3f38f9SIlya Biryukov     void assignRole(llvm::ArrayRef<syntax::Token> Range,
4639b3f38f9SIlya Biryukov                     syntax::NodeRole Role) {
4649b3f38f9SIlya Biryukov       assert(!Range.empty());
4659b3f38f9SIlya Biryukov       auto It = Trees.lower_bound(Range.begin());
4669b3f38f9SIlya Biryukov       assert(It != Trees.end() && "no node found");
4679b3f38f9SIlya Biryukov       assert(It->first == Range.begin() && "no child with the specified range");
4689b3f38f9SIlya Biryukov       assert((std::next(It) == Trees.end() ||
4699b3f38f9SIlya Biryukov               std::next(It)->first == Range.end()) &&
4709b3f38f9SIlya Biryukov              "no child with the specified range");
471a711a3a4SMarcel Hlopko       assert(It->second->role() == NodeRole::Detached &&
472a711a3a4SMarcel Hlopko              "re-assigning role for a child");
473a711a3a4SMarcel Hlopko       It->second->setRole(Role);
4749b3f38f9SIlya Biryukov     }
4759b3f38f9SIlya Biryukov 
476e702bdb8SIlya Biryukov     /// Add \p Node to the forest and attach child nodes based on \p Tokens.
4771ad15046SIlya Biryukov     void foldChildren(const syntax::Arena &A,
4781ad15046SIlya Biryukov                       llvm::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 
526adcd0268SBenjamin Kramer         R += std::string(llvm::formatv(
527a711a3a4SMarcel Hlopko             "- '{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     };
62688bf9b3dSMarcel Hlopko     if (auto *S = llvm::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) {
680e702bdb8SIlya Biryukov     if (auto *DS = llvm::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);
684e702bdb8SIlya Biryukov     } else if (auto *E = llvm::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 
6981b2f6b4aSEduardo Caldas   syntax::NestedNameSpecifier *
6991b2f6b4aSEduardo Caldas   BuildNestedNameSpecifier(NestedNameSpecifierLoc QualifierLoc) {
7001b2f6b4aSEduardo Caldas     if (!QualifierLoc)
7011b2f6b4aSEduardo Caldas       return nullptr;
7021b2f6b4aSEduardo Caldas     for (auto it = QualifierLoc; it; it = it.getPrefix()) {
7031b2f6b4aSEduardo Caldas       auto *NS = new (allocator()) syntax::NameSpecifier;
7041b2f6b4aSEduardo Caldas       Builder.foldNode(Builder.getRange(it.getLocalSourceRange()), NS, nullptr);
7051b2f6b4aSEduardo Caldas       Builder.markChild(NS, syntax::NodeRole::NestedNameSpecifier_specifier);
7061b2f6b4aSEduardo Caldas     }
7071b2f6b4aSEduardo Caldas     auto *NNS = new (allocator()) syntax::NestedNameSpecifier;
7081b2f6b4aSEduardo Caldas     Builder.foldNode(Builder.getRange(QualifierLoc.getSourceRange()), NNS,
7091b2f6b4aSEduardo Caldas                      nullptr);
7101b2f6b4aSEduardo Caldas     return NNS;
7111b2f6b4aSEduardo Caldas   }
7121b2f6b4aSEduardo Caldas 
713f33c2c27SEduardo Caldas   bool TraverseUserDefinedLiteral(UserDefinedLiteral *S) {
714f33c2c27SEduardo Caldas     // The semantic AST node `UserDefinedLiteral` (UDL) may have one child node
715f33c2c27SEduardo Caldas     // referencing the location of the UDL suffix (`_w` in `1.2_w`). The
716f33c2c27SEduardo Caldas     // UDL suffix location does not point to the beginning of a token, so we
717f33c2c27SEduardo Caldas     // can't represent the UDL suffix as a separate syntax tree node.
718f33c2c27SEduardo Caldas 
719f33c2c27SEduardo Caldas     return WalkUpFromUserDefinedLiteral(S);
720f33c2c27SEduardo Caldas   }
721f33c2c27SEduardo Caldas 
7221db5b348SEduardo Caldas   syntax::UserDefinedLiteralExpression *
7231db5b348SEduardo Caldas   buildUserDefinedLiteral(UserDefinedLiteral *S) {
724f33c2c27SEduardo Caldas     switch (S->getLiteralOperatorKind()) {
725f33c2c27SEduardo Caldas     case clang::UserDefinedLiteral::LOK_Integer:
7261db5b348SEduardo Caldas       return new (allocator()) syntax::IntegerUserDefinedLiteralExpression;
727f33c2c27SEduardo Caldas     case clang::UserDefinedLiteral::LOK_Floating:
7281db5b348SEduardo Caldas       return new (allocator()) syntax::FloatUserDefinedLiteralExpression;
729f33c2c27SEduardo Caldas     case clang::UserDefinedLiteral::LOK_Character:
7301db5b348SEduardo Caldas       return new (allocator()) syntax::CharUserDefinedLiteralExpression;
731f33c2c27SEduardo Caldas     case clang::UserDefinedLiteral::LOK_String:
7321db5b348SEduardo Caldas       return new (allocator()) syntax::StringUserDefinedLiteralExpression;
733f33c2c27SEduardo Caldas     case clang::UserDefinedLiteral::LOK_Raw:
734f33c2c27SEduardo Caldas     case clang::UserDefinedLiteral::LOK_Template:
7351db5b348SEduardo Caldas       // For raw literal operator and numeric literal operator template we
7361db5b348SEduardo Caldas       // cannot get the type of the operand in the semantic AST. We get this
7371db5b348SEduardo Caldas       // information from the token. As integer and floating point have the same
7381db5b348SEduardo Caldas       // token kind, we run `NumericLiteralParser` again to distinguish them.
7391db5b348SEduardo Caldas       auto TokLoc = S->getBeginLoc();
7401db5b348SEduardo Caldas       auto TokSpelling =
741*a474d5baSEduardo Caldas           Builder.findToken(TokLoc)->text(Context.getSourceManager());
7421db5b348SEduardo Caldas       auto Literal =
7431db5b348SEduardo Caldas           NumericLiteralParser(TokSpelling, TokLoc, Context.getSourceManager(),
7441db5b348SEduardo Caldas                                Context.getLangOpts(), Context.getTargetInfo(),
7451db5b348SEduardo Caldas                                Context.getDiagnostics());
7461db5b348SEduardo Caldas       if (Literal.isIntegerLiteral())
7471db5b348SEduardo Caldas         return new (allocator()) syntax::IntegerUserDefinedLiteralExpression;
748*a474d5baSEduardo Caldas       else {
749*a474d5baSEduardo Caldas         assert(Literal.isFloatingLiteral());
7501db5b348SEduardo Caldas         return new (allocator()) syntax::FloatUserDefinedLiteralExpression;
751f33c2c27SEduardo Caldas       }
752f33c2c27SEduardo Caldas     }
753*a474d5baSEduardo Caldas   }
754f33c2c27SEduardo Caldas 
755f33c2c27SEduardo Caldas   bool WalkUpFromUserDefinedLiteral(UserDefinedLiteral *S) {
756f33c2c27SEduardo Caldas     Builder.markChildToken(S->getBeginLoc(), syntax::NodeRole::LiteralToken);
7571db5b348SEduardo Caldas     Builder.foldNode(Builder.getExprRange(S), buildUserDefinedLiteral(S), S);
758f33c2c27SEduardo Caldas     return true;
759f33c2c27SEduardo Caldas   }
760f33c2c27SEduardo Caldas 
7611b2f6b4aSEduardo Caldas   bool WalkUpFromDeclRefExpr(DeclRefExpr *S) {
7621b2f6b4aSEduardo Caldas     if (auto *NNS = BuildNestedNameSpecifier(S->getQualifierLoc()))
7631b2f6b4aSEduardo Caldas       Builder.markChild(NNS, syntax::NodeRole::IdExpression_qualifier);
7641b2f6b4aSEduardo Caldas 
7651b2f6b4aSEduardo Caldas     auto *unqualifiedId = new (allocator()) syntax::UnqualifiedId;
7661b2f6b4aSEduardo Caldas     // Get `UnqualifiedId` from `DeclRefExpr`.
7671b2f6b4aSEduardo Caldas     // FIXME: Extract this logic so that it can be used by `MemberExpr`,
7681b2f6b4aSEduardo Caldas     // and other semantic constructs, now it is tied to `DeclRefExpr`.
7691b2f6b4aSEduardo Caldas     if (!S->hasExplicitTemplateArgs()) {
7701b2f6b4aSEduardo Caldas       Builder.foldNode(Builder.getRange(S->getNameInfo().getSourceRange()),
7711b2f6b4aSEduardo Caldas                        unqualifiedId, nullptr);
7721b2f6b4aSEduardo Caldas     } else {
7731b2f6b4aSEduardo Caldas       auto templateIdSourceRange =
7741b2f6b4aSEduardo Caldas           SourceRange(S->getNameInfo().getBeginLoc(), S->getRAngleLoc());
7751b2f6b4aSEduardo Caldas       Builder.foldNode(Builder.getRange(templateIdSourceRange), unqualifiedId,
7761b2f6b4aSEduardo Caldas                        nullptr);
7771b2f6b4aSEduardo Caldas     }
7781b2f6b4aSEduardo Caldas     Builder.markChild(unqualifiedId, syntax::NodeRole::IdExpression_id);
7791b2f6b4aSEduardo Caldas 
7801b2f6b4aSEduardo Caldas     Builder.foldNode(Builder.getExprRange(S),
7811b2f6b4aSEduardo Caldas                      new (allocator()) syntax::IdExpression, S);
7821b2f6b4aSEduardo Caldas     return true;
7831b2f6b4aSEduardo Caldas   }
7841b2f6b4aSEduardo Caldas 
785fdbd7833SEduardo Caldas   bool WalkUpFromParenExpr(ParenExpr *S) {
786fdbd7833SEduardo Caldas     Builder.markChildToken(S->getLParen(), syntax::NodeRole::OpenParen);
787fdbd7833SEduardo Caldas     Builder.markExprChild(S->getSubExpr(),
788fdbd7833SEduardo Caldas                           syntax::NodeRole::ParenExpression_subExpression);
789fdbd7833SEduardo Caldas     Builder.markChildToken(S->getRParen(), syntax::NodeRole::CloseParen);
790fdbd7833SEduardo Caldas     Builder.foldNode(Builder.getExprRange(S),
791fdbd7833SEduardo Caldas                      new (allocator()) syntax::ParenExpression, S);
792fdbd7833SEduardo Caldas     return true;
793fdbd7833SEduardo Caldas   }
794fdbd7833SEduardo Caldas 
7953b739690SEduardo Caldas   bool WalkUpFromIntegerLiteral(IntegerLiteral *S) {
79642f6fec3SEduardo Caldas     Builder.markChildToken(S->getLocation(), syntax::NodeRole::LiteralToken);
7973b739690SEduardo Caldas     Builder.foldNode(Builder.getExprRange(S),
7983b739690SEduardo Caldas                      new (allocator()) syntax::IntegerLiteralExpression, S);
7993b739690SEduardo Caldas     return true;
8003b739690SEduardo Caldas   }
8013b739690SEduardo Caldas 
802221d7bbeSEduardo Caldas   bool WalkUpFromCharacterLiteral(CharacterLiteral *S) {
803221d7bbeSEduardo Caldas     Builder.markChildToken(S->getLocation(), syntax::NodeRole::LiteralToken);
804221d7bbeSEduardo Caldas     Builder.foldNode(Builder.getExprRange(S),
805221d7bbeSEduardo Caldas                      new (allocator()) syntax::CharacterLiteralExpression, S);
806221d7bbeSEduardo Caldas     return true;
807221d7bbeSEduardo Caldas   }
8087b404b6dSEduardo Caldas 
8097b404b6dSEduardo Caldas   bool WalkUpFromFloatingLiteral(FloatingLiteral *S) {
8107b404b6dSEduardo Caldas     Builder.markChildToken(S->getLocation(), syntax::NodeRole::LiteralToken);
8117b404b6dSEduardo Caldas     Builder.foldNode(Builder.getExprRange(S),
8127b404b6dSEduardo Caldas                      new (allocator()) syntax::FloatingLiteralExpression, S);
8137b404b6dSEduardo Caldas     return true;
8147b404b6dSEduardo Caldas   }
8157b404b6dSEduardo Caldas 
816466e8b7eSEduardo Caldas   bool WalkUpFromStringLiteral(StringLiteral *S) {
817466e8b7eSEduardo Caldas     Builder.markChildToken(S->getBeginLoc(), syntax::NodeRole::LiteralToken);
818466e8b7eSEduardo Caldas     Builder.foldNode(Builder.getExprRange(S),
819466e8b7eSEduardo Caldas                      new (allocator()) syntax::StringLiteralExpression, S);
820466e8b7eSEduardo Caldas     return true;
821466e8b7eSEduardo Caldas   }
822221d7bbeSEduardo Caldas 
8237b404b6dSEduardo Caldas   bool WalkUpFromCXXBoolLiteralExpr(CXXBoolLiteralExpr *S) {
8247b404b6dSEduardo Caldas     Builder.markChildToken(S->getLocation(), syntax::NodeRole::LiteralToken);
8257b404b6dSEduardo Caldas     Builder.foldNode(Builder.getExprRange(S),
8267b404b6dSEduardo Caldas                      new (allocator()) syntax::BoolLiteralExpression, S);
8277b404b6dSEduardo Caldas     return true;
8287b404b6dSEduardo Caldas   }
8297b404b6dSEduardo Caldas 
830007098d7SEduardo Caldas   bool WalkUpFromCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *S) {
83142f6fec3SEduardo Caldas     Builder.markChildToken(S->getLocation(), syntax::NodeRole::LiteralToken);
832007098d7SEduardo Caldas     Builder.foldNode(Builder.getExprRange(S),
833007098d7SEduardo Caldas                      new (allocator()) syntax::CxxNullPtrExpression, S);
834007098d7SEduardo Caldas     return true;
835007098d7SEduardo Caldas   }
836007098d7SEduardo Caldas 
837461af57dSEduardo Caldas   bool WalkUpFromUnaryOperator(UnaryOperator *S) {
83842f6fec3SEduardo Caldas     Builder.markChildToken(S->getOperatorLoc(),
83942f6fec3SEduardo Caldas                            syntax::NodeRole::OperatorExpression_operatorToken);
840461af57dSEduardo Caldas     Builder.markExprChild(S->getSubExpr(),
841461af57dSEduardo Caldas                           syntax::NodeRole::UnaryOperatorExpression_operand);
842461af57dSEduardo Caldas 
843461af57dSEduardo Caldas     if (S->isPostfix())
844461af57dSEduardo Caldas       Builder.foldNode(Builder.getExprRange(S),
845461af57dSEduardo Caldas                        new (allocator()) syntax::PostfixUnaryOperatorExpression,
846461af57dSEduardo Caldas                        S);
847461af57dSEduardo Caldas     else
848461af57dSEduardo Caldas       Builder.foldNode(Builder.getExprRange(S),
849461af57dSEduardo Caldas                        new (allocator()) syntax::PrefixUnaryOperatorExpression,
850461af57dSEduardo Caldas                        S);
851461af57dSEduardo Caldas 
852461af57dSEduardo Caldas     return true;
853461af57dSEduardo Caldas   }
854461af57dSEduardo Caldas 
8553785eb83SEduardo Caldas   bool WalkUpFromBinaryOperator(BinaryOperator *S) {
8563785eb83SEduardo Caldas     Builder.markExprChild(
8573785eb83SEduardo Caldas         S->getLHS(), syntax::NodeRole::BinaryOperatorExpression_leftHandSide);
85842f6fec3SEduardo Caldas     Builder.markChildToken(S->getOperatorLoc(),
85942f6fec3SEduardo Caldas                            syntax::NodeRole::OperatorExpression_operatorToken);
8603785eb83SEduardo Caldas     Builder.markExprChild(
8613785eb83SEduardo Caldas         S->getRHS(), syntax::NodeRole::BinaryOperatorExpression_rightHandSide);
8623785eb83SEduardo Caldas     Builder.foldNode(Builder.getExprRange(S),
8633785eb83SEduardo Caldas                      new (allocator()) syntax::BinaryOperatorExpression, S);
8643785eb83SEduardo Caldas     return true;
8653785eb83SEduardo Caldas   }
8663785eb83SEduardo Caldas 
867ea8bba7eSEduardo Caldas   bool TraverseCXXOperatorCallExpr(CXXOperatorCallExpr *S) {
868ea8bba7eSEduardo Caldas     if (getOperatorNodeKind(*S) ==
869ea8bba7eSEduardo Caldas         syntax::NodeKind::PostfixUnaryOperatorExpression) {
870f33c2c27SEduardo Caldas       // A postfix unary operator is declared as taking two operands. The
871f33c2c27SEduardo Caldas       // second operand is used to distinguish from its prefix counterpart. In
872f33c2c27SEduardo Caldas       // the semantic AST this "phantom" operand is represented as a
873ea8bba7eSEduardo Caldas       // `IntegerLiteral` with invalid `SourceLocation`. We skip visiting this
874ea8bba7eSEduardo Caldas       // operand because it does not correspond to anything written in source
875ea8bba7eSEduardo Caldas       // code
876ea8bba7eSEduardo Caldas       for (auto *child : S->children()) {
877ea8bba7eSEduardo Caldas         if (child->getSourceRange().isInvalid())
878ea8bba7eSEduardo Caldas           continue;
879ea8bba7eSEduardo Caldas         if (!TraverseStmt(child))
880ea8bba7eSEduardo Caldas           return false;
881ea8bba7eSEduardo Caldas       }
882ea8bba7eSEduardo Caldas       return WalkUpFromCXXOperatorCallExpr(S);
883ea8bba7eSEduardo Caldas     } else
884ea8bba7eSEduardo Caldas       return RecursiveASTVisitor::TraverseCXXOperatorCallExpr(S);
885ea8bba7eSEduardo Caldas   }
886ea8bba7eSEduardo Caldas 
8873a574a6cSEduardo Caldas   bool WalkUpFromCXXOperatorCallExpr(CXXOperatorCallExpr *S) {
888ea8bba7eSEduardo Caldas     switch (getOperatorNodeKind(*S)) {
889ea8bba7eSEduardo Caldas     case syntax::NodeKind::BinaryOperatorExpression:
8903a574a6cSEduardo Caldas       Builder.markExprChild(
8913a574a6cSEduardo Caldas           S->getArg(0),
8923a574a6cSEduardo Caldas           syntax::NodeRole::BinaryOperatorExpression_leftHandSide);
8933a574a6cSEduardo Caldas       Builder.markChildToken(
8943a574a6cSEduardo Caldas           S->getOperatorLoc(),
89542f6fec3SEduardo Caldas           syntax::NodeRole::OperatorExpression_operatorToken);
8963a574a6cSEduardo Caldas       Builder.markExprChild(
8973a574a6cSEduardo Caldas           S->getArg(1),
8983a574a6cSEduardo Caldas           syntax::NodeRole::BinaryOperatorExpression_rightHandSide);
8993a574a6cSEduardo Caldas       Builder.foldNode(Builder.getExprRange(S),
9003a574a6cSEduardo Caldas                        new (allocator()) syntax::BinaryOperatorExpression, S);
9013a574a6cSEduardo Caldas       return true;
902ea8bba7eSEduardo Caldas     case syntax::NodeKind::PrefixUnaryOperatorExpression:
903ea8bba7eSEduardo Caldas       Builder.markChildToken(
904ea8bba7eSEduardo Caldas           S->getOperatorLoc(),
905ea8bba7eSEduardo Caldas           syntax::NodeRole::OperatorExpression_operatorToken);
906ea8bba7eSEduardo Caldas       Builder.markExprChild(S->getArg(0),
907ea8bba7eSEduardo Caldas                             syntax::NodeRole::UnaryOperatorExpression_operand);
908ea8bba7eSEduardo Caldas       Builder.foldNode(Builder.getExprRange(S),
909ea8bba7eSEduardo Caldas                        new (allocator()) syntax::PrefixUnaryOperatorExpression,
910ea8bba7eSEduardo Caldas                        S);
911ea8bba7eSEduardo Caldas       return true;
912ea8bba7eSEduardo Caldas     case syntax::NodeKind::PostfixUnaryOperatorExpression:
913ea8bba7eSEduardo Caldas       Builder.markChildToken(
914ea8bba7eSEduardo Caldas           S->getOperatorLoc(),
915ea8bba7eSEduardo Caldas           syntax::NodeRole::OperatorExpression_operatorToken);
916ea8bba7eSEduardo Caldas       Builder.markExprChild(S->getArg(0),
917ea8bba7eSEduardo Caldas                             syntax::NodeRole::UnaryOperatorExpression_operand);
918ea8bba7eSEduardo Caldas       Builder.foldNode(Builder.getExprRange(S),
919ea8bba7eSEduardo Caldas                        new (allocator()) syntax::PostfixUnaryOperatorExpression,
920ea8bba7eSEduardo Caldas                        S);
921ea8bba7eSEduardo Caldas       return true;
922ea8bba7eSEduardo Caldas     case syntax::NodeKind::UnknownExpression:
9233a574a6cSEduardo Caldas       return RecursiveASTVisitor::WalkUpFromCXXOperatorCallExpr(S);
924ea8bba7eSEduardo Caldas     default:
925ea8bba7eSEduardo Caldas       llvm_unreachable("getOperatorNodeKind() does not return this value");
926ea8bba7eSEduardo Caldas     }
9273a574a6cSEduardo Caldas   }
9283a574a6cSEduardo Caldas 
929be14a22bSIlya Biryukov   bool WalkUpFromNamespaceDecl(NamespaceDecl *S) {
930cdce2fe5SMarcel Hlopko     auto Tokens = Builder.getDeclarationRange(S);
931be14a22bSIlya Biryukov     if (Tokens.front().kind() == tok::coloncolon) {
932be14a22bSIlya Biryukov       // Handle nested namespace definitions. Those start at '::' token, e.g.
933be14a22bSIlya Biryukov       // namespace a^::b {}
934be14a22bSIlya Biryukov       // FIXME: build corresponding nodes for the name of this namespace.
935be14a22bSIlya Biryukov       return true;
936be14a22bSIlya Biryukov     }
937a711a3a4SMarcel Hlopko     Builder.foldNode(Tokens, new (allocator()) syntax::NamespaceDefinition, S);
938be14a22bSIlya Biryukov     return true;
939be14a22bSIlya Biryukov   }
940be14a22bSIlya Biryukov 
9417d382dcdSMarcel Hlopko   bool TraverseParenTypeLoc(ParenTypeLoc L) {
9427d382dcdSMarcel Hlopko     // We reverse order of traversal to get the proper syntax structure.
9437d382dcdSMarcel Hlopko     if (!WalkUpFromParenTypeLoc(L))
9447d382dcdSMarcel Hlopko       return false;
9457d382dcdSMarcel Hlopko     return TraverseTypeLoc(L.getInnerLoc());
9467d382dcdSMarcel Hlopko   }
9477d382dcdSMarcel Hlopko 
9487d382dcdSMarcel Hlopko   bool WalkUpFromParenTypeLoc(ParenTypeLoc L) {
9497d382dcdSMarcel Hlopko     Builder.markChildToken(L.getLParenLoc(), syntax::NodeRole::OpenParen);
9507d382dcdSMarcel Hlopko     Builder.markChildToken(L.getRParenLoc(), syntax::NodeRole::CloseParen);
9517d382dcdSMarcel Hlopko     Builder.foldNode(Builder.getRange(L.getLParenLoc(), L.getRParenLoc()),
952a711a3a4SMarcel Hlopko                      new (allocator()) syntax::ParenDeclarator, L);
9537d382dcdSMarcel Hlopko     return true;
9547d382dcdSMarcel Hlopko   }
9557d382dcdSMarcel Hlopko 
9567d382dcdSMarcel Hlopko   // Declarator chunks, they are produced by type locs and some clang::Decls.
9577d382dcdSMarcel Hlopko   bool WalkUpFromArrayTypeLoc(ArrayTypeLoc L) {
9587d382dcdSMarcel Hlopko     Builder.markChildToken(L.getLBracketLoc(), syntax::NodeRole::OpenParen);
9597d382dcdSMarcel Hlopko     Builder.markExprChild(L.getSizeExpr(),
9607d382dcdSMarcel Hlopko                           syntax::NodeRole::ArraySubscript_sizeExpression);
9617d382dcdSMarcel Hlopko     Builder.markChildToken(L.getRBracketLoc(), syntax::NodeRole::CloseParen);
9627d382dcdSMarcel Hlopko     Builder.foldNode(Builder.getRange(L.getLBracketLoc(), L.getRBracketLoc()),
963a711a3a4SMarcel Hlopko                      new (allocator()) syntax::ArraySubscript, L);
9647d382dcdSMarcel Hlopko     return true;
9657d382dcdSMarcel Hlopko   }
9667d382dcdSMarcel Hlopko 
9677d382dcdSMarcel Hlopko   bool WalkUpFromFunctionTypeLoc(FunctionTypeLoc L) {
9687d382dcdSMarcel Hlopko     Builder.markChildToken(L.getLParenLoc(), syntax::NodeRole::OpenParen);
969cdce2fe5SMarcel Hlopko     for (auto *P : L.getParams()) {
970cdce2fe5SMarcel Hlopko       Builder.markChild(P, syntax::NodeRole::ParametersAndQualifiers_parameter);
971cdce2fe5SMarcel Hlopko     }
9727d382dcdSMarcel Hlopko     Builder.markChildToken(L.getRParenLoc(), syntax::NodeRole::CloseParen);
9737d382dcdSMarcel Hlopko     Builder.foldNode(Builder.getRange(L.getLParenLoc(), L.getEndLoc()),
974a711a3a4SMarcel Hlopko                      new (allocator()) syntax::ParametersAndQualifiers, L);
9757d382dcdSMarcel Hlopko     return true;
9767d382dcdSMarcel Hlopko   }
9777d382dcdSMarcel Hlopko 
9787d382dcdSMarcel Hlopko   bool WalkUpFromFunctionProtoTypeLoc(FunctionProtoTypeLoc L) {
9797d382dcdSMarcel Hlopko     if (!L.getTypePtr()->hasTrailingReturn())
9807d382dcdSMarcel Hlopko       return WalkUpFromFunctionTypeLoc(L);
9817d382dcdSMarcel Hlopko 
982cdce2fe5SMarcel Hlopko     auto *TrailingReturnTokens = BuildTrailingReturn(L);
9837d382dcdSMarcel Hlopko     // Finish building the node for parameters.
9847d382dcdSMarcel Hlopko     Builder.markChild(TrailingReturnTokens,
9857d382dcdSMarcel Hlopko                       syntax::NodeRole::ParametersAndQualifiers_trailingReturn);
9867d382dcdSMarcel Hlopko     return WalkUpFromFunctionTypeLoc(L);
9877d382dcdSMarcel Hlopko   }
9887d382dcdSMarcel Hlopko 
9897d382dcdSMarcel Hlopko   bool WalkUpFromMemberPointerTypeLoc(MemberPointerTypeLoc L) {
9907d382dcdSMarcel Hlopko     auto SR = L.getLocalSourceRange();
991a711a3a4SMarcel Hlopko     Builder.foldNode(Builder.getRange(SR),
992a711a3a4SMarcel Hlopko                      new (allocator()) syntax::MemberPointer, L);
9937d382dcdSMarcel Hlopko     return true;
9947d382dcdSMarcel Hlopko   }
9957d382dcdSMarcel Hlopko 
99658fa50f4SIlya Biryukov   // The code below is very regular, it could even be generated with some
99758fa50f4SIlya Biryukov   // preprocessor magic. We merely assign roles to the corresponding children
99858fa50f4SIlya Biryukov   // and fold resulting nodes.
99958fa50f4SIlya Biryukov   bool WalkUpFromDeclStmt(DeclStmt *S) {
100058fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1001a711a3a4SMarcel Hlopko                      new (allocator()) syntax::DeclarationStatement, S);
100258fa50f4SIlya Biryukov     return true;
100358fa50f4SIlya Biryukov   }
100458fa50f4SIlya Biryukov 
100558fa50f4SIlya Biryukov   bool WalkUpFromNullStmt(NullStmt *S) {
100658fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1007a711a3a4SMarcel Hlopko                      new (allocator()) syntax::EmptyStatement, S);
100858fa50f4SIlya Biryukov     return true;
100958fa50f4SIlya Biryukov   }
101058fa50f4SIlya Biryukov 
101158fa50f4SIlya Biryukov   bool WalkUpFromSwitchStmt(SwitchStmt *S) {
1012def65bb4SIlya Biryukov     Builder.markChildToken(S->getSwitchLoc(),
101358fa50f4SIlya Biryukov                            syntax::NodeRole::IntroducerKeyword);
101458fa50f4SIlya Biryukov     Builder.markStmtChild(S->getBody(), syntax::NodeRole::BodyStatement);
101558fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1016a711a3a4SMarcel Hlopko                      new (allocator()) syntax::SwitchStatement, S);
101758fa50f4SIlya Biryukov     return true;
101858fa50f4SIlya Biryukov   }
101958fa50f4SIlya Biryukov 
102058fa50f4SIlya Biryukov   bool WalkUpFromCaseStmt(CaseStmt *S) {
1021def65bb4SIlya Biryukov     Builder.markChildToken(S->getKeywordLoc(),
102258fa50f4SIlya Biryukov                            syntax::NodeRole::IntroducerKeyword);
102358fa50f4SIlya Biryukov     Builder.markExprChild(S->getLHS(), syntax::NodeRole::CaseStatement_value);
102458fa50f4SIlya Biryukov     Builder.markStmtChild(S->getSubStmt(), syntax::NodeRole::BodyStatement);
102558fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1026a711a3a4SMarcel Hlopko                      new (allocator()) syntax::CaseStatement, S);
102758fa50f4SIlya Biryukov     return true;
102858fa50f4SIlya Biryukov   }
102958fa50f4SIlya Biryukov 
103058fa50f4SIlya Biryukov   bool WalkUpFromDefaultStmt(DefaultStmt *S) {
1031def65bb4SIlya Biryukov     Builder.markChildToken(S->getKeywordLoc(),
103258fa50f4SIlya Biryukov                            syntax::NodeRole::IntroducerKeyword);
103358fa50f4SIlya Biryukov     Builder.markStmtChild(S->getSubStmt(), syntax::NodeRole::BodyStatement);
103458fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1035a711a3a4SMarcel Hlopko                      new (allocator()) syntax::DefaultStatement, S);
103658fa50f4SIlya Biryukov     return true;
103758fa50f4SIlya Biryukov   }
103858fa50f4SIlya Biryukov 
103958fa50f4SIlya Biryukov   bool WalkUpFromIfStmt(IfStmt *S) {
1040def65bb4SIlya Biryukov     Builder.markChildToken(S->getIfLoc(), syntax::NodeRole::IntroducerKeyword);
104158fa50f4SIlya Biryukov     Builder.markStmtChild(S->getThen(),
104258fa50f4SIlya Biryukov                           syntax::NodeRole::IfStatement_thenStatement);
1043def65bb4SIlya Biryukov     Builder.markChildToken(S->getElseLoc(),
104458fa50f4SIlya Biryukov                            syntax::NodeRole::IfStatement_elseKeyword);
104558fa50f4SIlya Biryukov     Builder.markStmtChild(S->getElse(),
104658fa50f4SIlya Biryukov                           syntax::NodeRole::IfStatement_elseStatement);
104758fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1048a711a3a4SMarcel Hlopko                      new (allocator()) syntax::IfStatement, S);
104958fa50f4SIlya Biryukov     return true;
105058fa50f4SIlya Biryukov   }
105158fa50f4SIlya Biryukov 
105258fa50f4SIlya Biryukov   bool WalkUpFromForStmt(ForStmt *S) {
1053def65bb4SIlya Biryukov     Builder.markChildToken(S->getForLoc(), syntax::NodeRole::IntroducerKeyword);
105458fa50f4SIlya Biryukov     Builder.markStmtChild(S->getBody(), syntax::NodeRole::BodyStatement);
105558fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1056a711a3a4SMarcel Hlopko                      new (allocator()) syntax::ForStatement, S);
105758fa50f4SIlya Biryukov     return true;
105858fa50f4SIlya Biryukov   }
105958fa50f4SIlya Biryukov 
106058fa50f4SIlya Biryukov   bool WalkUpFromWhileStmt(WhileStmt *S) {
1061def65bb4SIlya Biryukov     Builder.markChildToken(S->getWhileLoc(),
106258fa50f4SIlya Biryukov                            syntax::NodeRole::IntroducerKeyword);
106358fa50f4SIlya Biryukov     Builder.markStmtChild(S->getBody(), syntax::NodeRole::BodyStatement);
106458fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1065a711a3a4SMarcel Hlopko                      new (allocator()) syntax::WhileStatement, S);
106658fa50f4SIlya Biryukov     return true;
106758fa50f4SIlya Biryukov   }
106858fa50f4SIlya Biryukov 
106958fa50f4SIlya Biryukov   bool WalkUpFromContinueStmt(ContinueStmt *S) {
1070def65bb4SIlya Biryukov     Builder.markChildToken(S->getContinueLoc(),
107158fa50f4SIlya Biryukov                            syntax::NodeRole::IntroducerKeyword);
107258fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1073a711a3a4SMarcel Hlopko                      new (allocator()) syntax::ContinueStatement, S);
107458fa50f4SIlya Biryukov     return true;
107558fa50f4SIlya Biryukov   }
107658fa50f4SIlya Biryukov 
107758fa50f4SIlya Biryukov   bool WalkUpFromBreakStmt(BreakStmt *S) {
1078def65bb4SIlya Biryukov     Builder.markChildToken(S->getBreakLoc(),
107958fa50f4SIlya Biryukov                            syntax::NodeRole::IntroducerKeyword);
108058fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1081a711a3a4SMarcel Hlopko                      new (allocator()) syntax::BreakStatement, S);
108258fa50f4SIlya Biryukov     return true;
108358fa50f4SIlya Biryukov   }
108458fa50f4SIlya Biryukov 
108558fa50f4SIlya Biryukov   bool WalkUpFromReturnStmt(ReturnStmt *S) {
1086def65bb4SIlya Biryukov     Builder.markChildToken(S->getReturnLoc(),
108758fa50f4SIlya Biryukov                            syntax::NodeRole::IntroducerKeyword);
108858fa50f4SIlya Biryukov     Builder.markExprChild(S->getRetValue(),
108958fa50f4SIlya Biryukov                           syntax::NodeRole::ReturnStatement_value);
109058fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1091a711a3a4SMarcel Hlopko                      new (allocator()) syntax::ReturnStatement, S);
109258fa50f4SIlya Biryukov     return true;
109358fa50f4SIlya Biryukov   }
109458fa50f4SIlya Biryukov 
109558fa50f4SIlya Biryukov   bool WalkUpFromCXXForRangeStmt(CXXForRangeStmt *S) {
1096def65bb4SIlya Biryukov     Builder.markChildToken(S->getForLoc(), syntax::NodeRole::IntroducerKeyword);
109758fa50f4SIlya Biryukov     Builder.markStmtChild(S->getBody(), syntax::NodeRole::BodyStatement);
109858fa50f4SIlya Biryukov     Builder.foldNode(Builder.getStmtRange(S),
1099a711a3a4SMarcel Hlopko                      new (allocator()) syntax::RangeBasedForStatement, S);
110058fa50f4SIlya Biryukov     return true;
110158fa50f4SIlya Biryukov   }
110258fa50f4SIlya Biryukov 
1103be14a22bSIlya Biryukov   bool WalkUpFromEmptyDecl(EmptyDecl *S) {
1104cdce2fe5SMarcel Hlopko     Builder.foldNode(Builder.getDeclarationRange(S),
1105a711a3a4SMarcel Hlopko                      new (allocator()) syntax::EmptyDeclaration, S);
1106be14a22bSIlya Biryukov     return true;
1107be14a22bSIlya Biryukov   }
1108be14a22bSIlya Biryukov 
1109be14a22bSIlya Biryukov   bool WalkUpFromStaticAssertDecl(StaticAssertDecl *S) {
1110be14a22bSIlya Biryukov     Builder.markExprChild(S->getAssertExpr(),
1111be14a22bSIlya Biryukov                           syntax::NodeRole::StaticAssertDeclaration_condition);
1112be14a22bSIlya Biryukov     Builder.markExprChild(S->getMessage(),
1113be14a22bSIlya Biryukov                           syntax::NodeRole::StaticAssertDeclaration_message);
1114cdce2fe5SMarcel Hlopko     Builder.foldNode(Builder.getDeclarationRange(S),
1115a711a3a4SMarcel Hlopko                      new (allocator()) syntax::StaticAssertDeclaration, S);
1116be14a22bSIlya Biryukov     return true;
1117be14a22bSIlya Biryukov   }
1118be14a22bSIlya Biryukov 
1119be14a22bSIlya Biryukov   bool WalkUpFromLinkageSpecDecl(LinkageSpecDecl *S) {
1120cdce2fe5SMarcel Hlopko     Builder.foldNode(Builder.getDeclarationRange(S),
1121a711a3a4SMarcel Hlopko                      new (allocator()) syntax::LinkageSpecificationDeclaration,
1122a711a3a4SMarcel Hlopko                      S);
1123be14a22bSIlya Biryukov     return true;
1124be14a22bSIlya Biryukov   }
1125be14a22bSIlya Biryukov 
1126be14a22bSIlya Biryukov   bool WalkUpFromNamespaceAliasDecl(NamespaceAliasDecl *S) {
1127cdce2fe5SMarcel Hlopko     Builder.foldNode(Builder.getDeclarationRange(S),
1128a711a3a4SMarcel Hlopko                      new (allocator()) syntax::NamespaceAliasDefinition, S);
1129be14a22bSIlya Biryukov     return true;
1130be14a22bSIlya Biryukov   }
1131be14a22bSIlya Biryukov 
1132be14a22bSIlya Biryukov   bool WalkUpFromUsingDirectiveDecl(UsingDirectiveDecl *S) {
1133cdce2fe5SMarcel Hlopko     Builder.foldNode(Builder.getDeclarationRange(S),
1134a711a3a4SMarcel Hlopko                      new (allocator()) syntax::UsingNamespaceDirective, S);
1135be14a22bSIlya Biryukov     return true;
1136be14a22bSIlya Biryukov   }
1137be14a22bSIlya Biryukov 
1138be14a22bSIlya Biryukov   bool WalkUpFromUsingDecl(UsingDecl *S) {
1139cdce2fe5SMarcel Hlopko     Builder.foldNode(Builder.getDeclarationRange(S),
1140a711a3a4SMarcel Hlopko                      new (allocator()) syntax::UsingDeclaration, S);
1141be14a22bSIlya Biryukov     return true;
1142be14a22bSIlya Biryukov   }
1143be14a22bSIlya Biryukov 
1144be14a22bSIlya Biryukov   bool WalkUpFromUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *S) {
1145cdce2fe5SMarcel Hlopko     Builder.foldNode(Builder.getDeclarationRange(S),
1146a711a3a4SMarcel Hlopko                      new (allocator()) syntax::UsingDeclaration, S);
1147be14a22bSIlya Biryukov     return true;
1148be14a22bSIlya Biryukov   }
1149be14a22bSIlya Biryukov 
1150be14a22bSIlya Biryukov   bool WalkUpFromUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *S) {
1151cdce2fe5SMarcel Hlopko     Builder.foldNode(Builder.getDeclarationRange(S),
1152a711a3a4SMarcel Hlopko                      new (allocator()) syntax::UsingDeclaration, S);
1153be14a22bSIlya Biryukov     return true;
1154be14a22bSIlya Biryukov   }
1155be14a22bSIlya Biryukov 
1156be14a22bSIlya Biryukov   bool WalkUpFromTypeAliasDecl(TypeAliasDecl *S) {
1157cdce2fe5SMarcel Hlopko     Builder.foldNode(Builder.getDeclarationRange(S),
1158a711a3a4SMarcel Hlopko                      new (allocator()) syntax::TypeAliasDeclaration, S);
1159be14a22bSIlya Biryukov     return true;
1160be14a22bSIlya Biryukov   }
1161be14a22bSIlya Biryukov 
11629b3f38f9SIlya Biryukov private:
1163cdce2fe5SMarcel Hlopko   template <class T> SourceLocation getQualifiedNameStart(T *D) {
1164cdce2fe5SMarcel Hlopko     static_assert((std::is_base_of<DeclaratorDecl, T>::value ||
1165cdce2fe5SMarcel Hlopko                    std::is_base_of<TypedefNameDecl, T>::value),
1166cdce2fe5SMarcel Hlopko                   "only DeclaratorDecl and TypedefNameDecl are supported.");
1167cdce2fe5SMarcel Hlopko 
1168cdce2fe5SMarcel Hlopko     auto DN = D->getDeclName();
1169cdce2fe5SMarcel Hlopko     bool IsAnonymous = DN.isIdentifier() && !DN.getAsIdentifierInfo();
1170cdce2fe5SMarcel Hlopko     if (IsAnonymous)
1171cdce2fe5SMarcel Hlopko       return SourceLocation();
1172cdce2fe5SMarcel Hlopko 
1173cdce2fe5SMarcel Hlopko     if (const auto *DD = llvm::dyn_cast<DeclaratorDecl>(D)) {
1174cdce2fe5SMarcel Hlopko       if (DD->getQualifierLoc()) {
1175cdce2fe5SMarcel Hlopko         return DD->getQualifierLoc().getBeginLoc();
1176cdce2fe5SMarcel Hlopko       }
1177cdce2fe5SMarcel Hlopko     }
1178cdce2fe5SMarcel Hlopko 
1179cdce2fe5SMarcel Hlopko     return D->getLocation();
1180cdce2fe5SMarcel Hlopko   }
1181cdce2fe5SMarcel Hlopko 
1182cdce2fe5SMarcel Hlopko   SourceRange getInitializerRange(Decl *D) {
1183cdce2fe5SMarcel Hlopko     if (auto *V = llvm::dyn_cast<VarDecl>(D)) {
1184cdce2fe5SMarcel Hlopko       auto *I = V->getInit();
1185cdce2fe5SMarcel Hlopko       // Initializers in range-based-for are not part of the declarator
1186cdce2fe5SMarcel Hlopko       if (I && !V->isCXXForRangeDecl())
1187cdce2fe5SMarcel Hlopko         return I->getSourceRange();
1188cdce2fe5SMarcel Hlopko     }
1189cdce2fe5SMarcel Hlopko 
1190cdce2fe5SMarcel Hlopko     return SourceRange();
1191cdce2fe5SMarcel Hlopko   }
1192cdce2fe5SMarcel Hlopko 
1193cdce2fe5SMarcel Hlopko   /// Folds SimpleDeclarator node (if present) and in case this is the last
1194cdce2fe5SMarcel Hlopko   /// declarator in the chain it also folds SimpleDeclaration node.
1195cdce2fe5SMarcel Hlopko   template <class T> bool processDeclaratorAndDeclaration(T *D) {
1196cdce2fe5SMarcel Hlopko     SourceRange Initializer = getInitializerRange(D);
1197cdce2fe5SMarcel Hlopko     auto Range = getDeclaratorRange(Builder.sourceManager(),
1198cdce2fe5SMarcel Hlopko                                     D->getTypeSourceInfo()->getTypeLoc(),
1199cdce2fe5SMarcel Hlopko                                     getQualifiedNameStart(D), Initializer);
1200cdce2fe5SMarcel Hlopko 
1201cdce2fe5SMarcel Hlopko     // There doesn't have to be a declarator (e.g. `void foo(int)` only has
1202cdce2fe5SMarcel Hlopko     // declaration, but no declarator).
1203cdce2fe5SMarcel Hlopko     if (Range.getBegin().isValid()) {
1204cdce2fe5SMarcel Hlopko       auto *N = new (allocator()) syntax::SimpleDeclarator;
1205cdce2fe5SMarcel Hlopko       Builder.foldNode(Builder.getRange(Range), N, nullptr);
1206cdce2fe5SMarcel Hlopko       Builder.markChild(N, syntax::NodeRole::SimpleDeclaration_declarator);
1207cdce2fe5SMarcel Hlopko     }
1208cdce2fe5SMarcel Hlopko 
1209cdce2fe5SMarcel Hlopko     if (Builder.isResponsibleForCreatingDeclaration(D)) {
1210cdce2fe5SMarcel Hlopko       Builder.foldNode(Builder.getDeclarationRange(D),
1211cdce2fe5SMarcel Hlopko                        new (allocator()) syntax::SimpleDeclaration, D);
1212cdce2fe5SMarcel Hlopko     }
1213cdce2fe5SMarcel Hlopko     return true;
1214cdce2fe5SMarcel Hlopko   }
1215cdce2fe5SMarcel Hlopko 
12167d382dcdSMarcel Hlopko   /// Returns the range of the built node.
1217a711a3a4SMarcel Hlopko   syntax::TrailingReturnType *BuildTrailingReturn(FunctionProtoTypeLoc L) {
12187d382dcdSMarcel Hlopko     assert(L.getTypePtr()->hasTrailingReturn());
12197d382dcdSMarcel Hlopko 
12207d382dcdSMarcel Hlopko     auto ReturnedType = L.getReturnLoc();
12217d382dcdSMarcel Hlopko     // Build node for the declarator, if any.
12227d382dcdSMarcel Hlopko     auto ReturnDeclaratorRange =
12237d382dcdSMarcel Hlopko         getDeclaratorRange(this->Builder.sourceManager(), ReturnedType,
12247d382dcdSMarcel Hlopko                            /*Name=*/SourceLocation(),
12257d382dcdSMarcel Hlopko                            /*Initializer=*/SourceLocation());
1226a711a3a4SMarcel Hlopko     syntax::SimpleDeclarator *ReturnDeclarator = nullptr;
12277d382dcdSMarcel Hlopko     if (ReturnDeclaratorRange.isValid()) {
1228a711a3a4SMarcel Hlopko       ReturnDeclarator = new (allocator()) syntax::SimpleDeclarator;
1229a711a3a4SMarcel Hlopko       Builder.foldNode(Builder.getRange(ReturnDeclaratorRange),
1230a711a3a4SMarcel Hlopko                        ReturnDeclarator, nullptr);
12317d382dcdSMarcel Hlopko     }
12327d382dcdSMarcel Hlopko 
12337d382dcdSMarcel Hlopko     // Build node for trailing return type.
1234a711a3a4SMarcel Hlopko     auto Return = Builder.getRange(ReturnedType.getSourceRange());
12357d382dcdSMarcel Hlopko     const auto *Arrow = Return.begin() - 1;
12367d382dcdSMarcel Hlopko     assert(Arrow->kind() == tok::arrow);
12377d382dcdSMarcel Hlopko     auto Tokens = llvm::makeArrayRef(Arrow, Return.end());
123842f6fec3SEduardo Caldas     Builder.markChildToken(Arrow, syntax::NodeRole::ArrowToken);
1239a711a3a4SMarcel Hlopko     if (ReturnDeclarator)
1240a711a3a4SMarcel Hlopko       Builder.markChild(ReturnDeclarator,
12417d382dcdSMarcel Hlopko                         syntax::NodeRole::TrailingReturnType_declarator);
1242a711a3a4SMarcel Hlopko     auto *R = new (allocator()) syntax::TrailingReturnType;
1243cdce2fe5SMarcel Hlopko     Builder.foldNode(Tokens, R, L);
1244a711a3a4SMarcel Hlopko     return R;
12457d382dcdSMarcel Hlopko   }
124688bf9b3dSMarcel Hlopko 
1247a711a3a4SMarcel Hlopko   void foldExplicitTemplateInstantiation(
1248a711a3a4SMarcel Hlopko       ArrayRef<syntax::Token> Range, const syntax::Token *ExternKW,
124988bf9b3dSMarcel Hlopko       const syntax::Token *TemplateKW,
1250a711a3a4SMarcel Hlopko       syntax::SimpleDeclaration *InnerDeclaration, Decl *From) {
125188bf9b3dSMarcel Hlopko     assert(!ExternKW || ExternKW->kind() == tok::kw_extern);
125288bf9b3dSMarcel Hlopko     assert(TemplateKW && TemplateKW->kind() == tok::kw_template);
125342f6fec3SEduardo Caldas     Builder.markChildToken(ExternKW, syntax::NodeRole::ExternKeyword);
125488bf9b3dSMarcel Hlopko     Builder.markChildToken(TemplateKW, syntax::NodeRole::IntroducerKeyword);
125588bf9b3dSMarcel Hlopko     Builder.markChild(
125688bf9b3dSMarcel Hlopko         InnerDeclaration,
125788bf9b3dSMarcel Hlopko         syntax::NodeRole::ExplicitTemplateInstantiation_declaration);
1258a711a3a4SMarcel Hlopko     Builder.foldNode(
1259a711a3a4SMarcel Hlopko         Range, new (allocator()) syntax::ExplicitTemplateInstantiation, From);
126088bf9b3dSMarcel Hlopko   }
126188bf9b3dSMarcel Hlopko 
1262a711a3a4SMarcel Hlopko   syntax::TemplateDeclaration *foldTemplateDeclaration(
1263a711a3a4SMarcel Hlopko       ArrayRef<syntax::Token> Range, const syntax::Token *TemplateKW,
1264a711a3a4SMarcel Hlopko       ArrayRef<syntax::Token> TemplatedDeclaration, Decl *From) {
126588bf9b3dSMarcel Hlopko     assert(TemplateKW && TemplateKW->kind() == tok::kw_template);
126688bf9b3dSMarcel Hlopko     Builder.markChildToken(TemplateKW, syntax::NodeRole::IntroducerKeyword);
1267a711a3a4SMarcel Hlopko 
1268a711a3a4SMarcel Hlopko     auto *N = new (allocator()) syntax::TemplateDeclaration;
1269a711a3a4SMarcel Hlopko     Builder.foldNode(Range, N, From);
1270cdce2fe5SMarcel Hlopko     Builder.markChild(N, syntax::NodeRole::TemplateDeclaration_declaration);
1271a711a3a4SMarcel Hlopko     return N;
127288bf9b3dSMarcel Hlopko   }
127388bf9b3dSMarcel Hlopko 
12749b3f38f9SIlya Biryukov   /// A small helper to save some typing.
12759b3f38f9SIlya Biryukov   llvm::BumpPtrAllocator &allocator() { return Builder.allocator(); }
12769b3f38f9SIlya Biryukov 
12779b3f38f9SIlya Biryukov   syntax::TreeBuilder &Builder;
12781db5b348SEduardo Caldas   const ASTContext &Context;
12799b3f38f9SIlya Biryukov };
12809b3f38f9SIlya Biryukov } // namespace
12819b3f38f9SIlya Biryukov 
12827d382dcdSMarcel Hlopko void syntax::TreeBuilder::noticeDeclWithoutSemicolon(Decl *D) {
1283e702bdb8SIlya Biryukov   DeclsWithoutSemicolons.insert(D);
1284e702bdb8SIlya Biryukov }
1285e702bdb8SIlya Biryukov 
1286def65bb4SIlya Biryukov void syntax::TreeBuilder::markChildToken(SourceLocation Loc, NodeRole Role) {
12879b3f38f9SIlya Biryukov   if (Loc.isInvalid())
12889b3f38f9SIlya Biryukov     return;
12899b3f38f9SIlya Biryukov   Pending.assignRole(*findToken(Loc), Role);
12909b3f38f9SIlya Biryukov }
12919b3f38f9SIlya Biryukov 
12927d382dcdSMarcel Hlopko void syntax::TreeBuilder::markChildToken(const syntax::Token *T, NodeRole R) {
12937d382dcdSMarcel Hlopko   if (!T)
12947d382dcdSMarcel Hlopko     return;
12957d382dcdSMarcel Hlopko   Pending.assignRole(*T, R);
12967d382dcdSMarcel Hlopko }
12977d382dcdSMarcel Hlopko 
1298a711a3a4SMarcel Hlopko void syntax::TreeBuilder::markChild(syntax::Node *N, NodeRole R) {
1299a711a3a4SMarcel Hlopko   assert(N);
1300a711a3a4SMarcel Hlopko   setRole(N, R);
1301a711a3a4SMarcel Hlopko }
1302a711a3a4SMarcel Hlopko 
1303a711a3a4SMarcel Hlopko void syntax::TreeBuilder::markChild(ASTPtr N, NodeRole R) {
1304a711a3a4SMarcel Hlopko   auto *SN = Mapping.find(N);
1305a711a3a4SMarcel Hlopko   assert(SN != nullptr);
1306a711a3a4SMarcel Hlopko   setRole(SN, R);
13077d382dcdSMarcel Hlopko }
13087d382dcdSMarcel Hlopko 
130958fa50f4SIlya Biryukov void syntax::TreeBuilder::markStmtChild(Stmt *Child, NodeRole Role) {
131058fa50f4SIlya Biryukov   if (!Child)
131158fa50f4SIlya Biryukov     return;
131258fa50f4SIlya Biryukov 
1313b34b7691SDmitri Gribenko   syntax::Tree *ChildNode;
1314b34b7691SDmitri Gribenko   if (Expr *ChildExpr = dyn_cast<Expr>(Child)) {
131558fa50f4SIlya Biryukov     // This is an expression in a statement position, consume the trailing
131658fa50f4SIlya Biryukov     // semicolon and form an 'ExpressionStatement' node.
1317b34b7691SDmitri Gribenko     markExprChild(ChildExpr, NodeRole::ExpressionStatement_expression);
1318a711a3a4SMarcel Hlopko     ChildNode = new (allocator()) syntax::ExpressionStatement;
1319a711a3a4SMarcel Hlopko     // (!) 'getStmtRange()' ensures this covers a trailing semicolon.
1320a711a3a4SMarcel Hlopko     Pending.foldChildren(Arena, getStmtRange(Child), ChildNode);
1321b34b7691SDmitri Gribenko   } else {
1322b34b7691SDmitri Gribenko     ChildNode = Mapping.find(Child);
132358fa50f4SIlya Biryukov   }
1324b34b7691SDmitri Gribenko   assert(ChildNode != nullptr);
1325a711a3a4SMarcel Hlopko   setRole(ChildNode, Role);
132658fa50f4SIlya Biryukov }
132758fa50f4SIlya Biryukov 
132858fa50f4SIlya Biryukov void syntax::TreeBuilder::markExprChild(Expr *Child, NodeRole Role) {
1329be14a22bSIlya Biryukov   if (!Child)
1330be14a22bSIlya Biryukov     return;
1331a711a3a4SMarcel Hlopko   Child = Child->IgnoreImplicit();
1332be14a22bSIlya Biryukov 
1333a711a3a4SMarcel Hlopko   syntax::Tree *ChildNode = Mapping.find(Child);
1334a711a3a4SMarcel Hlopko   assert(ChildNode != nullptr);
1335a711a3a4SMarcel Hlopko   setRole(ChildNode, Role);
133658fa50f4SIlya Biryukov }
133758fa50f4SIlya Biryukov 
13389b3f38f9SIlya Biryukov const syntax::Token *syntax::TreeBuilder::findToken(SourceLocation L) const {
133988bf9b3dSMarcel Hlopko   if (L.isInvalid())
134088bf9b3dSMarcel Hlopko     return nullptr;
1341c1bbefefSIlya Biryukov   auto It = LocationToToken.find(L.getRawEncoding());
1342c1bbefefSIlya Biryukov   assert(It != LocationToToken.end());
1343c1bbefefSIlya Biryukov   return It->second;
13449b3f38f9SIlya Biryukov }
13459b3f38f9SIlya Biryukov 
13469b3f38f9SIlya Biryukov syntax::TranslationUnit *
13479b3f38f9SIlya Biryukov syntax::buildSyntaxTree(Arena &A, const TranslationUnitDecl &TU) {
13489b3f38f9SIlya Biryukov   TreeBuilder Builder(A);
13499b3f38f9SIlya Biryukov   BuildTreeVisitor(TU.getASTContext(), Builder).TraverseAST(TU.getASTContext());
13509b3f38f9SIlya Biryukov   return std::move(Builder).finalize();
13519b3f38f9SIlya Biryukov }
1352