Searched refs:hasElementsV (Results 1 – 1 of 1) sorted by relevance
57 SVal hasElementsV = svalBuilder.makeTruthVal(hasElements); in populateObjCForDestinationSet() local60 ProgramStateRef nextState = state->BindExpr(S, LCtx, hasElementsV); in populateObjCForDestinationSet()