Searched refs:CEEState (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCallAndReturn.cpp314 ProgramStateRef CEEState = (*I == CEBNode) ? state : (*I)->getState(); local
315 ExplodedNode *CEENode = G.getNode(Loc, CEEState, false, &isNew);
328 CallEventRef<> UpdatedCall = Call.cloneWithState(CEEState);

Completed in 553 milliseconds