Searched refs:bindInt (Results 1 – 1 of 1) sorted by relevance
204 ProgramStateRef bindInt(uint64_t Value, ProgramStateRef State, in bindInt() function710 State = bindInt(0, State, C, CE); in evalFreadFwrite()992 ProgramStateRef FalseState = bindInt(0, State, C, CE); in evalFeofFerror()