Home
last modified time | relevance | path

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

/freebsd/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;
650 bugreporter::TrackingKind TKind;
714 NoStateChangeFuncVisitor(bugreporter::TrackingKind TKind) : TKind(TKind) {} in NoStateChangeFuncVisitor()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNoOwnershipChangeVisitor.h67 : NoStateChangeFuncVisitor(bugreporter::TrackingKind::Thorough), Sym(Sym), in NoOwnershipChangeVisitor()
H A DObjCContainersChecker.cpp143 {bugreporter::TrackingKind::Thorough, in checkPreStmt()
H A DMIGChecker.cpp291 {bugreporter::TrackingKind::Thorough, /*EnableNullFPSuppression=*/false}); in checkReturnAux()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp2238 llvm::DenseMap<T, bugreporter::TrackingKind> &InterestingnessMap, T Val, in insertToInterestingnessMap()
2239 bugreporter::TrackingKind TKind) { in insertToInterestingnessMap()
2252 case bugreporter::TrackingKind::Thorough: in insertToInterestingnessMap()
2253 Result.first->getSecond() = bugreporter::TrackingKind::Thorough; in insertToInterestingnessMap()
2255 case bugreporter::TrackingKind::Condition: in insertToInterestingnessMap()
2266 bugreporter::TrackingKind TKind) { in markInteresting()
2291 bugreporter::TrackingKind TKind) { in markInteresting()
2314 bugreporter::TrackingKind TKind) { in markInteresting()
2325 std::optional<bugreporter::TrackingKind>
2337 case bugreporter::TrackingKind::Thorough: in getInterestingnessKind()
[all …]
H A DBugReporterVisitors.cpp281 if (std::optional<bugreporter::TrackingKind> K = in isVarAnInterestingCondition()
283 return *K == bugreporter::TrackingKind::Condition; in isVarAnInterestingCondition()
548 NoStoreFuncVisitor(const SubRegion *R, bugreporter::TrackingKind TKind) in NoStoreFuncVisitor()
812 if (TKind == bugreporter::TrackingKind::Condition) in maybeEmitNote()
1007 bugreporter::TrackingKind TKind;
1012 bugreporter::TrackingKind TKind) in ReturnVisitor()
1134 if (TKind == bugreporter::TrackingKind::Condition) in visitNodeInitial()
1766 if (Options.Kind == TrackingKind::Condition && OriginSFC && in VisitNode()
2128 {bugreporter::TrackingKind::Condition, in VisitNode()
2265 if (Opts.Kind == bugreporter::TrackingKind::Condition) in handle()
[all …]