Searched refs:generateCaseStmtNode (Results 1 – 3 of 3) sorted by relevance
528 ExplodedNode *generateCaseStmtNode(const iterator &I,
649 SwitchNodeBuilder::generateCaseStmtNode(const iterator &I, in generateCaseStmtNode() function in SwitchNodeBuilder
1466 builder.generateCaseStmtNode(I, stateNew); in processSwitch()