Lines Matching refs:Space
80 const MemSpaceRegion *Space; member in __anon612badfa0111::StateUpdateReporter
91 : Space(R->getMemorySpace(C.getState())), Reg(R), in StateUpdateReporter()
355 static std::string getRegionName(const MemSpaceRegion *Space, in getRegionName() argument
371 if (isa<SymbolicRegion>(Region) && isa<HeapSpaceRegion>(Space)) in getRegionName()
391 static Messages getPrecedesMsgs(const MemSpaceRegion *Space, in getPrecedesMsgs() argument
393 std::string RegName = getRegionName(Space, Region), OffsetStr = ""; in getPrecedesMsgs()
422 static Messages getExceedsMsgs(ASTContext &ACtx, const MemSpaceRegion *Space, in getExceedsMsgs() argument
426 std::string RegName = getRegionName(Space, Region); in getExceedsMsgs()
473 static Messages getTaintMsgs(const MemSpaceRegion *Space, in getTaintMsgs() argument
476 std::string RegName = getRegionName(Space, Region); in getTaintMsgs()
545 Out << getRegionName(Space, Reg); in getMessage()
595 const MemSpaceRegion *Space = Reg->getMemorySpace(State); in performCheck() local
596 if (!(isa<SymbolicRegion>(Reg) && isa<UnknownSpaceRegion>(Space))) { in performCheck()
638 Messages Msgs = getPrecedesMsgs(Space, Reg, ByteOffset); in performCheck()
681 getExceedsMsgs(C.getASTContext(), Space, Reg, ByteOffset, in performCheck()
699 getTaintMsgs(Space, Reg, OffsetName, AlsoMentionUnderflow); in performCheck()