Searched defs:DstVal (Results 1 – 2 of 2) sorted by relevance
1551 SVal DstVal = state->getSVal(Dst.Expression, LCtx); in evalStrcpyCommon() local2155 SVal DstVal = State->getSVal(Dst, LCtx); in evalStdCopyCommon() local
789 llvm::Value *DstVal = in visitARCStrong() local