Searched refs:getInterestingnessKind (Results 1 – 4 of 4) sorted by relevance
384 if (PathBR->getInterestingnessKind(RetSym)) { in checkPostCall()400 if (PathBR->getInterestingnessKind(RetSym)) { in checkPostCall()434 if (PathBR->getInterestingnessKind(Handle)) { in checkPostCall()448 if (PathBR->getInterestingnessKind(Handle)) { in checkPostCall()462 if (PathBR->getInterestingnessKind(Handle)) { in checkPostCall()
457 getInterestingnessKind(SymbolRef sym) const;460 getInterestingnessKind(const MemRegion *R) const;462 std::optional<bugreporter::TrackingKind> getInterestingnessKind(SVal V) const;
2312 PathSensitiveBugReport::getInterestingnessKind(SVal V) const { in getInterestingnessKind() function in PathSensitiveBugReport2313 auto RKind = getInterestingnessKind(V.getAsRegion()); in getInterestingnessKind()2314 auto SKind = getInterestingnessKind(V.getAsSymbol()); in getInterestingnessKind()2337 PathSensitiveBugReport::getInterestingnessKind(SymbolRef sym) const { in getInterestingnessKind() function in PathSensitiveBugReport2349 PathSensitiveBugReport::getInterestingnessKind(const MemRegion *R) const { in getInterestingnessKind() function in PathSensitiveBugReport2359 return getInterestingnessKind(SR->getSymbol()); in getInterestingnessKind()2364 return getInterestingnessKind(V).has_value(); in isInteresting()2368 return getInterestingnessKind(sym).has_value(); in isInteresting()2372 return getInterestingnessKind(R).has_value(); in isInteresting()
278 B->getInterestingnessKind(*V)) in isVarAnInterestingCondition()287 return B->getInterestingnessKind(*V).has_value(); in isInterestingExpr()