reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1147 const LocationContext *LCtx = C.getLocationContext(); 1153 assumeZero(C, state, sizeVal, sizeTy); 1162 C.addTransition(stateZeroSize); 1172 state = checkNonNull(C, state, Dest, destVal, 1); 1181 state = checkNonNull(C, state, Source, srcVal, 2); 1188 state = CheckBufferAccess(C, state, Size, Dest, Source, 1191 state = CheckOverlap(C, state, Size, Dest, Source); 1200 SValBuilder &SvalBuilder = C.getSValBuilder(); 1205 SVal lastElement = C.getSValBuilder().evalBinOp( 1210 lastElement = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, 1211 C.blockCount()); 1227 state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest), 1227 state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest), 1232 state = InvalidateBuffer(C, state, Source, C.getSVal(Source), 1232 state = InvalidateBuffer(C, state, Source, C.getSVal(Source), 1235 C.addTransition(state);