Searched refs:PtrSet (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | InnerPointerChecker.cpp | 27 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(PtrSet, SymbolRef)
28 REGISTER_MAP_WITH_PROGRAMSTATE(RawPtrMap, const MemRegion *, PtrSet)
134 if (const PtrSet *PS = State->get<RawPtrMap>(MR)) { in markPtrSymbolsReleased()
232 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()
233 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion); in checkPostCall()
234 PtrSet Set = SetPtr ? *SetPtr : F.getEmptySet(); in checkPostCall()
252 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()
260 if (const PtrSet *OldSet = State->get<RawPtrMap>(Entry.first)) { in checkDeadSymbols()
261 PtrSet CleanedUpSet = *OldSet; in checkDeadSymbols()
|
| /freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | LazyValueInfo.cpp | 625 static void AddNonNullPointer(Value *Ptr, NonNullPointerSet &PtrSet, in AddNonNullPointer() argument
629 PtrSet.insert(IsDereferenced ? getUnderlyingObject(Ptr) in AddNonNullPointer()
634 Instruction *I, NonNullPointerSet &PtrSet) { in AddNonNullPointersByInstruction() argument
636 AddNonNullPointer(L->getPointerOperand(), PtrSet); in AddNonNullPointersByInstruction()
638 AddNonNullPointer(S->getPointerOperand(), PtrSet); in AddNonNullPointersByInstruction()
646 AddNonNullPointer(MI->getRawDest(), PtrSet); in AddNonNullPointersByInstruction()
648 AddNonNullPointer(MTI->getRawSource(), PtrSet); in AddNonNullPointersByInstruction()
654 AddNonNullPointer(U.get(), PtrSet, /*IsDereferenced=*/false); in AddNonNullPointersByInstruction()
|