From ed5640d8b587fbcfed7dd7967f3de04b37a76f26 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 11:06:44 +0200 Subject: Adding upstream version 4:7.4.7. Signed-off-by: Daniel Baumann --- compilerplugins/clang/datamembershadow.cxx | 126 +++++++++++++++++++++++++++++ 1 file changed, 126 insertions(+) create mode 100644 compilerplugins/clang/datamembershadow.cxx (limited to 'compilerplugins/clang/datamembershadow.cxx') diff --git a/compilerplugins/clang/datamembershadow.cxx b/compilerplugins/clang/datamembershadow.cxx new file mode 100644 index 000000000..93f65de66 --- /dev/null +++ b/compilerplugins/clang/datamembershadow.cxx @@ -0,0 +1,126 @@ +/* -*- 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 +#include +#include +#include + +#include "plugin.hxx" +#include "config_clang.h" +#include "clang/AST/CXXInheritance.h" + +/** + * Check for data member being shadowed. + * + * @TODO check for any members in superclass hierarchy with duplicate names, + * regardless of their visibility, + * more specific names will make the code easier to read + */ +namespace +{ + +class DataMemberShadow: + public loplugin::FilteringPlugin +{ +public: + explicit DataMemberShadow(loplugin::InstantiationData const & data): + FilteringPlugin(data) {} + + virtual void run() override { + TraverseDecl(compiler.getASTContext().getTranslationUnitDecl()); + } + + bool VisitFieldDecl(FieldDecl const *); +}; + +bool DataMemberShadow::VisitFieldDecl(FieldDecl const * fieldDecl) +{ + if (ignoreLocation(fieldDecl)) { + return true; + } + StringRef aFileName = getFilenameOfLocation( + compiler.getSourceManager().getSpellingLoc(fieldDecl->getBeginLoc())); + + // FIXME complex stuff to fix later + + if (loplugin::hasPathnamePrefix(aFileName, SRCDIR "/chart2/source/")) + return true; + if (loplugin::isSamePathname(aFileName, SRCDIR "/include/sfx2/recentdocsview.hxx")) + return true; + if (loplugin::isSamePathname(aFileName, SRCDIR "/include/sfx2/templatelocalview.hxx")) + return true; + if (loplugin::isSamePathname(aFileName, SRCDIR "/store/source/stortree.hxx") + || loplugin::isSamePathname(aFileName, SRCDIR "/store/source/stordata.hxx")) + return true; + if (loplugin::isSamePathname(aFileName, SRCDIR "/sw/source/uibase/inc/dbtree.hxx")) + return true; + + const CXXRecordDecl* parentCXXRecordDecl = dyn_cast(fieldDecl->getDeclContext()); + if (!parentCXXRecordDecl) { + return true; + } + + fieldDecl = fieldDecl->getCanonicalDecl(); + + auto BaseMatchesCallback = [&](const CXXBaseSpecifier *cxxBaseSpecifier, CXXBasePath& Paths) + { + if (!cxxBaseSpecifier->getType().getTypePtr()) + return false; + const CXXRecordDecl* baseCXXRecordDecl = cxxBaseSpecifier->getType()->getAsCXXRecordDecl(); + if (!baseCXXRecordDecl) + return false; + if (baseCXXRecordDecl->isInvalidDecl()) + return false; + for (const FieldDecl* baseFieldDecl : baseCXXRecordDecl->fields()) + { + // TODO look for overlaps even with private fields + + if (baseFieldDecl->getAccess() == AS_private + || !baseFieldDecl->getDeclName().isIdentifier() + || fieldDecl->getName() != baseFieldDecl->getName()) { + continue; + } + std::string sPath; + for (CXXBasePathElement const & pathElement : Paths) { + if (!sPath.empty()) { + sPath += "->"; + } + sPath += pathElement.Class->getNameAsString(); + } + sPath += "->"; + sPath += baseCXXRecordDecl->getNameAsString(); + report(DiagnosticsEngine::Warning, + "data member %0 is shadowing member in superclass, through inheritance path %1", + fieldDecl->getBeginLoc()) + << fieldDecl->getName() + << sPath + << fieldDecl->getSourceRange(); + report(DiagnosticsEngine::Note, + "superclass member here", + baseFieldDecl->getBeginLoc()) + << baseFieldDecl->getSourceRange(); + } + return false; + }; + + CXXBasePaths aPaths; + parentCXXRecordDecl->lookupInBases(BaseMatchesCallback, aPaths); + return true; +} + +loplugin::Plugin::Registration< DataMemberShadow > datamembershadow("datamembershadow", true); + +} + +#endif // LO_CLANG_SHARED_PLUGINS + +/* vim:set shiftwidth=4 softtabstop=4 expandtab: */ -- cgit v1.2.3