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)144 if (const PtrSet *PS = State->get<RawPtrMap>(MR)) { in markPtrSymbolsReleased()242 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()243 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion); in checkPostCall()244 PtrSet Set = SetPtr ? *SetPtr : F.getEmptySet(); in checkPostCall()262 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()270 if (const PtrSet *OldSet = State->get<RawPtrMap>(Entry.first)) { in checkDeadSymbols()271 PtrSet CleanedUpSet = *OldSet; in checkDeadSymbols()
636 static void AddNonNullPointer(Value *Ptr, NonNullPointerSet &PtrSet) { in AddNonNullPointer() argument639 PtrSet.insert(getUnderlyingObject(Ptr)); in AddNonNullPointer()643 Instruction *I, NonNullPointerSet &PtrSet) { in AddNonNullPointersByInstruction() argument645 AddNonNullPointer(L->getPointerOperand(), PtrSet); in AddNonNullPointersByInstruction()647 AddNonNullPointer(S->getPointerOperand(), PtrSet); in AddNonNullPointersByInstruction()655 AddNonNullPointer(MI->getRawDest(), PtrSet); in AddNonNullPointersByInstruction()657 AddNonNullPointer(MTI->getRawSource(), PtrSet); in AddNonNullPointersByInstruction()