Lines Matching defs:State
91 } State; member
180 ProgramStateRef bindAndAssumeTrue(ProgramStateRef State, CheckerContext &C, in bindAndAssumeTrue()
189 ProgramStateRef bindInt(uint64_t Value, ProgramStateRef State, in bindInt()
403 ProgramStateRef State = N->getState(); in getAcquisitionSite() local
444 ProgramStateRef State = C.getState(); in evalFopen() local
474 ProgramStateRef State = C.getState(); in preFreopen() local
485 ProgramStateRef State = C.getState(); in evalFreopen() local
529 ProgramStateRef State = C.getState(); in evalFclose() local
550 ProgramStateRef State = C.getState(); in preFread() local
574 ProgramStateRef State = C.getState(); in preFwrite() local
592 ProgramStateRef State = C.getState(); in evalFreadFwrite() local
672 ProgramStateRef State = C.getState(); in preFseek() local
689 ProgramStateRef State = C.getState(); in evalFseek() local
731 ProgramStateRef State = C.getState(); in evalClearerr() local
752 ProgramStateRef State = C.getState(); in evalFeofFerror() local
791 ProgramStateRef State = C.getState(); in preDefault() local
806 ProgramStateRef State = C.getState(); in evalSetFeofFerror() local
1007 ProgramStateRef State = C.getState(); in checkDeadSymbols() local
1030 ProgramStateRef State, const InvalidatedSymbols &Escaped, in checkPointerEscape()