Searched defs:srcVal (Results 1 – 1 of 1) sorted by relevance
945 SVal srcVal = state->getSVal(Source, LCtx); in evalCopyCommon() local1347 SVal srcVal = state->getSVal(srcExpr, LCtx); in evalStrcpyCommon() local