Searched refs:PathBR (Results 1 – 1 of 1) sorted by relevance
383 auto *PathBR = static_cast<PathSensitiveBugReport *>(&BR); in checkPostCall() local384 if (PathBR->getInterestingnessKind(RetSym)) { in checkPostCall()399 auto *PathBR = static_cast<PathSensitiveBugReport *>(&BR); in checkPostCall() local400 if (PathBR->getInterestingnessKind(RetSym)) { in checkPostCall()433 auto *PathBR = static_cast<PathSensitiveBugReport *>(&BR); in checkPostCall() local434 if (PathBR->getInterestingnessKind(Handle)) { in checkPostCall()447 auto *PathBR = static_cast<PathSensitiveBugReport *>(&BR); in checkPostCall() local448 if (PathBR->getInterestingnessKind(Handle)) { in checkPostCall()461 auto *PathBR = static_cast<PathSensitiveBugReport *>(&BR); in checkPostCall() local462 if (PathBR->getInterestingnessKind(Handle)) { in checkPostCall()