|
clang
3.8.0
|
#include <CoreEngine.h>
Classes | |
| class | iterator |
Public Member Functions | |
| SwitchNodeBuilder (ExplodedNode *pred, const CFGBlock *src, const Expr *condition, CoreEngine *eng) | |
| iterator | begin () |
| iterator | end () |
| const SwitchStmt * | getSwitch () const |
| ExplodedNode * | generateCaseStmtNode (const iterator &I, ProgramStateRef State) |
| ExplodedNode * | generateDefaultCaseNode (ProgramStateRef State, bool isSink=false) |
| const Expr * | getCondition () const |
| ProgramStateRef | getState () const |
| const LocationContext * | getLocationContext () const |
Definition at line 491 of file CoreEngine.h.
|
inline |
Definition at line 498 of file CoreEngine.h.
|
inline |
Definition at line 522 of file CoreEngine.h.
References clang::CFGBlock::succ_rbegin().
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 523 of file CoreEngine.h.
References clang::CFGBlock::succ_rend().
Referenced by clang::ento::ExprEngine::processSwitch().
| ExplodedNode * SwitchNodeBuilder::generateCaseStmtNode | ( | const iterator & | I, |
| ProgramStateRef | State | ||
| ) |
Definition at line 689 of file CoreEngine.cpp.
References clang::ento::ExplodedNode::addPredecessor(), clang::ento::SwitchNodeBuilder::iterator::getBlock(), and clang::ento::ExplodedNode::getLocationContext().
Referenced by clang::ento::ExprEngine::processSwitch().
| ExplodedNode * SwitchNodeBuilder::generateDefaultCaseNode | ( | ProgramStateRef | State, |
| bool | isSink = false |
||
| ) |
Definition at line 706 of file CoreEngine.cpp.
References clang::ento::ExplodedNode::addPredecessor(), clang::ento::ExplodedNode::getLocationContext(), and clang::CFGBlock::succ_rbegin().
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 535 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 539 of file CoreEngine.h.
References clang::ento::ExplodedNode::getLocationContext().
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 537 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 525 of file CoreEngine.h.
References clang::CFGBlock::getTerminator().
Referenced by clang::ento::ExprEngine::processSwitch().
1.8.6