Searched refs:AllocV (Results 1 – 1 of 1) sorted by relevance
333 SVal AllocV = state->getSVal(CNE, callerCtx); in processCallExit() local334 AllocV = svalBuilder.evalCast( in processCallExit()335 AllocV, CNE->getType(), in processCallExit()339 AllocV); in processCallExit()