Searched refs:ErrnoRegion (Results 1 – 2 of 2) sorted by relevance
72 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoRegion, const MemRegion *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() argument137 State = State->set<ErrnoRegion>(ErrnoR); in checkBeginFunction()149 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in evalCall()165 if (const auto *ErrnoR = State->get<ErrnoRegion>()) in checkLiveSymbols()174 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoValue()184 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()195 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()206 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoLoc()230 const MemRegion *ErrnoR = BR.getErrorNode()->getState()->get<ErrnoRegion>(); in getErrnoNoteTag()260 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoStdMustBeChecked()
54 const MemRegion *ErrnoRegion,112 CheckerContext &C, ProgramStateRef State, const MemRegion *ErrnoRegion, in generateErrnoNotCheckedBug() argument129 BR->markInteresting(ErrnoRegion); in generateErrnoNotCheckedBug()226 const MemRegion *ErrnoRegion = ErrnoLoc->getAsRegion(); in checkRegionChanges() local230 if (llvm::is_contained(Regions, ErrnoRegion)) in checkRegionChanges()235 if (llvm::is_contained(Regions, ErrnoRegion->getMemorySpace())) in checkRegionChanges()