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