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