Searched defs:EState (Results 1 – 3 of 3) sorted by relevance
222 setErrnoValue(ProgramStateRef State,const LocationContext * LCtx,SVal Value,ErrnoCheckState EState) setErrnoValue() argument 233 setErrnoValue(ProgramStateRef State,CheckerContext & C,uint64_t Value,ErrnoCheckState EState) setErrnoValue() argument 255 setErrnoState(ProgramStateRef State,ErrnoCheckState EState) setErrnoState() argument
145 ErrnoCheckState EState = getErrnoState(State); in checkLocation() local
266 EState; typedef