Lines Matching defs:DstVal

1886   SVal DstVal = state->getSVal(Dst.Expression, LCtx);
1887   state = checkNonNull(C, state, Dst, DstVal);
1903   SVal dstStrLength = getCStringLength(C, state, Dst.Expression, DstVal);
2051                 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal);
2132           getCStringLength(C, state, Call.getOriginExpr(), DstVal, true);
2174     Result = (ReturnEnd ? UnknownVal() : DstVal);
2188           DstVal.getAs<loc::MemRegionVal>()) {
2198       state = CheckLocation(C, state, Dst, DstVal, AccessKind::write);
2215         state = CheckLocation(C, state, Dst, DstVal, AccessKind::write);
2512   SVal DstVal = State->getSVal(Dst, LCtx);
2516       invalidateDestinationBufferAlwaysEscapeSuperRegion(C, State, Dst, DstVal);