reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2137 SVal SizeVal = State->getSVal(Size, LCtx); 2142 assumeZero(C, State, SizeVal, SizeTy); 2145 SVal MemVal = State->getSVal(Mem, LCtx); 2157 State = checkNonNull(C, StateNonZeroSize, Mem, MemVal, 1); 2158 if (!State) 2161 State = CheckBufferAccess(C, State, Size, Mem); 2161 State = CheckBufferAccess(C, State, Size, Mem); 2162 if (!State) 2168 if (!memsetAux(Mem, C.getSVal(CharE), Size, C, State)) 2171 State = State->BindExpr(CE, LCtx, MemVal); 2171 State = State->BindExpr(CE, LCtx, MemVal); 2172 C.addTransition(State);