Searched refs:bindDefaultInitial (Results 1 – 3 of 3) sorted by relevance
132 ProgramState::bindDefaultInitial(SVal loc, SVal V, in bindDefaultInitial() function in ProgramState
255 bindDefaultInitial(SVal loc, SVal V, const LocationContext *LCtx) const;
1538 State = State->bindDefaultInitial(RetVal, Init, LCtx); in MallocMemAux()