Searched refs:UninitInfo (Results 1 – 1 of 1) sorted by relevance
162 std::pair<ProgramStateRef, const UninitFieldMap &> UninitInfo = in checkEndFunction() local165 ProgramStateRef UpdatedState = UninitInfo.first; in checkEndFunction()166 const UninitFieldMap &UninitFields = UninitInfo.second; in checkEndFunction()