Searched refs:CEEState (Results 1 – 1 of 1) sorted by relevance
384 ProgramStateRef CEEState = (*I == CEBNode) ? state : (*I)->getState(); in processCallExit() local386 ExplodedNode *CEENode = G.getNode(Loc, CEEState, false, &isNew); in processCallExit()398 CallEventRef<> UpdatedCall = Call.cloneWithState(CEEState); in processCallExit()