Searched refs:UpdatedState (Results 1 – 1 of 1) sorted by relevance
163 ProgramStateRef UpdatedState = UninitInfo.first; in checkEndFunction() local167 Context.addTransition(UpdatedState); in checkEndFunction()173 ExplodedNode *Node = Context.generateNonFatalErrorNode(UpdatedState); in checkEndFunction()