Searched refs:getInterestingnessKind (Results 1 – 4 of 4) sorted by relevance
383 if (auto IsInteresting = PathBR->getInterestingnessKind(RetSym)) { in checkPostCall()399 if (auto IsInteresting = PathBR->getInterestingnessKind(RetSym)) { in checkPostCall()433 if (auto IsInteresting = PathBR->getInterestingnessKind(Handle)) { in checkPostCall()447 if (auto IsInteresting = PathBR->getInterestingnessKind(Handle)) { in checkPostCall()461 if (auto IsInteresting = PathBR->getInterestingnessKind(Handle)) { in checkPostCall()
457 getInterestingnessKind(SymbolRef sym) const;460 getInterestingnessKind(const MemRegion *R) const;462 Optional<bugreporter::TrackingKind> getInterestingnessKind(SVal V) const;
2314 PathSensitiveBugReport::getInterestingnessKind(SVal V) const { in getInterestingnessKind() function in PathSensitiveBugReport2315 auto RKind = getInterestingnessKind(V.getAsRegion()); in getInterestingnessKind()2316 auto SKind = getInterestingnessKind(V.getAsSymbol()); in getInterestingnessKind()2339 PathSensitiveBugReport::getInterestingnessKind(SymbolRef sym) const { in getInterestingnessKind() function in PathSensitiveBugReport2351 PathSensitiveBugReport::getInterestingnessKind(const MemRegion *R) const { in getInterestingnessKind() function in PathSensitiveBugReport2361 return getInterestingnessKind(SR->getSymbol()); in getInterestingnessKind()2366 return getInterestingnessKind(V).has_value(); in isInteresting()2370 return getInterestingnessKind(sym).has_value(); in isInteresting()2374 return getInterestingnessKind(R).has_value(); in isInteresting()
252 if (Optional<bugreporter::TrackingKind> K = B->getInterestingnessKind(*V)) in isVarAnInterestingCondition()261 return B->getInterestingnessKind(*V).has_value(); in isInterestingExpr()