summaryrefslogtreecommitdiffstats
path: root/build/clang-plugin/ArithmeticArgChecker.cpp
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-19 01:47:29 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-19 01:47:29 +0000
commit0ebf5bdf043a27fd3dfb7f92e0cb63d88954c44d (patch)
treea31f07c9bcca9d56ce61e9a1ffd30ef350d513aa /build/clang-plugin/ArithmeticArgChecker.cpp
parentInitial commit. (diff)
downloadfirefox-esr-0ebf5bdf043a27fd3dfb7f92e0cb63d88954c44d.tar.xz
firefox-esr-0ebf5bdf043a27fd3dfb7f92e0cb63d88954c44d.zip
Adding upstream version 115.8.0esr.upstream/115.8.0esr
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'build/clang-plugin/ArithmeticArgChecker.cpp')
-rw-r--r--build/clang-plugin/ArithmeticArgChecker.cpp60
1 files changed, 60 insertions, 0 deletions
diff --git a/build/clang-plugin/ArithmeticArgChecker.cpp b/build/clang-plugin/ArithmeticArgChecker.cpp
new file mode 100644
index 0000000000..0042961b32
--- /dev/null
+++ b/build/clang-plugin/ArithmeticArgChecker.cpp
@@ -0,0 +1,60 @@
+/* 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/. */
+
+#include "ArithmeticArgChecker.h"
+#include "CustomMatchers.h"
+
+void ArithmeticArgChecker::registerMatchers(MatchFinder *AstMatcher) {
+ AstMatcher->addMatcher(
+ callExpr(allOf(hasDeclaration(noArithmeticExprInArgs()),
+ anyOf(hasDescendant(
+ binaryOperator(
+ allOf(binaryArithmeticOperator(),
+ hasLHS(hasDescendant(declRefExpr())),
+ hasRHS(hasDescendant(declRefExpr()))))
+ .bind("node")),
+ hasDescendant(
+ unaryOperator(
+ allOf(unaryArithmeticOperator(),
+ hasUnaryOperand(allOf(
+ hasType(builtinType()),
+ anyOf(hasDescendant(declRefExpr()),
+ declRefExpr())))))
+ .bind("node")))))
+ .bind("call"),
+ this);
+ AstMatcher->addMatcher(
+ cxxConstructExpr(
+ allOf(hasDeclaration(noArithmeticExprInArgs()),
+ anyOf(hasDescendant(
+ binaryOperator(
+ allOf(binaryArithmeticOperator(),
+ hasLHS(hasDescendant(declRefExpr())),
+ hasRHS(hasDescendant(declRefExpr()))))
+ .bind("node")),
+ hasDescendant(
+ unaryOperator(
+ allOf(unaryArithmeticOperator(),
+ hasUnaryOperand(allOf(
+ hasType(builtinType()),
+ anyOf(hasDescendant(declRefExpr()),
+ declRefExpr())))))
+ .bind("node")))))
+ .bind("call"),
+ this);
+}
+
+void ArithmeticArgChecker::check(const MatchFinder::MatchResult &Result) {
+ const char *Error =
+ "cannot pass an arithmetic expression of built-in types to %0";
+ const Expr *Expression = Result.Nodes.getNodeAs<Expr>("node");
+ if (const CallExpr *Call = Result.Nodes.getNodeAs<CallExpr>("call")) {
+ diag(Expression->getBeginLoc(), Error, DiagnosticIDs::Error)
+ << Call->getDirectCallee();
+ } else if (const CXXConstructExpr *Ctr =
+ Result.Nodes.getNodeAs<CXXConstructExpr>("call")) {
+ diag(Expression->getBeginLoc(), Error, DiagnosticIDs::Error)
+ << Ctr->getConstructor();
+ }
+}