Lines Matching defs:BR

394           State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,
396 if (&BR.getBugType() != smartptr::getNullDereferenceBugType() ||
397 !BR.isInteresting(ThisRegion))
411 ArgVal](PathSensitiveBugReport &BR,
413 if (&BR.getBugType() != smartptr::getNullDereferenceBugType() ||
414 !BR.isInteresting(ThisRegion))
416 bugreporter::trackExpressionValue(BR.getErrorNode(), TrackingExpr, BR);
614 State, C.getNoteTag([ThisRegion, TrackingExpr](PathSensitiveBugReport &BR,
616 if (&BR.getBugType() != smartptr::getNullDereferenceBugType() ||
617 !BR.isInteresting(ThisRegion))
619 bugreporter::trackExpressionValue(BR.getErrorNode(), TrackingExpr, BR);
650 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,
652 if (&BR.getBugType() != smartptr::getNullDereferenceBugType() ||
653 !BR.isInteresting(ThisRegion))
692 PathSensitiveBugReport &BR,
694 if (&BR.getBugType() != smartptr::getNullDereferenceBugType())
696 if (BR.isInteresting(FirstThisRegion) &&
697 !BR.isInteresting(SecondThisRegion)) {
698 BR.markInteresting(SecondThisRegion);
699 BR.markNotInteresting(FirstThisRegion);
701 if (BR.isInteresting(SecondThisRegion) &&
702 !BR.isInteresting(FirstThisRegion)) {
703 BR.markInteresting(FirstThisRegion);
704 BR.markNotInteresting(SecondThisRegion);
755 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,
757 if (&BR.getBugType() != smartptr::getNullDereferenceBugType() ||
758 !BR.isInteresting(ThisRegion))
795 PathSensitiveBugReport &BR, llvm::raw_ostream &OS) {
796 if (&BR.getBugType() != smartptr::getNullDereferenceBugType())
798 if (BR.isInteresting(OtherSmartPtrRegion)) {
804 if (BR.isInteresting(ThisRegion) && IsArgValNull) {
807 BR.markInteresting(OtherSmartPtrRegion);
819 ThisRegion](PathSensitiveBugReport &BR,
821 if (&BR.getBugType() != smartptr::getNullDereferenceBugType() ||
822 !BR.isInteresting(OtherSmartPtrRegion))
889 [ThisRegion](PathSensitiveBugReport &BR,
902 [ThisRegion](PathSensitiveBugReport &BR, llvm::raw_ostream &OS) {