skip parsing function bodies

Author: sdkrystian

source/AST/ASTVisitor.cpp

@@ -1474,124 +1474,124 @@ TraverseDecl(
     switch(D->getKind())
     {
     case Decl::Namespace:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             NamespaceDecl*>(D),
             std::forward<Args>(args)...);
         break;
     case Decl::CXXRecord:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             CXXRecordDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::CXXMethod:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             CXXMethodDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::CXXConstructor:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             CXXConstructorDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::CXXConversion:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             CXXConversionDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::CXXDestructor:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             CXXDestructorDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::CXXDeductionGuide:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             CXXDeductionGuideDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::Function:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             FunctionDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::Friend:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             FriendDecl*>(D),
             std::forward<Args>(args)...);
         break;
     case Decl::TypeAlias:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             TypeAliasDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::Typedef:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             TypedefDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::Enum:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             EnumDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::Field:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             FieldDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::Var:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             VarDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::ClassTemplate:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             ClassTemplateDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::ClassTemplatePartialSpecialization:
     case Decl::ClassTemplateSpecialization:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             ClassTemplateSpecializationDecl*>(D),
             std::forward<Args>(args)...);
         break;
     case Decl::VarTemplate:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             VarTemplateDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::VarTemplatePartialSpecialization:
     case Decl::VarTemplateSpecialization:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             VarTemplateSpecializationDecl*>(D),
             std::forward<Args>(args)...);
         break;
     case Decl::FunctionTemplate:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             FunctionTemplateDecl*>(D),
             access,
             std::forward<Args>(args)...);
         break;
     case Decl::ClassScopeFunctionSpecialization:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             ClassScopeFunctionSpecializationDecl*>(D),
             std::forward<Args>(args)...);
         break;
     case Decl::TypeAliasTemplate:
-        this->Traverse(static_cast<
+        Traverse(static_cast<
             TypeAliasTemplateDecl*>(D),
             access,
             std::forward<Args>(args)...);

source/AST/ASTVisitor.hpp

@@ -273,6 +273,19 @@ class ASTVisitor
     bool TraverseContext(DeclContext* D);
 
     void HandleTranslationUnit(ASTContext& Context) override;
+
+
+    /** Skip function bodies
+
+        This is called by Sema when parsing a function that has a body and:
+        - is constexpr, or
+        - uses a placeholder for a deduced return type
+
+        We always return `true` because whenever this function *is* called,
+        it will be for a function that cannot be used in a constant expression,
+        nor one that introduces a new type via returning a local class.
+    */
+    bool shouldSkipFunctionBody(Decl* D) override { return true; }
 };
 
 } // mrdox

source/AST/FrontendAction.cpp

@@ -12,6 +12,7 @@
 #include "ASTVisitor.hpp"
 #include "FrontendAction.hpp"
 #include <clang/Tooling/Tooling.h>
+#include <clang/Frontend/CompilerInstance.h>
 
 namespace clang {
 namespace mrdox {
@@ -29,6 +30,16 @@ struct Action
     {
     }
 
+    bool
+    PrepareToExecuteAction(
+        CompilerInstance& Compiler) override
+    {
+        FrontendOptions& fe_opts =
+            Compiler.getFrontendOpts();
+        fe_opts.SkipFunctionBodies = true;
+        return true;
+    }
+
     std::unique_ptr<clang::ASTConsumer>
     CreateASTConsumer(
         clang::CompilerInstance& Compiler,