Searched refs:generateDefaultCaseNode (Results 1 – 3 of 3) sorted by relevance
559 ExplodedNode *generateDefaultCaseNode(ProgramStateRef State,
631 SwitchNodeBuilder::generateDefaultCaseNode(ProgramStateRef St, in generateDefaultCaseNode() function in SwitchNodeBuilder
2357 builder.generateDefaultCaseNode(DefaultSt); in processSwitch()