Lines Matching refs:MemRegion
72 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoRegion, const MemRegion *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() argument
143 const MemRegion *ErrnoR = in checkBeginFunction()
161 RMgr.getGlobalsRegion(MemRegion::GlobalSystemSpaceRegionKind); in checkBeginFunction()
171 const MemRegion *ErrnoR = RMgr.getElementRegion( in checkBeginFunction()
187 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in evalCall()
212 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoValue()
222 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()
233 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()
244 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoLoc()
280 const MemRegion *ErrnoR = BR.getErrorNode()->getState()->get<ErrnoRegion>(); in getErrnoNoteTag()
310 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoStdMustBeChecked()