Searched refs:AllocV (Results 1 – 1 of 1) sorted by relevance
283 SVal AllocV = state->getSVal(CNE, callerCtx); in processCallExit() local284 AllocV = svalBuilder.evalCast( in processCallExit()285 AllocV, CNE->getType(), in processCallExit()289 AllocV); in processCallExit()