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