HomeSort by relevance Sort by last modified time
    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