Searched refs:PtrSet (Results 1 – 2 of 2) sorted by relevance
29 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(PtrSet, SymbolRef)30 REGISTER_MAP_WITH_PROGRAMSTATE(RawPtrMap, const MemRegion *, PtrSet)136 if (const PtrSet *PS = State->get<RawPtrMap>(MR)) { in markPtrSymbolsReleased()234 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()235 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion); in checkPostCall()236 PtrSet Set = SetPtr ? *SetPtr : F.getEmptySet(); in checkPostCall()254 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()262 if (const PtrSet *OldSet = State->get<RawPtrMap>(Entry.first)) { in checkDeadSymbols()263 PtrSet CleanedUpSet = *OldSet; in checkDeadSymbols()
677 static void AddNonNullPointer(Value *Ptr, NonNullPointerSet &PtrSet) { in AddNonNullPointer() argument680 PtrSet.insert(getUnderlyingObject(Ptr)); in AddNonNullPointer()684 Instruction *I, NonNullPointerSet &PtrSet) { in AddNonNullPointersByInstruction() argument686 AddNonNullPointer(L->getPointerOperand(), PtrSet); in AddNonNullPointersByInstruction()688 AddNonNullPointer(S->getPointerOperand(), PtrSet); in AddNonNullPointersByInstruction()696 AddNonNullPointer(MI->getRawDest(), PtrSet); in AddNonNullPointersByInstruction()698 AddNonNullPointer(MTI->getRawSource(), PtrSet); in AddNonNullPointersByInstruction()