diff options
author | Nico Weber <nicolasweber@gmx.de> | 2015-05-17 01:07:16 +0000 |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2015-05-17 01:07:16 +0000 |
commit | 28e0f243cf521103f2c63e1a6b8ea5ff315d6da2 (patch) | |
tree | 748dbc65fa68b4e5108aee4b929462083b07feaa /clang/examples/PrintFunctionNames/PrintFunctionNames.cpp | |
parent | 3b6e51a73ffe202a4baa027f7ae40b12c43afaaa (diff) | |
download | bcm5719-llvm-28e0f243cf521103f2c63e1a6b8ea5ff315d6da2.tar.gz bcm5719-llvm-28e0f243cf521103f2c63e1a6b8ea5ff315d6da2.zip |
Don't leak TemplateIds when a plugin parses late-parsed templates at TU end.
In -fdelayed-template-parsing mode, templates that aren't used are not parsed
at all. For some diagnostic plugins, this is a problem since they want to
analyse the contents of the template function body. What has been suggested
on cfe-dev [1] is to explicitly parse interesting templates in
HandleTranslationUnit(); IWYU does this for example [2].
This is workable, but since the delayed parsing doesn't run below a call to
ParseTopLevelDecl(), no DestroyTemplateIdAnnotationsRAIIObj object is on the
stack to clean up TemplateIds that are created during parsing. To fix this,
let ~Parser() clean them up in delayed template parsing mode instead of
leaking (or asserting in +Assert builds).
(r219810, relanded in r220400, fixed the same problem in incremental processing
mode; the review thread of r219810 has a good discussion of the problem.)
To test this, give the PrintFunctionNames plugin a flag to force parsing
of a template and add a test that uses it in -fdelayed-template-parsing mode.
Without the Parser.cpp change, that test asserts.
1: http://lists.cs.uiuc.edu/pipermail/cfe-dev/2014-August/038415.html
2: https://code.google.com/p/include-what-you-use/source/detail?r=566
llvm-svn: 237531
Diffstat (limited to 'clang/examples/PrintFunctionNames/PrintFunctionNames.cpp')
-rw-r--r-- | clang/examples/PrintFunctionNames/PrintFunctionNames.cpp | 55 |
1 files changed, 53 insertions, 2 deletions
diff --git a/clang/examples/PrintFunctionNames/PrintFunctionNames.cpp b/clang/examples/PrintFunctionNames/PrintFunctionNames.cpp index 39443f597fa..9f8f6e3f050 100644 --- a/clang/examples/PrintFunctionNames/PrintFunctionNames.cpp +++ b/clang/examples/PrintFunctionNames/PrintFunctionNames.cpp @@ -15,14 +15,23 @@ #include "clang/Frontend/FrontendPluginRegistry.h" #include "clang/AST/AST.h" #include "clang/AST/ASTConsumer.h" +#include "clang/AST/RecursiveASTVisitor.h" #include "clang/Frontend/CompilerInstance.h" +#include "clang/Sema/Sema.h" #include "llvm/Support/raw_ostream.h" using namespace clang; namespace { class PrintFunctionsConsumer : public ASTConsumer { + CompilerInstance &Instance; + std::set<std::string> ParsedTemplates; + public: + PrintFunctionsConsumer(CompilerInstance &Instance, + std::set<std::string> ParsedTemplates) + : Instance(Instance), ParsedTemplates(ParsedTemplates) {} + bool HandleTopLevelDecl(DeclGroupRef DG) override { for (DeclGroupRef::iterator i = DG.begin(), e = DG.end(); i != e; ++i) { const Decl *D = *i; @@ -32,13 +41,47 @@ public: return true; } + + void HandleTranslationUnit(ASTContext& context) override { + if (!Instance.getLangOpts().DelayedTemplateParsing) + return; + + // This demonstrates how to force instantiation of some templates in + // -fdelayed-template-parsing mode. (Note: Doing this unconditionally for + // all templates is similar to not using -fdelayed-template-parsig in the + // first place.) + // The advantage of doing this in HandleTranslationUnit() is that all + // codegen (when using -add-plugin) is completely finished and this can't + // affect the compiler output. + struct Visitor : public RecursiveASTVisitor<Visitor> { + const std::set<std::string> &ParsedTemplates; + Visitor(const std::set<std::string> &ParsedTemplates) + : ParsedTemplates(ParsedTemplates) {} + bool VisitFunctionDecl(FunctionDecl *FD) { + if (FD->isLateTemplateParsed() && + ParsedTemplates.count(FD->getNameAsString())) + LateParsedDecls.insert(FD); + return true; + } + + std::set<FunctionDecl*> LateParsedDecls; + } v(ParsedTemplates); + v.TraverseDecl(context.getTranslationUnitDecl()); + clang::Sema &sema = Instance.getSema(); + for (const FunctionDecl *FD : v.LateParsedDecls) { + clang::LateParsedTemplate* LPT = sema.LateParsedTemplateMap.lookup(FD); + sema.LateTemplateParser(sema.OpaqueParser, *LPT); + llvm::errs() << "late-parsed-decl: \"" << FD->getNameAsString() << "\"\n"; + } + } }; class PrintFunctionNamesAction : public PluginASTAction { + std::set<std::string> ParsedTemplates; protected: std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &CI, llvm::StringRef) override { - return llvm::make_unique<PrintFunctionsConsumer>(); + return llvm::make_unique<PrintFunctionsConsumer>(CI, ParsedTemplates); } bool ParseArgs(const CompilerInstance &CI, @@ -47,12 +90,20 @@ protected: llvm::errs() << "PrintFunctionNames arg = " << args[i] << "\n"; // Example error handling. + DiagnosticsEngine &D = CI.getDiagnostics(); if (args[i] == "-an-error") { - DiagnosticsEngine &D = CI.getDiagnostics(); unsigned DiagID = D.getCustomDiagID(DiagnosticsEngine::Error, "invalid argument '%0'"); D.Report(DiagID) << args[i]; return false; + } else if (args[i] == "-parse-template") { + if (i + 1 >= e) { + D.Report(D.getCustomDiagID(DiagnosticsEngine::Error, + "missing -parse-template argument")); + return false; + } + ++i; + ParsedTemplates.insert(args[i]); } } if (!args.empty() && args[0] == "help") |