diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 16:51:28 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 16:51:28 +0000 |
commit | 940b4d1848e8c70ab7642901a68594e8016caffc (patch) | |
tree | eb72f344ee6c3d9b80a7ecc079ea79e9fba8676d /compilerplugins/clang/externandnotdefined.cxx | |
parent | Initial commit. (diff) | |
download | libreoffice-940b4d1848e8c70ab7642901a68594e8016caffc.tar.xz libreoffice-940b4d1848e8c70ab7642901a68594e8016caffc.zip |
Adding upstream version 1:7.0.4.upstream/1%7.0.4upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'compilerplugins/clang/externandnotdefined.cxx')
-rw-r--r-- | compilerplugins/clang/externandnotdefined.cxx | 82 |
1 files changed, 82 insertions, 0 deletions
diff --git a/compilerplugins/clang/externandnotdefined.cxx b/compilerplugins/clang/externandnotdefined.cxx new file mode 100644 index 000000000..5d65579a6 --- /dev/null +++ b/compilerplugins/clang/externandnotdefined.cxx @@ -0,0 +1,82 @@ +/* -*- 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/. + */ + +#ifndef LO_CLANG_SHARED_PLUGINS + +#include <string> + +#include "plugin.hxx" + +// Having an extern prototype for a method in a module and not actually declaring that method is dodgy. +// + +namespace { + +class ExternAndNotDefined: + public loplugin::FilteringPlugin<ExternAndNotDefined> +{ +public: + explicit ExternAndNotDefined(loplugin::InstantiationData const & data): FilteringPlugin(data) {} + + virtual void run() override { TraverseDecl(compiler.getASTContext().getTranslationUnitDecl()); } + + bool VisitFunctionDecl(const FunctionDecl * decl); +}; + +bool ExternAndNotDefined::VisitFunctionDecl(const FunctionDecl * functionDecl) { + if (ignoreLocation(functionDecl)) { + return true; + } + if (functionDecl->isDefined() || functionDecl->isPure() + || (functionDecl->getLinkageAndVisibility().getLinkage() + != ExternalLinkage)) { + return true; + } + //TODO, filtering out anything template for now: + if (functionDecl->isDependentContext()) { + return true; + } + CXXRecordDecl const * r = dyn_cast<CXXRecordDecl>(functionDecl->getDeclContext()); + if (r != nullptr && r->getTemplateSpecializationKind() != TSK_Undeclared) { + return true; + } + // this is the bison/flex C API, it has to be defined this way + std::string functionName = functionDecl->getNameAsString(); + if (functionName == "yyerror" || functionName == "yyparse" || functionName == "yylex") { + return true; + } + // see vcl/unx/gtk/app/gtksys.cxx, typename conflicts prevent using the right include + if (functionName == "gdk_x11_screen_get_screen_number") { + return true; + } + if (!compiler.getSourceManager().isInMainFile(functionDecl->getLocation())) + { + return true; + } + StringRef fileName { getFilenameOfLocation(functionDecl->getLocation()) }; + // the filters use some kind of dynamic loading stunt + if (loplugin::hasPathnamePrefix(fileName, SRCDIR "/filter/qa/")) { + return true; + } + report( + DiagnosticsEngine::Warning, + "extern prototype in main file without definition", + functionDecl->getLocation()) + << functionDecl->getSourceRange(); + return true; +} + + +loplugin::Plugin::Registration< ExternAndNotDefined > externandnotdefined("externandnotdefined"); + +} + +#endif // LO_CLANG_SHARED_PLUGINS + +/* vim:set shiftwidth=4 softtabstop=4 expandtab: */ |