Searched defs:ErrnoR (Results 1 – 1 of 1) sorted by relevance
144 const MemRegion *ErrnoR = in checkBeginFunction() local172 const MemRegion *ErrnoR = RMgr.getElementRegion( in checkBeginFunction() local188 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in evalCall() local204 if (const auto *ErrnoR = State->get<ErrnoRegion>()) in checkLiveSymbols() local213 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoValue() local223 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue() local234 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue() local245 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoLoc() local275 const MemRegion *ErrnoR = BR.getErrorNode()->getState()->get<ErrnoRegion>(); in getErrnoNoteTag() local305 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoStdMustBeChecked() local