Searched refs:PtrSet (Results 1 – 2 of 2) sorted by relevance
28 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(PtrSet, SymbolRef)29 REGISTER_MAP_WITH_PROGRAMSTATE(RawPtrMap, const MemRegion *, PtrSet)147 if (const PtrSet *PS = State->get<RawPtrMap>(MR)) { in markPtrSymbolsReleased()245 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()246 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion); in checkPostCall()247 PtrSet Set = SetPtr ? *SetPtr : F.getEmptySet(); in checkPostCall()265 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()273 if (const PtrSet *OldSet = State->get<RawPtrMap>(Entry.first)) { in checkDeadSymbols()274 PtrSet CleanedUpSet = *OldSet; in checkDeadSymbols()
631 static void AddNonNullPointer(Value *Ptr, NonNullPointerSet &PtrSet) { in AddNonNullPointer() argument634 PtrSet.insert(getUnderlyingObject(Ptr)); in AddNonNullPointer()638 Instruction *I, NonNullPointerSet &PtrSet) { in AddNonNullPointersByInstruction() argument640 AddNonNullPointer(L->getPointerOperand(), PtrSet); in AddNonNullPointersByInstruction()642 AddNonNullPointer(S->getPointerOperand(), PtrSet); in AddNonNullPointersByInstruction()650 AddNonNullPointer(MI->getRawDest(), PtrSet); in AddNonNullPointersByInstruction()652 AddNonNullPointer(MTI->getRawSource(), PtrSet); in AddNonNullPointersByInstruction()