reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2180 SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy); 2180 SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy); 2182 ProgramStateRef State = C.getState(); 2185 SVal SizeVal = C.getSVal(Size); 2190 assumeZero(C, State, SizeVal, SizeTy); 2195 C.addTransition(StateZeroSize); 2200 SVal MemVal = C.getSVal(Mem); 2204 State = checkNonNull(C, StateNonZeroSize, Mem, MemVal, 1); 2208 State = CheckBufferAccess(C, State, Size, Mem); 2212 if (!memsetAux(Mem, Zero, Size, C, State)) 2215 C.addTransition(State);