OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:BlockEdge
(Results
1 - 14
of
14
) sorted by null
/external/clang/include/clang/Analysis/FlowSensitive/
DataflowSolver.h
81
static
BlockEdge
PrevEdge(const CFGBlock *B, const CFGBlock *Prev) {
82
return
BlockEdge
(Prev, B, 0);
85
static
BlockEdge
NextEdge(const CFGBlock *B, const CFGBlock *Next) {
86
return
BlockEdge
(B, Next, 0);
104
static
BlockEdge
PrevEdge(const CFGBlock *B, const CFGBlock *Prev) {
105
return
BlockEdge
(B, Prev, 0);
108
static
BlockEdge
NextEdge(const CFGBlock *B, const CFGBlock *Next) {
109
return
BlockEdge
(Next, B, 0);
322
void UpdateEdgeValue(
BlockEdge
E, ValTy& V, const CFGBlock *TargetBlock) {
DataflowValues.h
87
ValTy& getEdgeData(const
BlockEdge
&E) {
93
const ValTy& getEdgeData(const
BlockEdge
&E) const {
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SubEngine.h
62
virtual void processCFGBlockEntrance(const
BlockEdge
&L,
CoreEngine.h
52
typedef std::vector<std::pair<
BlockEdge
, const ExplodedNode*> >
95
void HandleBlockEdge(const
BlockEdge
&E, ExplodedNode *Pred);
ExprEngine.h
175
virtual void processCFGBlockEntrance(const
BlockEdge
&L,
/external/clang/lib/StaticAnalyzer/Core/
CoreEngine.cpp
186
BlockEdge
StartLoc(Entry, Succ, L);
229
HandleBlockEdge(cast<
BlockEdge
>(Loc), Pred);
282
void CoreEngine::HandleBlockEdge(const
BlockEdge
&L, ExplodedNode *Pred) {
371
generateNode(
BlockEdge
(B, succ, Pred->getLocationContext()),
443
generateNode(
BlockEdge
(B, *(B->succ_begin()), Pred->getLocationContext()),
620
ProgramPoint Loc =
BlockEdge
(C.Block, branch ? DstT:DstF,
631
ExplodedNode *Succ = Eng.G->getNode(
BlockEdge
(Src, I.getBlock(),
651
ExplodedNode *Succ = Eng.G->getNode(
BlockEdge
(Src, I.getBlock(),
676
ExplodedNode *Succ = Eng.G->getNode(
BlockEdge
(Src, DefaultBlock,
ExprEngineCallAndReturn.cpp
38
BlockEdge
Loc(Entry, Succ, calleeCtx);
58
if (isa<
BlockEdge
>(PP) || isa<CallExit>(PP)) {
PathDiagnostic.cpp
335
if (const
BlockEdge
*BE = dyn_cast<
BlockEdge
>(&P)) {
358
else if (const
BlockEdge
*BE = dyn_cast<
BlockEdge
>(&P)) {
BugReporter.cpp
49
else if (const
BlockEdge
*BE = dyn_cast<
BlockEdge
>(&P))
463
if (const
BlockEdge
*BE = dyn_cast<
BlockEdge
>(&P)) {
[
all
...]
BugReporterVisitors.cpp
468
if (const
BlockEdge
*BE = dyn_cast<
BlockEdge
>(&progPoint)) {
ExprEngine.cpp
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
AnalyzerStatsChecker.cpp
123
const
BlockEdge
&BE = I->first;
IdempotentOperationChecker.cpp
545
const
BlockEdge
&BE = I->first;
547
// The destination block on the
BlockEdge
is the first block that was not
584
else if (
BlockEdge
*BE = dyn_cast<
BlockEdge
>(&P)) {
/external/clang/include/clang/Analysis/
ProgramPoint.h
354
class
BlockEdge
: public ProgramPoint {
356
BlockEdge
(const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L)
358
assert(B1 && "
BlockEdge
: source block must be non-null");
359
assert(B2 && "
BlockEdge
: destination block must be non-null");
Completed in 853 milliseconds