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