Index: include/clang/StaticAnalyzer/Checkers/Checkers.td =================================================================== --- include/clang/StaticAnalyzer/Checkers/Checkers.td +++ include/clang/StaticAnalyzer/Checkers/Checkers.td @@ -83,6 +83,7 @@ def MPI : Package<"mpi">, InPackage; def LLVM : Package<"llvm">; +def LLVMAlpha : Package<"llvm">, InPackage, Hidden; // The APIModeling package is for checkers that model APIs and don't perform // any diagnostics. These checkers are always turned on; this package is @@ -730,7 +731,7 @@ //===----------------------------------------------------------------------===// def LLVMConventionsChecker : Checker<"Conventions">, - InPackage, + InPackage, HelpText<"Check code for LLVM codebase conventions">, DescFile<"LLVMConventionsChecker.cpp">; Index: lib/StaticAnalyzer/Checkers/LLVMConventionsChecker.cpp =================================================================== --- lib/StaticAnalyzer/Checkers/LLVMConventionsChecker.cpp +++ lib/StaticAnalyzer/Checkers/LLVMConventionsChecker.cpp @@ -32,8 +32,7 @@ if (!RT) return false; - return StringRef(QualType(RT, 0).getAsString()) == - "class StringRef"; + return StringRef(QualType(RT, 0).getAsString()) == "class StringRef"; } /// Check whether the declaration is semantically inside the top-level Index: test/Analysis/llvm-conventions.cpp =================================================================== --- /dev/null +++ test/Analysis/llvm-conventions.cpp @@ -0,0 +1,271 @@ +// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.llvm.Conventions \ +// RUN: -std=c++14 -verify %s + +//===----------------------------------------------------------------------===// +// Forward declarations for StringRef tests. +//===----------------------------------------------------------------------===// + +using size_t = unsigned long; +using size_type = size_t; + +namespace std { + +using nullptr_t = decltype(nullptr); + +template +struct pair { T1 first; T2 second; }; + +template +struct enable_if {}; + +template +struct enable_if { typedef T type; }; + +template +struct is_same { const static bool value; }; + +template +struct numeric_limits { const static bool is_signed; }; + +template +class basic_string { +public: + basic_string(); + basic_string(const CharT *s); + + ~basic_string(); + void clear(); + + basic_string &operator=(const basic_string &str); + basic_string &operator+=(const basic_string &str); + + const CharT *c_str() const; + const CharT *data() const; + CharT *data(); + + basic_string &append(size_type count, CharT ch); + basic_string &assign(size_type count, CharT ch); + basic_string &erase(size_type index, size_type count); + basic_string &insert(size_type index, size_type count, CharT ch); + basic_string &replace(size_type pos, size_type count, const basic_string &str); + void pop_back(); + void push_back(CharT ch); + void reserve(size_type new_cap); + void resize(size_type count); + void shrink_to_fit(); + void swap(basic_string &other); +}; + +typedef basic_string string; +typedef basic_string wstring; +typedef basic_string u16string; +typedef basic_string u32string; + +} // end of namespace std + +namespace llvm { + +template +struct iterator_range; + +template +struct function_ref; + +struct hash_code; + +template +struct SmallVectorImpl; + +struct APInt; + +class StringRef { +public: + static const size_t npos = ~size_t(0); + using iterator = const char *; + using const_iterator = const char *; + using size_type = size_t; + + /*implicit*/ StringRef() = default; + StringRef(std::nullptr_t) = delete; + /*implicit*/ StringRef(const char *Str); + /*implicit*/ constexpr StringRef(const char *data, size_t length); + /*implicit*/ StringRef(const std::string &Str); + + static StringRef withNullAsEmpty(const char *data); + iterator begin() const; + iterator end() const; + const unsigned char *bytes_begin() const; + const unsigned char *bytes_end() const; + iterator_range bytes() const; + const char *data() const; + bool empty() const; + size_t size() const; + char front() const; + char back() const; + template + StringRef copy(Allocator &A) const; + bool equals(StringRef RHS) const; + bool equals_lower(StringRef RHS) const; + int compare(StringRef RHS) const; + int compare_lower(StringRef RHS) const; + int compare_numeric(StringRef RHS) const; + unsigned edit_distance(StringRef Other, bool AllowReplacements = true, + unsigned MaxEditDistance = 0) const; + std::string str() const; + char operator[](size_t Index) const; + template + typename std::enable_if::value, + StringRef>::type & + operator=(T &&Str) = delete; + operator std::string() const; + bool startswith(StringRef Prefix) const; + bool startswith_lower(StringRef Prefix) const; + bool endswith(StringRef Suffix) const; + bool endswith_lower(StringRef Suffix) const; + size_t find(char C, size_t From = 0) const; + size_t find_lower(char C, size_t From = 0) const; + size_t find_if(function_ref F, size_t From = 0) const; + size_t find_if_not(function_ref F, size_t From = 0) const; + size_t find(StringRef Str, size_t From = 0) const; + size_t find_lower(StringRef Str, size_t From = 0) const; + size_t rfind(char C, size_t From = npos) const; + size_t rfind_lower(char C, size_t From = npos) const; + size_t rfind(StringRef Str) const; + size_t rfind_lower(StringRef Str) const; + size_t find_first_of(char C, size_t From = 0) const; + size_t find_first_of(StringRef Chars, size_t From = 0) const; + size_t find_first_not_of(char C, size_t From = 0) const; + size_t find_first_not_of(StringRef Chars, size_t From = 0) const; + size_t find_last_of(char C, size_t From = npos) const; + size_t find_last_of(StringRef Chars, size_t From = npos) const; + size_t find_last_not_of(char C, size_t From = npos) const; + size_t find_last_not_of(StringRef Chars, size_t From = npos) const; + bool contains(StringRef Other) const; + bool contains(char C) const; + bool contains_lower(StringRef Other) const; + bool contains_lower(char C) const; + size_t count(char C) const; + size_t count(StringRef Str) const; + template + typename std::enable_if::is_signed, bool>::type + getAsInteger(unsigned Radix, T &Result) const; + template + typename std::enable_if::is_signed, bool>::type + getAsInteger(unsigned Radix, T &Result) const; + template + typename std::enable_if::is_signed, bool>::type + consumeInteger(unsigned Radix, T &Result); + template + typename std::enable_if::is_signed, bool>::type + consumeInteger(unsigned Radix, T &Result); + bool getAsInteger(unsigned Radix, APInt &Result) const; + bool getAsDouble(double &Result, bool AllowInexact = true) const; + std::string lower() const; + std::string upper() const; + StringRef substr(size_t Start, size_t N = npos) const; + StringRef take_front(size_t N = 1) const; + StringRef take_back(size_t N = 1) const; + StringRef take_while(function_ref F) const; + StringRef take_until(function_ref F) const; + StringRef drop_front(size_t N = 1) const; + StringRef drop_back(size_t N = 1) const; + StringRef drop_while(function_ref F) const; + StringRef drop_until(function_ref F) const; + bool consume_front(StringRef Prefix); + bool consume_back(StringRef Suffix); + StringRef slice(size_t Start, size_t End) const; + std::pair split(char Separator) const; + std::pair split(StringRef Separator) const; + std::pair rsplit(StringRef Separator) const; + void split(SmallVectorImpl &A, + StringRef Separator, int MaxSplit = -1, + bool KeepEmpty = true) const; + void split(SmallVectorImpl &A, char Separator, int MaxSplit = -1, + bool KeepEmpty = true) const; + std::pair rsplit(char Separator) const; + StringRef ltrim(char Char) const; + StringRef ltrim(StringRef Chars = " \t\n\v\f\r") const; + StringRef rtrim(char Char) const; + StringRef rtrim(StringRef Chars = " \t\n\v\f\r") const; + StringRef trim(char Char) const; + StringRef trim(StringRef Chars = " \t\n\v\f\r") const; +}; + +inline bool operator==(StringRef LHS, StringRef RHS); +inline bool operator!=(StringRef LHS, StringRef RHS); +inline bool operator<(StringRef LHS, StringRef RHS); +inline bool operator<=(StringRef LHS, StringRef RHS); +inline bool operator>(StringRef LHS, StringRef RHS); +inline bool operator>=(StringRef LHS, StringRef RHS); +inline std::string &operator+=(std::string &buffer, StringRef string); +hash_code hash_value(StringRef S); +template struct isPodLike; +template <> struct isPodLike { static const bool value = true; }; + +} // end of namespace llvm + +//===----------------------------------------------------------------------===// +// Tests for StringRef. +//===----------------------------------------------------------------------===// + +void temporarayStringToStringRefAssignmentTest() { + // TODO: Emit a warning. + llvm::StringRef Ref = std::string("Yimmy yummy test."); +} + +void assigningStringToStringRefWithLongerLifetimeTest() { + llvm::StringRef Ref; + { + // TODO: Emit a warning. + Ref = std::string("This is a fine string."); + } +} + +std::string getTemporaryString() { + return "One two three."; +} + +void assigningTempStringFromFunctionToStringRefTest() { + // TODO: Emit a warning. + llvm::StringRef Ref = getTemporaryString(); +} + +//===----------------------------------------------------------------------===// +// Forward declaration for Clang AST nodes. +//===----------------------------------------------------------------------===// + +namespace llvm { + +template +struct SmallVector {}; + +} // end of namespace llvm + +namespace clang { + +struct Type; +struct Decl; +struct Stmt; +struct Attr; + +} // end of namespace clang + +//===----------------------------------------------------------------------===// +// Tests for Clang AST nodes. +//===----------------------------------------------------------------------===// + +namespace clang { + +struct Type { + std::string str; // expected-warning{{AST class 'Type' has a field 'str' that allocates heap memory (type std::string)}} +}; + +} // end of namespace clang + +namespace clang { + +struct Decl { + llvm::SmallVector Vec; // expected-warning{{AST class 'Decl' has a field 'Vec' that allocates heap memory (type llvm::SmallVector)}} +}; + +} // end of namespace clang Index: www/analyzer/alpha_checks.html =================================================================== --- www/analyzer/alpha_checks.html +++ www/analyzer/alpha_checks.html @@ -27,6 +27,7 @@
  • Clone Alpha Checkers
  • Core Alpha Checkers
  • C++ Alpha Checkers
    • +
  • LLVM Checkers
  • Variable Argument Alpha Checkers
  • Dead Code Alpha Checkers
  • OS X Alpha Checkers
    • @@ -554,6 +555,31 @@ + +

    LLVM Checkers

    + + + + + + + + +
    Name, DescriptionExample
    + +

    OS X Alpha Checkers