HomeSort by: relevance | last modified time | path
    Searched refs:BlockEdge (Results 1 - 19 of 19) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/Analysis/FlowSensitive/
DataflowValues.h 87 ValTy& getEdgeData(const BlockEdge &E) {
93 const ValTy& getEdgeData(const BlockEdge &E) const {
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
CoreEngine.cpp 100 BlockEdge StartLoc(Entry, Succ, L);
158 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred);
208 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
334 generateNode(BlockEdge(B, succ, Pred->getLocationContext()),
415 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()),
479 BlockEdge Loc(B, *B->succ_begin(), LCtx);
490 BlockEdge Loc(B, *(B->succ_begin() + 1), LCtx);
641 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF,
653 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()),
671 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext())
    [all...]
ExprEngineCallAndReturn.cpp 58 BlockEdge Loc(Entry, Succ, calleeCtx);
106 } else if (Optional<BlockEdge> BE = PP.getAs<BlockEdge>()) {
ExprEngineC.cpp 708 BlockEdge BE = N->getLocation().castAs<BlockEdge>();
822 SrcBlock = PP.castAs<BlockEdge>().getSrc();
ExplodedGraph.cpp 336 if (auto BE = P.getAs<BlockEdge>())
BugReporterVisitors.cpp 1767 if (auto BE = CurPoint.getAs<BlockEdge>()) {
1960 if (Optional<BlockEdge> BE = ProgPoint.getAs<BlockEdge>()) {
2288 if (Optional<BlockEdge> BE = ProgPoint.getAs<BlockEdge>()) {
2292 // 'BlockEdge' has the same constraint information. We do not want to
BugReporter.cpp 251 BlockEdge BE) const;
858 PathDiagnosticConstruct &C, BlockEdge BE) const {
1014 static bool isJumpToFalseBranch(const BlockEdge *BE) {
1233 } else if (auto BE = P.getAs<BlockEdge>()) {
CheckerManager.cpp 437 const BlockEdge &L,
ExprEngine.cpp 1959 void ExprEngine::processCFGBlockEntrance(const BlockEdge &L,
2362 const BlockEdge &L) {
  /src/external/apache2/llvm/dist/clang/lib/Analysis/
ProgramPoint.cpp 135 const BlockEdge &E = castAs<BlockEdge>();
PathDiagnostic.cpp 668 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) {
679 // If the BlockEdge has no terminator condition statement but its
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
AnalyzerStatsChecker.cpp 122 const BlockEdge &BE = I->first;
BasicObjCFoundationChecks.cpp 962 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) {
  /src/external/apache2/llvm/dist/llvm/lib/Transforms/Utils/
PredicateInfo.cpp 644 auto BlockEdge = getBlockEdge(PossibleCopy);
645 if (EdgeUsesOnly.count(BlockEdge)) {
647 auto *DomNode = DT.getNode(BlockEdge.first);
660 auto *DomNode = DT.getNode(BlockEdge.second);
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 66 std::vector<std::pair<BlockEdge, const ExplodedNode *>>;
107 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
ExprEngine.h 321 void processCFGBlockEntrance(const BlockEdge &L,
364 const BlockEdge &L);
  /src/external/apache2/llvm/dist/clang/include/clang/Analysis/
ProgramPoint.h 503 class BlockEdge : public ProgramPoint {
505 BlockEdge(const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L)
507 assert(B1 && "BlockEdge: source block must be non-null");
508 assert(B2 && "BlockEdge: destination block must be non-null");
521 BlockEdge() = default;
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 352 const BlockEdge &L,
  /src/external/apache2/llvm/dist/llvm/lib/Transforms/Scalar/
NewGVN.cpp 625 using BlockEdge = BasicBlockEdge;
626 DenseSet<BlockEdge> ReachableEdges;

Completed in 71 milliseconds