build/clang-plugin/MemMoveAnnotation.h
author Ehsan Akhgari <ehsan@mozilla.com>
Fri, 18 Jan 2019 10:16:18 +0100
changeset 498253 5f4630838d46dd81dadb13220a4af0da9e23a619
parent 479396 e3118f787e336e908dd7a8f42d71211cb8738bfe
child 508705 4b6ece1be5c2d4a095c42cf76bdc42120f0da872
permissions -rw-r--r--
Bug 1521000 - Part 2: Adjust our clang-format rules to include spaces after the hash for nested preprocessor directives r=sylvestre # ignore-this-changeset

/* 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"

class MemMoveAnnotation final : public CustomTypeAnnotation {
public:
  MemMoveAnnotation()
      : CustomTypeAnnotation(moz_non_memmovable, "non-memmove()able") {}

  virtual ~MemMoveAnnotation() {}

protected:
  std::string getImplicitReason(const TagDecl *D) const override {
    // Annotate everything in ::std, with a few exceptions; see bug
    // 1201314 for discussion.
    if (getDeclarationNamespace(D) == "std") {
      // This doesn't check that it's really ::std::pair and not
      // ::std::something_else::pair, but should be good enough.
      StringRef Name = getNameChecked(D);
      if (Name == "pair" || Name == "atomic" ||
          // libstdc++ specific names
          Name == "__atomic_base" || Name == "atomic_bool" ||
          // MSVCRT specific names
          Name == "_Atomic_impl" || Name == "_Atomic_base" ||
          Name == "_Atomic_bool" || Name == "_Atomic_char" ||
          Name == "_Atomic_schar" || Name == "_Atomic_uchar" ||
          Name == "_Atomic_char16_t" || Name == "_Atomic_char32_t" ||
          Name == "_Atomic_wchar_t" || Name == "_Atomic_short" ||
          Name == "_Atomic_ushort" || Name == "_Atomic_int" ||
          Name == "_Atomic_uint" || Name == "_Atomic_long" ||
          Name == "_Atomic_ulong" || Name == "_Atomic_llong" ||
          Name == "_Atomic_ullong" || Name == "_Atomic_address") {
        return "";
      }
      return "it is an stl-provided type not guaranteed to be memmove-able";
    }
    return "";
  }
};

extern MemMoveAnnotation NonMemMovable;

#endif