Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp2645 ProgramStateRef DefaultSt = state; in processSwitch() local
2670 std::tie(StateCase, DefaultSt) = in processSwitch()
2671 DefaultSt->assumeInclusiveRange(*NL, V1, V2); in processSwitch()
2673 StateCase = DefaultSt; in processSwitch()
2680 if (DefaultSt) in processSwitch()
2705 builder.generateDefaultCaseNode(DefaultSt); in processSwitch()