Searched refs:SwitchNodeBuilder (Results 1 – 11 of 11) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SubEngine.h | 38 class SwitchNodeBuilder; variable
100 virtual void processSwitch(SwitchNodeBuilder& builder) = 0;
|
| D | CoreEngine.h | 49 friend class SwitchNodeBuilder; variable
494 class SwitchNodeBuilder {
501 SwitchNodeBuilder(ExplodedNode *pred, const CFGBlock *src, in SwitchNodeBuilder() function
508 friend class SwitchNodeBuilder; variable
|
| D | ExplodedGraph.h | 61 friend class SwitchNodeBuilder; variable
|
| D | ExprEngine.h | 254 void processSwitch(SwitchNodeBuilder& builder) override;
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CoreEngine.h | 62 friend class SwitchNodeBuilder; variable
525 class SwitchNodeBuilder {
532 SwitchNodeBuilder(ExplodedNode *pred, const CFGBlock *src, in SwitchNodeBuilder() function
537 friend class SwitchNodeBuilder; variable
|
| D | ExprEngine.h | 97 class SwitchNodeBuilder; variable
358 void processSwitch(SwitchNodeBuilder& builder);
|
| D | ExplodedGraph.h | 72 friend class SwitchNodeBuilder; variable
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 451 SwitchNodeBuilder builder(Pred, B, cast<SwitchStmt>(Term)->getCond(), in HandleBlockExit()
706 SwitchNodeBuilder::generateCaseStmtNode(const iterator &I, in generateCaseStmtNode()
723 SwitchNodeBuilder::generateDefaultCaseNode(ProgramStateRef St, in generateDefaultCaseNode()
|
| D | ExprEngine.cpp | 1802 void ExprEngine::processSwitch(SwitchNodeBuilder& builder) { in processSwitch()
1803 typedef SwitchNodeBuilder::iterator iterator; in processSwitch()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 388 SwitchNodeBuilder builder(Pred, B, cast<SwitchStmt>(Term)->getCond(), in HandleBlockExit()
666 SwitchNodeBuilder::generateCaseStmtNode(const iterator &I, in generateCaseStmtNode()
681 SwitchNodeBuilder::generateDefaultCaseNode(ProgramStateRef St, in generateDefaultCaseNode()
|
| D | ExprEngine.cpp | 2438 void ExprEngine::processSwitch(SwitchNodeBuilder& builder) { in processSwitch()
2439 using iterator = SwitchNodeBuilder::iterator; in processSwitch()
|