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