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