Searched refs:bindNullReturnValue (Results 1 – 1 of 1) sorted by relevance
694 ProgramStateRef bindNullReturnValue(ProgramStateRef State, in bindNullReturnValue() function1231 StateFailed = E.bindNullReturnValue(State, C); in evalFgetx()