40 lines · c
1//===----------------------------------------------------------------------===//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-exception6//7//===----------------------------------------------------------------------===//8 9#ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_STATICASSERTCHECK_H10#define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_STATICASSERTCHECK_H11 12#include "../ClangTidyCheck.h"13#include "llvm/ADT/StringRef.h"14#include <string>15 16namespace clang::tidy::misc {17 18/// Replaces `assert()` with `static_assert()` if the condition is evaluatable19/// at compile time.20///21/// The condition of `static_assert()` is evaluated at compile time which is22/// safer and more efficient.23class StaticAssertCheck : public ClangTidyCheck {24public: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 32private:33 SourceLocation getLastParenLoc(const ASTContext *ASTCtx,34 SourceLocation AssertLoc);35};36 37} // namespace clang::tidy::misc38 39#endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_STATICASSERTCHECK_H40