Searched refs:EState (Results 1 – 3 of 3) sorted by relevance
53 ErrnoCheckState EState);58 uint64_t Value, ErrnoCheckState EState);61 ProgramStateRef setErrnoState(ProgramStateRef State, ErrnoCheckState EState);
220 ErrnoCheckState EState) { in setErrnoValue() argument227 return State->set<ErrnoState>(EState); in setErrnoValue()231 uint64_t Value, ErrnoCheckState EState) { in setErrnoValue() argument239 return State->set<ErrnoState>(EState); in setErrnoValue()249 ProgramStateRef setErrnoState(ProgramStateRef State, ErrnoCheckState EState) { in setErrnoState() argument250 return State->set<ErrnoState>(EState); in setErrnoState()
144 ErrnoCheckState EState = getErrnoState(State); in checkLocation() local147 switch (EState) { in checkLocation()171 switch (EState) { in checkLocation()