Searched refs:hasMemorySpace (Results 1 – 8 of 8) sorted by relevance
137 if (VR && VR->hasMemorySpace<StackArgumentsSpaceRegion>(C.getState()) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()
427 if (!R || !R->hasMemorySpace<StackSpaceRegion>(state)) in CheckPthreadOnce()443 if (isa<VarRegion>(R) && R->hasMemorySpace<StackLocalsSpaceRegion>(state)) in CheckPthreadOnce()
562 MR->hasMemorySpace<StackSpaceRegion>(State); in classifyObject()
2264 if (!R->hasMemorySpace<UnknownSpaceRegion, HeapSpaceRegion>(State)) { in FreeMemAux()
180 if (R->hasMemorySpace<HeapSpaceRegion>(State)) in VisitSymbolicRegion()
509 if (!R->hasMemorySpace<StackSpaceRegion>(State) || !VR) in shouldEscapeRegion()
148 [[nodiscard]] bool hasMemorySpace(ProgramStateRef State) const { in hasMemorySpace() function
1406 assert(Base->hasMemorySpace<UnknownSpaceRegion>(State)); in setMemorySpace()