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