clang
7.0.0
|
#include "ClangSACheckers.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclObjC.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
Go to the source code of this file.
Typedefs | |
using | TriBoolTy = Optional< bool > |
using | MemoizationMapTy = llvm::DenseMap< const Stmt *, Optional< TriBoolTy > > |
Functions | |
static TriBoolTy | seenBeforeRec (const Stmt *Parent, const Stmt *A, const Stmt *B, MemoizationMapTy &Memoization) |
using MemoizationMapTy = llvm::DenseMap<const Stmt *, Optional<TriBoolTy> > |
Definition at line 63 of file RunLoopAutoreleaseLeakChecker.cpp.
Definition at line 62 of file RunLoopAutoreleaseLeakChecker.cpp.
|
static |
Definition at line 66 of file RunLoopAutoreleaseLeakChecker.cpp.
References clang::ast_matchers::anyOf, clang::ast_matchers::anything(), clang::ast_matchers::autoreleasePoolStmt, BoundNodes, clang::ast_matchers::callExpr, clang::Stmt::children(), clang::ento::PathDiagnosticLocation::createBegin(), clang::ast_matchers::decl, clang::ento::BugReporter::EmitBasicReport(), emitDiagnostics(), clang::ast_matchers::functionDecl, clang::ento::AnalysisManager::getAnalysisDeclContext(), clang::Decl::getBody(), clang::AnalysisDeclContext::getDecl(), clang::ento::BugReporter::getSourceManager(), clang::ast_matchers::hasAncestor, clang::Decl::hasBody(), clang::ast_matchers::hasDescendant, clang::ast_matchers::hasName(), clang::ast_matchers::objcMessageExpr, Parent, and clang::ast_matchers::unless.