Source code
Revision control
Copy as Markdown
Other Tools
/* 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
#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:
static bool is_trivially_relocatable(const TagDecl *D) {
if (auto RD = dyn_cast<CXXRecordDecl>(D)) {
// Trivially relocatable trait
if (RD->isCompleteDefinition() &&
(RD->hasTrivialMoveConstructor() ||
(!RD->hasMoveConstructor() && RD->hasTrivialCopyConstructor())) &&
RD->hasTrivialDestructor()) {
return true;
}
// Extension for std::unique_ptr
if (auto *Spec = dyn_cast<ClassTemplateSpecializationDecl>(RD)) {
if (getDeclarationNamespace(D) == "std" &&
(getNameChecked(D) == "unique_ptr")) {
unsigned ParameterIndex = 0;
const auto &TArgs = Spec->getTemplateArgs();
if (TArgs.size() != 2) {
return false; // should not happen
}
// Skip the first parameter, it's used to store the pointer and
// doesn't force any requirement on the unique_ptr
const auto &Deleter = TArgs[1];
if (Deleter.getKind() != TemplateArgument::Type)
return false;
QualType DeleterTy = Deleter.getAsType();
if (const auto *TD = DeleterTy->getAsTagDecl()) {
return is_trivially_relocatable(TD);
} else {
return false; // should not happen
}
}
}
}
return false;
}
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.
if (is_trivially_relocatable(D)) {
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