Searched refs:bindDefaultZero (Results 1 – 4 of 4) sorted by relevance
139 ProgramState::bindDefaultZero(SVal loc, const LocationContext *LCtx) const { in bindDefaultZero() function in ProgramState
757 State = State->bindDefaultZero(Target, LCtx); in handleConstructor()
303 bindDefaultZero(SVal loc, const LocationContext *LCtx) const;
1172 State = State->bindDefaultZero(svalBuilder.makeLoc(BR), in memsetAux()