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