summaryrefslogtreecommitdiffstats
path: root/compilerplugins/clang/blockblock.cxx
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-15 05:54:39 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-15 05:54:39 +0000
commit267c6f2ac71f92999e969232431ba04678e7437e (patch)
tree358c9467650e1d0a1d7227a21dac2e3d08b622b2 /compilerplugins/clang/blockblock.cxx
parentInitial commit. (diff)
downloadlibreoffice-267c6f2ac71f92999e969232431ba04678e7437e.tar.xz
libreoffice-267c6f2ac71f92999e969232431ba04678e7437e.zip
Adding upstream version 4:24.2.0.upstream/4%24.2.0
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'compilerplugins/clang/blockblock.cxx')
-rw-r--r--compilerplugins/clang/blockblock.cxx109
1 files changed, 109 insertions, 0 deletions
diff --git a/compilerplugins/clang/blockblock.cxx b/compilerplugins/clang/blockblock.cxx
new file mode 100644
index 0000000000..bfcb0206df
--- /dev/null
+++ b/compilerplugins/clang/blockblock.cxx
@@ -0,0 +1,109 @@
+/* -*- 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 <cassert>
+#include <string>
+#include <iostream>
+#include <fstream>
+#include <set>
+#include "config_clang.h"
+#include "plugin.hxx"
+
+/**
+ Check for places where we declare a block directly inside a block
+ */
+namespace {
+
+class BlockBlock:
+ public loplugin::FilteringPlugin<BlockBlock>
+{
+public:
+ explicit BlockBlock(loplugin::InstantiationData const & data):
+ FilteringPlugin(data) {}
+
+ virtual bool preRun() override
+ {
+ StringRef fn(handler.getMainFileName());
+ if (loplugin::isSamePathname(fn, SRCDIR "/sal/osl/unx/file_misc.cxx"))
+ return false;
+ return true;
+ }
+
+ void run() override {
+ if (preRun()) {
+ TraverseDecl(compiler.getASTContext().getTranslationUnitDecl());
+ }
+ }
+
+ bool VisitCompoundStmt(CompoundStmt const * );
+ bool VisitCaseStmt(CaseStmt const * );
+};
+
+bool BlockBlock::VisitCompoundStmt(CompoundStmt const * compound)
+{
+ if (ignoreLocation(compound))
+ return true;
+ if (compound->size() != 1)
+ return true;
+ auto inner = *compound->body_begin();
+ if (!isa<CompoundStmt>(inner))
+ return true;
+ if (compiler.getSourceManager().isMacroBodyExpansion(compound->getBeginLoc()))
+ return true;
+ if (compiler.getSourceManager().isMacroBodyExpansion(inner->getBeginLoc()))
+ return true;
+ if (containsPreprocessingConditionalInclusion(compound->getSourceRange())) {
+ return true;
+ }
+ report(
+ DiagnosticsEngine::Warning,
+ "block directly inside block",
+ compound->getBeginLoc())
+ << compound->getSourceRange();
+ report(
+ DiagnosticsEngine::Note,
+ "inner block here",
+ inner->getBeginLoc())
+ << inner->getSourceRange();
+ return true;
+}
+
+bool BlockBlock::VisitCaseStmt(CaseStmt const * caseStmt)
+{
+ if (ignoreLocation(caseStmt))
+ return true;
+ auto compoundStmt = dyn_cast<CompoundStmt>(caseStmt->getSubStmt());
+ if (!compoundStmt)
+ return true;
+ if (compoundStmt->size() != 2)
+ return true;
+ auto it = compoundStmt->body_begin();
+ auto inner1 = *it;
+ if (!isa<CompoundStmt>(inner1))
+ return true;
+ ++it;
+ if (!isa<BreakStmt>(*it))
+ return true;
+ report(
+ DiagnosticsEngine::Warning,
+ "block directly inside block",
+ compoundStmt->getBeginLoc())
+ << compoundStmt->getSourceRange();
+ return true;
+}
+
+loplugin::Plugin::Registration< BlockBlock > blockblock("blockblock", true);
+
+}
+
+#endif // LO_CLANG_SHARED_PLUGINS
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */