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