Home
last modified time | relevance | path

Searched refs:TrackingKind (Results 1 – 9 of 9) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h311 llvm::DenseMap<SymbolRef, bugreporter::TrackingKind> InterestingSymbols;
318 llvm::DenseMap<const MemRegion *, bugreporter::TrackingKind>
430 void markInteresting(SymbolRef sym, bugreporter::TrackingKind TKind =
431 bugreporter::TrackingKind::Thorough);
440 bugreporter::TrackingKind TKind = bugreporter::TrackingKind::Thorough);
447 void markInteresting(SVal V, bugreporter::TrackingKind TKind =
448 bugreporter::TrackingKind::Thorough);
456 Optional<bugreporter::TrackingKind>
459 Optional<bugreporter::TrackingKind>
462 Optional<bugreporter::TrackingKind> getInterestingnessKind(SVal V) const;
H A DBugReporterVisitors.h95 enum class TrackingKind { enum
109 TrackingKind Kind = TrackingKind::Thorough;
666 bugreporter::TrackingKind TKind;
730 NoStateChangeFuncVisitor(bugreporter::TrackingKind TKind) : TKind(TKind) {} in NoStateChangeFuncVisitor()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DUndefCapturedBlockVarChecker.cpp90 {bugreporter::TrackingKind::Thorough, in checkPostStmt()
H A DObjCContainersChecker.cpp148 {bugreporter::TrackingKind::Thorough, in checkPreStmt()
H A DMIGChecker.cpp290 {bugreporter::TrackingKind::Thorough, /*EnableNullFPSuppression=*/false}); in checkReturnAux()
H A DMallocChecker.cpp921 : NoStateChangeFuncVisitor(bugreporter::TrackingKind::Thorough), Sym(Sym), in NoOwnershipChangeVisitor()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp2226 llvm::DenseMap<T, bugreporter::TrackingKind> &InterestingnessMap, T Val, in insertToInterestingnessMap()
2227 bugreporter::TrackingKind TKind) { in insertToInterestingnessMap()
2240 case bugreporter::TrackingKind::Thorough: in insertToInterestingnessMap()
2241 Result.first->getSecond() = bugreporter::TrackingKind::Thorough; in insertToInterestingnessMap()
2243 case bugreporter::TrackingKind::Condition: in insertToInterestingnessMap()
2254 bugreporter::TrackingKind TKind) { in markInteresting()
2313 Optional<bugreporter::TrackingKind>
2325 case bugreporter::TrackingKind::Thorough: in getInterestingnessKind()
2327 case bugreporter::TrackingKind::Condition: in getInterestingnessKind()
2338 Optional<bugreporter::TrackingKind>
[all …]
H A DBugReporterVisitors.cpp252 if (Optional<bugreporter::TrackingKind> K = B->getInterestingnessKind(*V)) in isVarAnInterestingCondition()
253 return *K == bugreporter::TrackingKind::Condition; in isVarAnInterestingCondition()
518 NoStoreFuncVisitor(const SubRegion *R, bugreporter::TrackingKind TKind) in NoStoreFuncVisitor()
782 if (TKind == bugreporter::TrackingKind::Condition) in maybeEmitNote()
977 bugreporter::TrackingKind TKind;
982 bugreporter::TrackingKind TKind) in ReturnVisitor()
1104 if (TKind == bugreporter::TrackingKind::Condition) in visitNodeInitial()
1578 if (Options.Kind == TrackingKind::Condition && OriginSFC && in VisitNode()
1948 {bugreporter::TrackingKind::Condition, in VisitNode()
2084 if (Opts.Kind == bugreporter::TrackingKind::Condition) in handle()
[all …]
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DNoStateChangeFuncVisitorTest.cpp51 : NoStateChangeFuncVisitor(bugreporter::TrackingKind::Thorough) {} in ErrorNotPreventedFuncVisitor()