Searched refs:ErrnoVal (Results 1 – 1 of 1) sorted by relevance
97 std::optional<SVal> ErrnoVal = getErrnoValue(State); in evalGetErrno() local98 assert(ErrnoVal && "Errno value should be available."); in evalGetErrno()100 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), *ErrnoVal); in evalGetErrno()133 DefinedOrUnknownSVal ErrnoVal = SVB.conjureSymbolVal( in evalSetErrnoIfErrorRange() local135 StateFailure = StateFailure->assume(ErrnoVal, true); in evalSetErrnoIfErrorRange()138 setErrnoValue(StateFailure, C.getLocationContext(), ErrnoVal, Irrelevant); in evalSetErrnoIfErrorRange()