summaryrefslogtreecommitdiffstats
path: root/build/clang-plugin/MemMoveAnnotation.h
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
commit36d22d82aa202bb199967e9512281e9a53db42c9 (patch)
tree105e8c98ddea1c1e4784a60a5a6410fa416be2de /build/clang-plugin/MemMoveAnnotation.h
parentInitial commit. (diff)
downloadfirefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.tar.xz
firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.zip
Adding upstream version 115.7.0esr.upstream/115.7.0esrupstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'build/clang-plugin/MemMoveAnnotation.h')
-rw-r--r--build/clang-plugin/MemMoveAnnotation.h62
1 files changed, 62 insertions, 0 deletions
diff --git a/build/clang-plugin/MemMoveAnnotation.h b/build/clang-plugin/MemMoveAnnotation.h
new file mode 100644
index 0000000000..0a1a96e8ff
--- /dev/null
+++ b/build/clang-plugin/MemMoveAnnotation.h
@@ -0,0 +1,62 @@
+/* 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 MemMoveAnnotation_h__
+#define MemMoveAnnotation_h__
+
+#include "CustomMatchers.h"
+#include "CustomTypeAnnotation.h"
+#include "Utils.h"
+
+#include <unordered_set>
+
+class MemMoveAnnotation final : public CustomTypeAnnotation {
+public:
+ MemMoveAnnotation()
+ : CustomTypeAnnotation(moz_non_memmovable, "non-memmove()able") {}
+
+ virtual ~MemMoveAnnotation() {}
+
+protected:
+ std::string getImplicitReason(const TagDecl *D,
+ VisitFlags &ToVisit) const override {
+ // Annotate everything in ::std, with a few exceptions; see bug
+ // 1201314 for discussion.
+ if (getDeclarationNamespace(D) != "std") {
+ return "";
+ }
+
+ StringRef Name = getNameChecked(D);
+
+ // If the type has a trivial move constructor and destructor, it is safe to
+ // memmove, and we don't need to visit any fields.
+ auto RD = dyn_cast<CXXRecordDecl>(D);
+ if (RD && RD->isCompleteDefinition() &&
+ (RD->hasTrivialMoveConstructor() ||
+ (!RD->hasMoveConstructor() && RD->hasTrivialCopyConstructor())) &&
+ RD->hasTrivialDestructor()) {
+ ToVisit = VISIT_NONE;
+ return "";
+ }
+
+ // This doesn't check that it's really ::std::pair and not
+ // ::std::something_else::pair, but should be good enough.
+ if (isNameExcepted(Name.data())) {
+ // If we're an excepted name, stop traversing within the type further,
+ // and only check template arguments for foreign types.
+ ToVisit = VISIT_TMPL_ARGS;
+ return "";
+ }
+ return "it is an stl-provided type not guaranteed to be memmove-able";
+ }
+
+private:
+ bool isNameExcepted(StringRef Name) const {
+ return Name == "pair" || Name == "atomic" || Name == "tuple";
+ }
+};
+
+extern MemMoveAnnotation NonMemMovable;
+
+#endif