diff options
Diffstat (limited to 'compilerplugins/clang/check.hxx')
| -rw-r--r-- | compilerplugins/clang/check.hxx | 316 |
1 files changed, 316 insertions, 0 deletions
diff --git a/compilerplugins/clang/check.hxx b/compilerplugins/clang/check.hxx new file mode 100644 index 0000000000..af6cd355a4 --- /dev/null +++ b/compilerplugins/clang/check.hxx @@ -0,0 +1,316 @@ +/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */ +/* + * This file is part of the LibreOffice project. + * + * This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. + */ + +#pragma once + +#include <cstddef> + +#include <clang/AST/DeclBase.h> +#include <clang/AST/Decl.h> +#include <clang/AST/Type.h> +#include <clang/Basic/OperatorKinds.h> + +#include "compat.hxx" + +namespace loplugin { + +class ContextCheck; +class TerminalCheck; + +namespace detail { + +inline ContextCheck checkRecordDecl( + clang::Decl const * decl, clang::TagTypeKind tag, llvm::StringRef id); + +} + +class DeclCheck; + +class TypeCheck { +public: + explicit TypeCheck(clang::QualType type): type_(type) {} + + explicit TypeCheck(clang::Type const * type): type_(type, 0) {} + + explicit TypeCheck(clang::TypeDecl const * decl): type_(decl->getTypeForDecl(), 0) {} + + explicit operator bool() const { return !type_.isNull(); } + + TypeCheck NonConst() const; + + TypeCheck NonConstVolatile() const; + + TypeCheck Const() const; + + TypeCheck Volatile() const; + + TypeCheck ConstVolatile() const; + + TypeCheck ConstNonVolatile() const; + + TerminalCheck Void() const; + + TerminalCheck Char() const; + + TerminalCheck AnyBoolean() const; + + TypeCheck Pointer() const; + + TerminalCheck Enum() const; + + TypeCheck LvalueReference() const; + + TypeCheck RvalueReference() const; + + inline ContextCheck Class(llvm::StringRef id) const; + + inline ContextCheck Struct(llvm::StringRef id) const; + + inline ContextCheck ClassOrStruct(llvm::StringRef id) const; + + TypeCheck Typedef() const; + + inline ContextCheck Typedef(llvm::StringRef id) const; + + DeclCheck TemplateSpecializationClass() const; + + TypeCheck NotSubstTemplateTypeParmType() const; + +private: + TypeCheck() = default; + + clang::QualType const type_{}; +}; + +class DeclCheck { + friend TypeCheck; + +public: + explicit DeclCheck(clang::Decl const * decl): decl_(decl) {} + + explicit operator bool() const { return decl_ != nullptr; } + + inline ContextCheck Class(llvm::StringRef id) const; + + inline ContextCheck Struct(llvm::StringRef id) const; + + inline ContextCheck ClassOrStruct(llvm::StringRef id) const; + + inline ContextCheck Union(llvm::StringRef id) const; + + inline ContextCheck Function(llvm::StringRef id) const; + + ContextCheck Operator(clang::OverloadedOperatorKind op) const; + + inline ContextCheck Var(llvm::StringRef id) const; + + ContextCheck MemberFunction() const; + +private: + DeclCheck() = default; + + clang::Decl const * const decl_ = nullptr; +}; + +class ContextCheck { +public: + explicit ContextCheck(clang::DeclContext const * context = nullptr): + context_(context) {} + + explicit operator bool() const { return context_ != nullptr; } + + TerminalCheck GlobalNamespace() const; + + inline ContextCheck Namespace(llvm::StringRef id) const; + + TerminalCheck StdNamespace() const; + + TerminalCheck StdOrNestedNamespace() const; + + ContextCheck AnonymousNamespace() const; + + inline ContextCheck Class(llvm::StringRef id) const; + + inline ContextCheck Struct(llvm::StringRef id) const; + + explicit ContextCheck(const clang::NamespaceDecl * decl ) : context_( decl ) {} + +private: + clang::DeclContext const * lookThroughLinkageSpec() const; + + clang::DeclContext const * const context_; +}; + +class TerminalCheck { +public: + explicit operator bool() const { return satisfied_; } + +private: + friend ContextCheck; + friend TypeCheck; + + explicit TerminalCheck(bool satisfied): satisfied_(satisfied) {} + + bool const satisfied_; +}; + + +typedef std::function<bool(clang::Decl const *)> DeclChecker; +// Returns true if the class has a base matching the checker, or, when checkSelf is true, if the +// class itself matches. +bool isDerivedFrom(const clang::CXXRecordDecl *decl, DeclChecker base, bool checkSelf = true); + + +namespace detail { + +ContextCheck checkRecordDecl( + clang::Decl const * decl, clang::TagTypeKind tag, llvm::StringRef id) +{ + auto r = llvm::dyn_cast_or_null<clang::RecordDecl>(decl); + if (r != nullptr && r->getTagKind() == tag) { + auto const i = r->getIdentifier(); + if (i != nullptr && i->getName() == id) { + return ContextCheck(r->getDeclContext()); + } + } + return ContextCheck(); +} + +} + +ContextCheck TypeCheck::Class(llvm::StringRef id) + const +{ + if (!type_.isNull()) { + auto const t = type_->getAs<clang::RecordType>(); + if (t != nullptr) { + return detail::checkRecordDecl(t->getDecl(), compat::TagTypeKind::Class, id); + } + } + return ContextCheck(); +} + +ContextCheck TypeCheck::Struct(llvm::StringRef id) const +{ + if (!type_.isNull()) { + auto const t = type_->getAs<clang::RecordType>(); + if (t != nullptr) { + return detail::checkRecordDecl(t->getDecl(), compat::TagTypeKind::Struct, id); + } + } + return ContextCheck(); +} + +ContextCheck TypeCheck::ClassOrStruct(llvm::StringRef id) const +{ + auto const c1 = Class(id); + if (c1) { + return c1; + } + return Struct(id); +} + +ContextCheck TypeCheck::Typedef(llvm::StringRef id) const +{ + if (!type_.isNull()) { + if (auto const t = type_->getAs<clang::TypedefType>()) { + auto const d = t->getDecl(); + auto const i = d->getIdentifier(); + assert(i != nullptr); + if (i->getName() == id) { + return ContextCheck(d->getDeclContext()); + } + } + } + return ContextCheck(); +} + +ContextCheck DeclCheck::Class(llvm::StringRef id) const +{ + return detail::checkRecordDecl(decl_, compat::TagTypeKind::Class, id); +} + +ContextCheck DeclCheck::Struct(llvm::StringRef id) const +{ + return detail::checkRecordDecl(decl_, compat::TagTypeKind::Struct, id); +} + +ContextCheck DeclCheck::ClassOrStruct(llvm::StringRef id) const +{ + auto const c1 = Class(id); + if (c1) { + return c1; + } + return Struct(id); +} + +ContextCheck DeclCheck::Union(llvm::StringRef id) const +{ + return detail::checkRecordDecl(decl_, compat::TagTypeKind::Union, id); +} + +ContextCheck DeclCheck::Function(llvm::StringRef id) const +{ + auto f = llvm::dyn_cast_or_null<clang::FunctionDecl>(decl_); + if (f != nullptr) { + auto const i = f->getIdentifier(); + if (i != nullptr && i->getName() == id) { + return ContextCheck(f->getDeclContext()); + } + } + return ContextCheck(); +} + +ContextCheck DeclCheck::Var(llvm::StringRef id) const +{ + auto f = llvm::dyn_cast_or_null<clang::VarDecl>(decl_); + if (f != nullptr) { + auto const i = f->getIdentifier(); + if (i != nullptr && i->getName() == id) { + return ContextCheck(f->getDeclContext()); + } + } + return ContextCheck(); +} + +ContextCheck ContextCheck::Namespace(llvm::StringRef id) const +{ + if (context_) { + auto n = llvm::dyn_cast<clang::NamespaceDecl>(lookThroughLinkageSpec()); + if (n != nullptr) { + auto const i = n->getIdentifier(); + if (i != nullptr && i->getName() == id) { + return ContextCheck(n->getParent()); + } + } + } + return ContextCheck(); +} + +ContextCheck ContextCheck::Class(llvm::StringRef id) const +{ + return detail::checkRecordDecl( + llvm::dyn_cast_or_null<clang::Decl>(context_), compat::TagTypeKind::Class, id); +} + +ContextCheck ContextCheck::Struct(llvm::StringRef id) const +{ + return detail::checkRecordDecl( + llvm::dyn_cast_or_null<clang::Decl>(context_), compat::TagTypeKind::Struct, id); +} + +bool isExtraWarnUnusedType(clang::QualType type); + +bool isOkToRemoveArithmeticCast( + clang::ASTContext & context, clang::QualType t1, clang::QualType t2, + const clang::Expr* subExpr); + +} + +/* vim:set shiftwidth=4 softtabstop=4 expandtab: */ |