Searched refs:SwitchNodeBuilder (Results 1 – 5 of 5) sorted by relevance
62 friend class SwitchNodeBuilder; variable532 class SwitchNodeBuilder {539 SwitchNodeBuilder(ExplodedNode *pred, const CFGBlock *src, in SwitchNodeBuilder() function544 friend class SwitchNodeBuilder; variable
93 class SwitchNodeBuilder; variable360 void processSwitch(SwitchNodeBuilder& builder);
72 friend class SwitchNodeBuilder; variable
419 SwitchNodeBuilder builder(Pred, B, cast<SwitchStmt>(Term)->getCond(), in HandleBlockExit()697 SwitchNodeBuilder::generateCaseStmtNode(const iterator &I, in generateCaseStmtNode()712 SwitchNodeBuilder::generateDefaultCaseNode(ProgramStateRef St, in generateDefaultCaseNode()
2629 void ExprEngine::processSwitch(SwitchNodeBuilder& builder) { in processSwitch()2630 using iterator = SwitchNodeBuilder::iterator; in processSwitch()