Searched refs:StateCase (Results 1 – 1 of 1) sorted by relevance
2991 ProgramStateRef StateCase; in processSwitch() local2993 std::tie(StateCase, DefaultSt) = in processSwitch()2996 StateCase = DefaultSt; in processSwitch()2998 if (StateCase) in processSwitch()2999 builder.generateCaseStmtNode(I, StateCase); in processSwitch()