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 LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_STATICASSERTCHECK_H 11 12 #include "../ClangTidyCheck.h" 13 #include "llvm/ADT/StringRef.h" 14 #include <string> 15 16 namespace clang { 17 namespace tidy { 18 namespace misc { 19 20 /// Replaces `assert()` with `static_assert()` if the condition is evaluatable 21 /// at compile time. 22 /// 23 /// The condition of `static_assert()` is evaluated at compile time which is 24 /// safer and more efficient. 25 class StaticAssertCheck : public ClangTidyCheck { 26 public: 27 StaticAssertCheck(StringRef Name, ClangTidyContext *Context); isLanguageVersionSupported(const LangOptions & LangOpts)28 bool isLanguageVersionSupported(const LangOptions &LangOpts) const override { 29 return LangOpts.CPlusPlus11 || LangOpts.C11; 30 } 31 void registerMatchers(ast_matchers::MatchFinder *Finder) override; 32 void check(const ast_matchers::MatchFinder::MatchResult &Result) override; 33 34 private: 35 SourceLocation getLastParenLoc(const ASTContext *ASTCtx, 36 SourceLocation AssertLoc); 37 }; 38 39 } // namespace misc 40 } // namespace tidy 41 } // namespace clang 42 43 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_STATICASSERTCHECK_H 44