|
clang
5.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/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 495 of file CoreEngine.h.
|
inline |
Definition at line 502 of file CoreEngine.h.
|
inline |
Definition at line 526 of file CoreEngine.h.
References clang::CFGBlock::succ_rbegin().
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 527 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 717 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 734 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 539 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 543 of file CoreEngine.h.
References clang::ento::ExplodedNode::getLocationContext().
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 541 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 529 of file CoreEngine.h.
References clang::CFGBlock::getTerminator().
Referenced by clang::ento::ExprEngine::processSwitch().
1.8.6