blob: 654e80d9a9c6c8bf05ee29d32a141578a725cf0c [file] [log] [blame]
//===--- NoEscapeCheck.cpp - clang-tidy -----------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
#include "NoEscapeCheck.h"
#include "clang/AST/ASTContext.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
using namespace clang::ast_matchers;
namespace clang {
namespace tidy {
namespace bugprone {
void NoEscapeCheck::registerMatchers(MatchFinder *Finder) {
Finder->addMatcher(callExpr(callee(functionDecl(hasName("::dispatch_async"))),
argumentCountIs(2),
hasArgument(1, blockExpr().bind("arg-block"))),
this);
Finder->addMatcher(callExpr(callee(functionDecl(hasName("::dispatch_after"))),
argumentCountIs(3),
hasArgument(2, blockExpr().bind("arg-block"))),
this);
}
void NoEscapeCheck::check(const MatchFinder::MatchResult &Result) {
const auto *MatchedEscapingBlock =
Result.Nodes.getNodeAs<BlockExpr>("arg-block");
const BlockDecl *EscapingBlockDecl = MatchedEscapingBlock->getBlockDecl();
for (const BlockDecl::Capture &CapturedVar : EscapingBlockDecl->captures()) {
const VarDecl *Var = CapturedVar.getVariable();
if (Var && Var->hasAttr<NoEscapeAttr>()) {
// FIXME: Add a method to get the location of the use of a CapturedVar so
// that we can diagnose the use of the pointer instead of the block.
diag(MatchedEscapingBlock->getBeginLoc(),
"pointer %0 with attribute 'noescape' is captured by an "
"asynchronously-executed block")
<< Var;
diag(Var->getBeginLoc(), "the 'noescape' attribute is declared here.",
DiagnosticIDs::Note);
}
}
}
} // namespace bugprone
} // namespace tidy
} // namespace clang