clang-tidy/misc/StaticAssertCheck.h

0001 //===--- StaticAssertCheck.h - clang-tidy -----------------------*- C++ -*-===//
0002 //
0003 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
0004 // See https://llvm.org/LICENSE.txt for license information.
0005 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
0006 //
0007 //===----------------------------------------------------------------------===//
0008
0009 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_STATICASSERTCHECK_H
0010 #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_STATICASSERTCHECK_H
0011
0012 #include "../ClangTidyCheck.h"
0013 #include "llvm/ADT/StringRef.h"
0014 #include <string>
0015
0016 namespace clang::tidy::misc {
0017
0018 /// Replaces `assert()` with `static_assert()` if the condition is evaluatable
0019 /// at compile time.
0020 ///
0021 /// The condition of `static_assert()` is evaluated at compile time which is
0022 /// safer and more efficient.
0023 class StaticAssertCheck : public ClangTidyCheck {
0024 public:
0025   StaticAssertCheck(StringRef Name, ClangTidyContext *Context);
0026   bool isLanguageVersionSupported(const LangOptions &LangOpts) const override {
0027     return LangOpts.CPlusPlus11 || LangOpts.C11;
0028   }
0029   void registerMatchers(ast_matchers::MatchFinder *Finder) override;
0030   void check(const ast_matchers::MatchFinder::MatchResult &Result) override;
0031
0032 private:
0033   SourceLocation getLastParenLoc(const ASTContext *ASTCtx,
0034                                  SourceLocation AssertLoc);
0035 };
0036
0037 } // namespace clang::tidy::misc
0038
0039 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_STATICASSERTCHECK_H