Lines Matching defs:DstVal

1881   SVal DstVal = state->getSVal(Dst.Expression, LCtx);
1882   state = checkNonNull(C, state, Dst, DstVal);
1898   SVal dstStrLength = getCStringLength(C, state, Dst.Expression, DstVal);
2046                 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal);
2127           getCStringLength(C, state, Call.getOriginExpr(), DstVal, true);
2169     Result = (ReturnEnd ? UnknownVal() : DstVal);
2183           DstVal.getAs<loc::MemRegionVal>()) {
2193       state = CheckLocation(C, state, Dst, DstVal, AccessKind::write);
2210         state = CheckLocation(C, state, Dst, DstVal, AccessKind::write);
2507   SVal DstVal = State->getSVal(Dst, LCtx);
2511       invalidateDestinationBufferAlwaysEscapeSuperRegion(C, State, Dst, DstVal);