Lines Matching refs:ThisRegion
67 const MemRegion *ThisRegion) const;
68 bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
104 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr() argument
105 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr()
218 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion(); in evalCall() local
219 if (!ThisRegion) in evalCall()
223 return handleMoveCtr(Call, C, ThisRegion); in evalCall()
227 State = State->set<TrackedRegionMap>(ThisRegion, NullVal); in evalCall()
230 State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in evalCall()
233 !BR.isInteresting(ThisRegion)) in evalCall()
236 checkAndPrettyPrintRegion(OS, ThisRegion); in evalCall()
244 State = State->set<TrackedRegionMap>(ThisRegion, ArgVal); in evalCall()
246 C.addTransition(State, C.getNoteTag([ThisRegion, TrackingExpr, in evalCall()
250 !BR.isInteresting(ThisRegion)) in evalCall()
254 checkAndPrettyPrintRegion(OS, ThisRegion); in evalCall()
340 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleReset() local
341 if (!ThisRegion) in handleReset()
346 State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0)); in handleReset()
349 State, C.getNoteTag([ThisRegion, TrackingExpr](PathSensitiveBugReport &BR, in handleReset()
352 !BR.isInteresting(ThisRegion)) in handleReset()
356 checkAndPrettyPrintRegion(OS, ThisRegion); in handleReset()
370 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleRelease() local
371 if (!ThisRegion) in handleRelease()
374 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in handleRelease()
382 State = State->set<TrackedRegionMap>(ThisRegion, ValueToUpdate); in handleRelease()
384 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleRelease()
387 !BR.isInteresting(ThisRegion)) in handleRelease()
391 checkAndPrettyPrintRegion(OS, ThisRegion); in handleRelease()
405 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleSwap() local
406 if (!ThisRegion) in handleSwap()
415 State->get<TrackedRegionMap>(ThisRegion); in handleSwap()
420 State = updateSwappedRegion(State, ThisRegion, ArgRegionInnerPointerVal); in handleSwap()
424 State, C.getNoteTag([ThisRegion, ArgRegion](PathSensitiveBugReport &BR, in handleSwap()
427 !BR.isInteresting(ThisRegion)) in handleSwap()
433 checkAndPrettyPrintRegion(OS, ThisRegion); in handleSwap()
444 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleGet() local
445 if (!ThisRegion) in handleGet()
449 if (const auto *InnerValPtr = State->get<TrackedRegionMap>(ThisRegion)) { in handleGet()
455 State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal); in handleGet()
473 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in handleAssignOp() local
474 if (!ThisRegion) in handleAssignOp()
484 State = State->set<TrackedRegionMap>(ThisRegion, NullVal); in handleAssignOp()
485 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleAssignOp()
488 !BR.isInteresting(ThisRegion)) in handleAssignOp()
491 checkAndPrettyPrintRegion(OS, ThisRegion); in handleAssignOp()
497 return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion); in handleAssignOp()
501 const MemRegion *ThisRegion) const { in handleMoveCtr()
506 return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion); in handleMoveCtr()
510 CheckerContext &C, const MemRegion *ThisRegion, in updateMovedSmartPointers() argument
515 State = State->set<TrackedRegionMap>(ThisRegion, *OtherInnerPtr); in updateMovedSmartPointers()
522 C.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull]( in updateMovedSmartPointers()
530 checkAndPrettyPrintRegion(OS, ThisRegion); in updateMovedSmartPointers()
532 if (BR.isInteresting(ThisRegion) && IsArgValNull) { in updateMovedSmartPointers()
534 checkAndPrettyPrintRegion(OS, ThisRegion); in updateMovedSmartPointers()
543 State = State->remove<TrackedRegionMap>(ThisRegion); in updateMovedSmartPointers()
546 ThisRegion](PathSensitiveBugReport &BR, in updateMovedSmartPointers()
554 checkAndPrettyPrintRegion(OS, ThisRegion); in updateMovedSmartPointers()
566 const MemRegion *ThisRegion = in handleBoolConversion() local
570 if (const auto *InnerValPtr = State->get<TrackedRegionMap>(ThisRegion)) { in handleBoolConversion()
582 State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal); in handleBoolConversion()
597 } else if (move::isMovedFrom(State, ThisRegion)) { in handleBoolConversion()
609 NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal); in handleBoolConversion()
614 [ThisRegion](PathSensitiveBugReport &BR, in handleBoolConversion()
617 checkAndPrettyPrintRegion(OS, ThisRegion); in handleBoolConversion()
627 [ThisRegion](PathSensitiveBugReport &BR, llvm::raw_ostream &OS) { in handleBoolConversion()
629 checkAndPrettyPrintRegion(OS, ThisRegion); in handleBoolConversion()