diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2019-11-16 21:00:53 +0100 |
---|---|---|
committer | Stephan Bergmann <sbergman@redhat.com> | 2019-11-17 00:28:17 +0100 |
commit | 314f15bff08b76bf96acf99141776ef64d2f1355 (patch) | |
tree | 842f7b109d9c4a57fa47fc5089f5818b2610368b /compilerplugins/clang/sharedvisitor/analyzer.cxx | |
parent | 46920005f74edcb70acfb8dd1a0ffb9553e5c2b2 (diff) |
Extend loplugin:external to warn about enums
To mitigate the dangers of silently breaking ADL when moving enums into unnamed
namespaces (see the commit message of 206b5b2661be37efdff3c6aedb6f248c4636be79
"New loplugin:external"), note all functions that are affected. (The plan is to
extend loplugin:external further to also warn about classes and class templates,
and the code to identify affected functions already takes that into account, so
some parts of that code are not actually relevant for enums.)
But it appears that none of the functions that are actually affected by the
changes in this commit relied on being found through ADL, so no adaptions were
necessary for them.
(clang::DeclContext::collectAllContexts is non-const, which recursively means
that External's Visit... functions must take non-const Decl*. Which required
compilerplugins/clang/sharedvisitor/analyzer.cxx to be generalized to support
such Visit... functions with non-const Decl* parameters.)
Change-Id: Ia215291402bf850d43defdab3cff4db5b270d1bd
Reviewed-on: https://gerrit.libreoffice.org/83001
Tested-by: Jenkins
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
Diffstat (limited to 'compilerplugins/clang/sharedvisitor/analyzer.cxx')
-rw-r--r-- | compilerplugins/clang/sharedvisitor/analyzer.cxx | 25 |
1 files changed, 24 insertions, 1 deletions
diff --git a/compilerplugins/clang/sharedvisitor/analyzer.cxx b/compilerplugins/clang/sharedvisitor/analyzer.cxx index d0f5d4e7a8a7..745064647c81 100644 --- a/compilerplugins/clang/sharedvisitor/analyzer.cxx +++ b/compilerplugins/clang/sharedvisitor/analyzer.cxx @@ -14,6 +14,7 @@ #include "clang/Tooling/Tooling.h" #include "llvm/ADT/StringExtras.h" +#include <cassert> #include <cstddef> #include <cstring> #include <iostream> @@ -55,6 +56,8 @@ class CheckFileVisitor : public RecursiveASTVisitor< CheckFileVisitor > { public: + void setContext(ASTContext const& context) { context_ = &context; } + bool VisitCXXRecordDecl(CXXRecordDecl *Declaration); bool TraverseNamespaceDecl(NamespaceDecl * decl) @@ -67,6 +70,21 @@ public: } return RecursiveASTVisitor<CheckFileVisitor>::TraverseNamespaceDecl(decl); } + +private: + ASTContext const* context_ = nullptr; + + QualType unqualifyPointeeType(QualType type) + { + assert(context_ != nullptr); + if (auto const t = type->getAs<PointerType>()) + { + return context_->getQualifiedType( + context_->getPointerType(t->getPointeeType().getUnqualifiedType()), + type.getQualifiers()); + } + return type; + } }; static bool inheritsPluginClassCheck( const Decl* decl ) @@ -116,7 +134,8 @@ bool CheckFileVisitor::VisitCXXRecordDecl( CXXRecordDecl* decl ) cout << "VisitFunctionStart" << endl; cout << "VisitFunctionName:" << method->getName().str() << endl; cout << "VisitFunctionArgument:" - << method->getParamDecl( 0 )->getTypeSourceInfo()->getType().getAsString() + << unqualifyPointeeType( + method->getParamDecl( 0 )->getTypeSourceInfo()->getType()).getAsString() << endl; cout << "VisitFunctionEnd" << endl; } @@ -185,6 +204,10 @@ class FindNamedClassConsumer : public ASTConsumer { public: + void Initialize(ASTContext& context) override + { + visitor.setContext(context); + } virtual void HandleTranslationUnit(ASTContext& context) override { visitor.TraverseDecl( context.getTranslationUnitDecl()); |