Lines Matching defs:ThisRegion
72 const MemRegion *ThisRegion) const;
73 bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
83 const MemRegion *ThisRegion, const Expr *E,
149 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) {
150 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion);
312 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion();
313 State = State->set<TrackedRegionMap>(ThisRegion, PtrVal);
380 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion();
381 if (!ThisRegion)
387 return handleMoveCtr(Call, C, ThisRegion);
391 State = State->set<TrackedRegionMap>(ThisRegion, NullVal);
394 State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,
397 !BR.isInteresting(ThisRegion))
400 checkAndPrettyPrintRegion(OS, ThisRegion);
408 State = State->set<TrackedRegionMap>(ThisRegion, ArgVal);
410 C.addTransition(State, C.getNoteTag([ThisRegion, TrackingExpr,
414 !BR.isInteresting(ThisRegion))
418 checkAndPrettyPrintRegion(OS, ThisRegion);
440 ProgramStateRef State, const MemRegion *ThisRegion, const Expr *E,
442 const auto *Ptr = State->get<TrackedRegionMap>(ThisRegion);
447 State = State->set<TrackedRegionMap>(ThisRegion, Val);
605 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();
606 if (!ThisRegion)
611 State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0));
614 State, C.getNoteTag([ThisRegion, TrackingExpr](PathSensitiveBugReport &BR,
617 !BR.isInteresting(ThisRegion))
621 checkAndPrettyPrintRegion(OS, ThisRegion);
635 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();
636 if (!ThisRegion)
639 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion);
648 State = State->set<TrackedRegionMap>(ThisRegion, ValueToUpdate);
650 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,
653 !BR.isInteresting(ThisRegion))
657 checkAndPrettyPrintRegion(OS, ThisRegion);
719 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();
720 if (!ThisRegion)
725 State, ThisRegion, Call.getOriginExpr(), Call.getResultType(), C);
741 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion();
742 if (!ThisRegion)
754 State = State->set<TrackedRegionMap>(ThisRegion, NullVal);
755 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,
758 !BR.isInteresting(ThisRegion))
761 checkAndPrettyPrintRegion(OS, ThisRegion);
767 return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);
771 const MemRegion *ThisRegion) const {
776 return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);
780 CheckerContext &C, const MemRegion *ThisRegion,
786 State = State->set<TrackedRegionMap>(ThisRegion, *OtherInnerPtr);
794 C.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull](
802 checkAndPrettyPrintRegion(OS, ThisRegion);
804 if (BR.isInteresting(ThisRegion) && IsArgValNull) {
806 checkAndPrettyPrintRegion(OS, ThisRegion);
816 State = State->remove<TrackedRegionMap>(ThisRegion);
819 ThisRegion](PathSensitiveBugReport &BR,
827 checkAndPrettyPrintRegion(OS, ThisRegion);
839 const MemRegion *ThisRegion =
845 if (const auto *InnerValPtr = State->get<TrackedRegionMap>(ThisRegion)) {
857 State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal);
872 } else if (move::isMovedFrom(State, ThisRegion)) {
884 NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal);
889 [ThisRegion](PathSensitiveBugReport &BR,
892 checkAndPrettyPrintRegion(OS, ThisRegion);
902 [ThisRegion](PathSensitiveBugReport &BR, llvm::raw_ostream &OS) {
904 checkAndPrettyPrintRegion(OS, ThisRegion);