Home
last modified time | relevance | path

Searched refs:StateCase (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DExprEngine.cpp1816 ProgramStateRef StateCase; in processSwitch() local
1818 std::tie(StateCase, DefaultSt) = in processSwitch()
1821 StateCase = DefaultSt; in processSwitch()
1823 if (StateCase) in processSwitch()
1824 builder.generateCaseStmtNode(I, StateCase); in processSwitch()