reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1049 SVal MemVal = C.getSVal(DstBuffer); 1050 SVal SizeVal = C.getSVal(Size); 1066 SValBuilder &svalBuilder = C.getSValBuilder(); 1067 ASTContext &Ctx = C.getASTContext(); 1087 assumeZero(C, State, CharVal, Ctx.UnsignedCharTy); 1098 C.getLocationContext()); 1102 State = InvalidateBuffer(C, State, DstBuffer, MemVal, 1114 C.getLocationContext(), C.blockCount()); 1114 C.getLocationContext(), C.blockCount()); 1128 State = InvalidateBuffer(C, State, DstBuffer, MemVal,