Searched refs:bindDefaultInitial (Results 1 – 4 of 4) sorted by relevance
129 ProgramState::bindDefaultInitial(SVal loc, SVal V, in bindDefaultInitial() function in ProgramState
937 State = State->bindDefaultInitial(RetVal, UndefinedVal{}, LCtx); in VisitCXXNewAllocatorCall()
297 bindDefaultInitial(SVal loc, SVal V, const LocationContext *LCtx) const;
1983 State = State->bindDefaultInitial(RetVal, Init, LCtx); in MallocMemAux()