Searched refs:SwitchNodeBuilder (Results 1 – 6 of 6) sorted by relevance
42 class SwitchNodeBuilder; variable107 virtual void processSwitch(SwitchNodeBuilder& builder) = 0;
62 friend class SwitchNodeBuilder; variable517 class SwitchNodeBuilder {524 SwitchNodeBuilder(ExplodedNode *pred, const CFGBlock *src, in SwitchNodeBuilder() function529 friend class SwitchNodeBuilder; variable
73 friend class SwitchNodeBuilder; variable
327 void processSwitch(SwitchNodeBuilder& builder) override;
371 SwitchNodeBuilder builder(Pred, B, cast<SwitchStmt>(Term)->getCond(), in HandleBlockExit()616 SwitchNodeBuilder::generateCaseStmtNode(const iterator &I, in generateCaseStmtNode()631 SwitchNodeBuilder::generateDefaultCaseNode(ProgramStateRef St, in generateDefaultCaseNode()
2281 void ExprEngine::processSwitch(SwitchNodeBuilder& builder) { in processSwitch()2282 using iterator = SwitchNodeBuilder::iterator; in processSwitch()