Searched refs:CastedV (Results 1 – 1 of 1) sorted by relevance
321 SVal CastedV = UnknownVal(); in VisitCast() local325 CastedV = svalBuilder.evalCast(svalBuilder.simplifySVal(State, OrigV), in VisitCast()328 State = State->BindExpr(CastE, LCtx, CastedV); in VisitCast()