Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/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 std::optional<bugreporter::TrackingKind>
459 std::optional<bugreporter::TrackingKind>
462 std::optional<bugreporter::TrackingKind> getInterestingnessKind(SVal V) const;
H A DBugReporterVisitors.h102 enum class TrackingKind { enum
116 TrackingKind Kind = TrackingKind::Thorough;
672 bugreporter::TrackingKind TKind;
736 NoStateChangeFuncVisitor(bugreporter::TrackingKind TKind) : TKind(TKind) {} in NoStateChangeFuncVisitor()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUndefCapturedBlockVarChecker.cpp84 {bugreporter::TrackingKind::Thorough, in checkPostStmt()
H A DObjCContainersChecker.cpp143 {bugreporter::TrackingKind::Thorough, in checkPreStmt()
H A DMIGChecker.cpp291 {bugreporter::TrackingKind::Thorough, /*EnableNullFPSuppression=*/false}); in checkReturnAux()
H A DMallocChecker.cpp907 : NoStateChangeFuncVisitor(bugreporter::TrackingKind::Thorough), Sym(Sym), in NoOwnershipChangeVisitor()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp2224 llvm::DenseMap<T, bugreporter::TrackingKind> &InterestingnessMap, T Val, in insertToInterestingnessMap()
2225 bugreporter::TrackingKind TKind) { in insertToInterestingnessMap()
2238 case bugreporter::TrackingKind::Thorough: in insertToInterestingnessMap()
2239 Result.first->getSecond() = bugreporter::TrackingKind::Thorough; in insertToInterestingnessMap()
2241 case bugreporter::TrackingKind::Condition: in insertToInterestingnessMap()
2252 bugreporter::TrackingKind TKind) { in markInteresting()
2311 std::optional<bugreporter::TrackingKind>
2323 case bugreporter::TrackingKind::Thorough: in getInterestingnessKind()
2325 case bugreporter::TrackingKind::Condition: in getInterestingnessKind()
2336 std::optional<bugreporter::TrackingKind>
[all …]
H A DBugReporterVisitors.cpp277 if (std::optional<bugreporter::TrackingKind> K = in isVarAnInterestingCondition()
279 return *K == bugreporter::TrackingKind::Condition; in isVarAnInterestingCondition()
544 NoStoreFuncVisitor(const SubRegion *R, bugreporter::TrackingKind TKind) in NoStoreFuncVisitor()
808 if (TKind == bugreporter::TrackingKind::Condition) in maybeEmitNote()
1003 bugreporter::TrackingKind TKind;
1008 bugreporter::TrackingKind TKind) in ReturnVisitor()
1130 if (TKind == bugreporter::TrackingKind::Condition) in visitNodeInitial()
1762 if (Options.Kind == TrackingKind::Condition && OriginSFC && in VisitNode()
2124 {bugreporter::TrackingKind::Condition, in VisitNode()
2261 if (Opts.Kind == bugreporter::TrackingKind::Condition) in handle()
[all …]