Searched defs:ErrnoVal (Results 1 – 1 of 1) sorted by relevance
97 std::optional<SVal> ErrnoVal = getErrnoValue(State); in evalGetErrno() local133 DefinedOrUnknownSVal ErrnoVal = SVB.conjureSymbolVal( in evalSetErrnoIfErrorRange() local