Lines Matching refs:BR
91 std::string getMessage(PathSensitiveBugReport &BR) const;
108 PathSensitiveBugReport &BR);
110 PathSensitiveBugReport &BR) { in providesInformationAboutInteresting() argument
111 return providesInformationAboutInteresting(SV.getAsSymbol(), BR); in providesInformationAboutInteresting()
138 static void markPartsInteresting(PathSensitiveBugReport &BR,
471 return C.getNoteTag([*this](PathSensitiveBugReport &BR) -> std::string { in createNoteTag() argument
472 return getMessage(BR); in createNoteTag()
476 std::string StateUpdateReporter::getMessage(PathSensitiveBugReport &BR) const { in getMessage()
478 if (!providesInformationAboutInteresting(ByteOffsetVal, BR)) { in getMessage()
480 providesInformationAboutInteresting(*AssumedUpperBound, BR)) { in getMessage()
533 SymbolRef Sym, PathSensitiveBugReport &BR) { in providesInformationAboutInteresting() argument
539 if (BR.isInteresting(PartSym)) in providesInformationAboutInteresting()
673 void ArrayBoundCheckerV2::markPartsInteresting(PathSensitiveBugReport &BR, in markPartsInteresting() argument
683 BR.markInteresting(PartSym); in markPartsInteresting()
692 BR.markInteresting(Sym); in markPartsInteresting()
705 auto BR = std::make_unique<PathSensitiveBugReport>( in reportOOB() local
721 markPartsInteresting(*BR, ErrorState, Offset, IsTaintBug); in reportOOB()
723 markPartsInteresting(*BR, ErrorState, *Extent, IsTaintBug); in reportOOB()
725 C.emitReport(std::move(BR)); in reportOOB()