Searched refs:bindInt (Results 1 – 1 of 1) sorted by relevance
245 ProgramStateRef bindInt(uint64_t Value, ProgramStateRef State, in bindInt() function1633 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); in evalFflush()1634 ProgramStateRef StateNotFailed = bindInt(0, State, C, CE); in evalFflush()