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