Searched refs:SwitchNodeBuilder (Results 1 – 6 of 6) sorted by relevance
38 class SwitchNodeBuilder; variable100 virtual void processSwitch(SwitchNodeBuilder& builder) = 0;
49 friend class SwitchNodeBuilder; variable491 class SwitchNodeBuilder {498 SwitchNodeBuilder(ExplodedNode *pred, const CFGBlock *src, in SwitchNodeBuilder() function505 friend class SwitchNodeBuilder; variable
60 friend class SwitchNodeBuilder; variable
254 void processSwitch(SwitchNodeBuilder& builder) override;
439 SwitchNodeBuilder builder(Pred, B, cast<SwitchStmt>(Term)->getCond(), in HandleBlockExit()689 SwitchNodeBuilder::generateCaseStmtNode(const iterator &I, in generateCaseStmtNode()706 SwitchNodeBuilder::generateDefaultCaseNode(ProgramStateRef St, in generateDefaultCaseNode()
1778 void ExprEngine::processSwitch(SwitchNodeBuilder& builder) { in processSwitch()1779 typedef SwitchNodeBuilder::iterator iterator; in processSwitch()