19 using namespace clang;
26 constexpr llvm::StringLiteral WarnAtNode =
"iter";
28 class PointerIterationChecker :
public Checker<check::ASTCodeBody> {
30 void checkASTCodeBody(
const Decl *D,
32 BugReporter &BR)
const;
36 BugReporter &BR, AnalysisManager &AM,
37 const PointerIterationChecker *Checker) {
38 auto *ADC = AM.getAnalysisDeclContext(D);
43 auto Range = MarkedStmt->getSourceRange();
45 BR.getSourceManager(),
47 std::string Diagnostics;
48 llvm::raw_string_ostream
OS(Diagnostics);
49 OS <<
"Iteration of pointer-like elements " 50 <<
"can result in non-deterministic ordering";
52 BR.EmitBasicReport(ADC->getDecl(), Checker,
53 "Iteration of pointer-like elements",
"Non-determinism",
54 OS.str(), Location, Range);
66 auto matchUnorderedIterWithPointers() -> decltype(
decl()) {
75 hasLoopVariable(PointerTypeM),
76 hasRangeInit(UnorderedContainerM)
82 void PointerIterationChecker::checkASTCodeBody(
const Decl *D,
84 BugReporter &BR)
const {
85 auto MatcherM = matchUnorderedIterWithPointers();
88 for (
const auto &Match : Matches)
94 void ento::registerPointerIterationChecker(CheckerManager &Mgr) {
95 Mgr.registerChecker<PointerIterationChecker>();
98 bool ento::shouldRegisterPointerIterationChecker(
const LangOptions &LO) {
const internal::VariadicAllOfMatcher< Stmt > stmt
Matches statements.
Stmt - This represents one statement.
const internal::VariadicDynCastAllOfMatcher< Decl, RecordDecl > recordDecl
Matches class, struct, and union declarations.
Decl - This represents one declaration (or definition), e.g.
const AstTypeMatcher< PointerType > pointerType
Matches pointer types, but does not match Objective-C object pointer types.
const internal::VariadicDynCastAllOfMatcher< Decl, VarDecl > varDecl
Matches variable declarations.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
const internal::VariadicDynCastAllOfMatcher< Stmt, DeclRefExpr > declRefExpr
Matches expressions that refer to declarations.
const T * getNodeAs(StringRef ID) const
Returns the AST node bound to ID.
SmallVector< BoundNodes, 1 > match(MatcherT Matcher, const NodeT &Node, ASTContext &Context)
Returns the results of matching Matcher on Node.
const internal::ArgumentAdaptingMatcherFunc< internal::ForEachDescendantMatcher > forEachDescendant
Matches AST nodes that have descendant AST nodes that match the provided matcher. ...
const internal::VariadicAllOfMatcher< Decl > decl
Matches declarations.
Maps string IDs to AST nodes matched by parts of a matcher.
static PathDiagnosticLocation createBegin(const Decl *D, const SourceManager &SM)
Create a location for the beginning of the declaration.
ASTContext & getASTContext() const LLVM_READONLY
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXForRangeStmt > cxxForRangeStmt
Matches range-based for statements.
static void emitDiagnostics(BoundNodes &Match, const Decl *D, BugReporter &BR, AnalysisManager &AM, const ObjCAutoreleaseWriteChecker *Checker)
Dataflow Directional Tag Classes.
Indicates that the tracking object is a descendant of a referenced-counted OSObject, used in the Darwin kernel.
internal::Matcher< NamedDecl > hasName(const std::string &Name)
Matches NamedDecl nodes that have the specified name.