Searched refs:SwitchNodeBuilder (Results 1 – 5 of 5) sorted by relevance
63 friend class SwitchNodeBuilder; variable 534 class SwitchNodeBuilder {541 SwitchNodeBuilder(ExplodedNode *pred, const CFGBlock *src, in SwitchNodeBuilder() function 546 friend class SwitchNodeBuilder; variable
94 class SwitchNodeBuilder; variable 353 void processSwitch(SwitchNodeBuilder& builder);
73 friend class SwitchNodeBuilder; variable
406 SwitchNodeBuilder builder(Pred, B, cast<SwitchStmt>(Term)->getCond(), in HandleBlockExit() 684 SwitchNodeBuilder::generateCaseStmtNode(const iterator &I, in generateNode() 699 SwitchNodeBuilder::generateDefaultCaseNode(ProgramStateRef St, in generateCaseStmtNode()
2983 void ExprEngine::processSwitch(SwitchNodeBuilder& builder) { in processSwitch() 2984 using iterator = SwitchNodeBuilder::iterator; in processSwitch()