clang
7.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 517 of file CoreEngine.h.
|
inline |
Definition at line 524 of file CoreEngine.h.
|
inline |
Definition at line 549 of file CoreEngine.h.
References clang::CFGBlock::succ_rbegin().
|
inline |
Definition at line 550 of file CoreEngine.h.
References clang::CFGBlock::succ_rend().
ExplodedNode * SwitchNodeBuilder::generateCaseStmtNode | ( | const iterator & | I, |
ProgramStateRef | State | ||
) |
Definition at line 610 of file CoreEngine.cpp.
ExplodedNode * SwitchNodeBuilder::generateDefaultCaseNode | ( | ProgramStateRef | State, |
bool | isSink = false |
||
) |
Definition at line 625 of file CoreEngine.cpp.
References clang::ento::ExplodedNode::addPredecessor(), clang::ento::ExplodedNode::getLocationContext(), and clang::CFGBlock::succ_rbegin().
|
inline |
Definition at line 562 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 566 of file CoreEngine.h.
References clang::ento::ExplodedNode::getLocationContext().
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 564 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processSwitch().
|
inline |
Definition at line 552 of file CoreEngine.h.
References clang::CFGBlock::getTerminator().