1 | //===--- StaticAssertCheck.h - clang-tidy -----------------------*- C++ -*-===// |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | |
9 | #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_STATICASSERTCHECK_H |
10 | #define |
11 | |
12 | #include "../ClangTidyCheck.h" |
13 | #include "llvm/ADT/StringRef.h" |
14 | #include <string> |
15 | |
16 | namespace clang::tidy::misc { |
17 | |
18 | /// Replaces `assert()` with `static_assert()` if the condition is evaluatable |
19 | /// at compile time. |
20 | /// |
21 | /// The condition of `static_assert()` is evaluated at compile time which is |
22 | /// safer and more efficient. |
23 | class StaticAssertCheck : public ClangTidyCheck { |
24 | public: |
25 | StaticAssertCheck(StringRef Name, ClangTidyContext *Context); |
26 | bool isLanguageVersionSupported(const LangOptions &LangOpts) const override { |
27 | return LangOpts.CPlusPlus11 || LangOpts.C11; |
28 | } |
29 | void registerMatchers(ast_matchers::MatchFinder *Finder) override; |
30 | void check(const ast_matchers::MatchFinder::MatchResult &Result) override; |
31 | |
32 | private: |
33 | SourceLocation getLastParenLoc(const ASTContext *ASTCtx, |
34 | SourceLocation AssertLoc); |
35 | }; |
36 | |
37 | } // namespace clang::tidy::misc |
38 | |
39 | #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_STATICASSERTCHECK_H |
40 | |