clang-tools-extra/clang-tidy/modernize/UnaryStaticAssertCheck.cpp

   1 //===--- UnaryStaticAssertCheck.cpp - clang-tidy---------------------------===//
   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 #include "UnaryStaticAssertCheck.h"
  10 #include "clang/AST/ASTContext.h"
  11 #include "clang/ASTMatchers/ASTMatchFinder.h"
  12
  13 using namespace clang::ast_matchers;
  14
  15 namespace clang::tidy::modernize {
  16
  17 void UnaryStaticAssertCheck::registerMatchers(MatchFinder *Finder) {
  18   Finder->addMatcher(staticAssertDecl().bind("static_assert"), this);
  19 }
  20
  21 void UnaryStaticAssertCheck::check(const MatchFinder::MatchResult &Result) {
  22   const auto *MatchedDecl =
  23       Result.Nodes.getNodeAs<StaticAssertDecl>("static_assert");
  24   const auto *AssertMessage =
  25       dyn_cast_if_present<StringLiteral>(MatchedDecl->getMessage());
  26
  27   SourceLocation Loc = MatchedDecl->getLocation();
  28
  29   if (!AssertMessage || AssertMessage->getLength() ||
  30       AssertMessage->getBeginLoc().isMacroID() || Loc.isMacroID())
  31     return;
  32
  33   diag(Loc,
  34        "use unary 'static_assert' when the string literal is an empty string")
  35       << FixItHint::CreateRemoval(AssertMessage->getSourceRange());
  36 }
  37
  38 } // namespace clang::tidy::modernize