Lines Matching defs:BR

92   std::string getMessage(PathSensitiveBugReport &BR) const;
95   /// on some symbol which is interesting within the bug report `BR`.
96   /// In particular, this returns true when `Sym` is interesting within `BR`;
98   /// constants and a single symbolic operand which is interesting (in `BR`).
99   /// We need to use this instead of plain `BR.isInteresting()` because if we
109                                                   PathSensitiveBugReport &BR);
111                                                   PathSensitiveBugReport &BR) {
112     return providesInformationAboutInteresting(SV.getAsSymbol(), BR);
139   static void markPartsInteresting(PathSensitiveBugReport &BR,
471   return C.getNoteTag([*this](PathSensitiveBugReport &BR) -> std::string {
472     return getMessage(BR);
476 std::string StateUpdateReporter::getMessage(PathSensitiveBugReport &BR) const {
478   if (!providesInformationAboutInteresting(ByteOffsetVal, BR)) {
480         providesInformationAboutInteresting(*AssumedUpperBound, BR)) {
533     SymbolRef Sym, PathSensitiveBugReport &BR) {
539     if (BR.isInteresting(PartSym))
673 void ArrayBoundCheckerV2::markPartsInteresting(PathSensitiveBugReport &BR,
683       BR.markInteresting(PartSym);
692       BR.markInteresting(Sym);
705   auto BR = std::make_unique<PathSensitiveBugReport>(
721   markPartsInteresting(*BR, ErrorState, Offset, IsTaintBug);
723     markPartsInteresting(*BR, ErrorState, *Extent, IsTaintBug);
725   C.emitReport(std::move(BR));