diff options
-rw-r--r-- | clang/Analysis/GRExprEngine.cpp | 39 | ||||
-rw-r--r-- | clang/include/clang/Analysis/PathSensitive/GRExprEngine.h | 2 |
2 files changed, 27 insertions, 14 deletions
diff --git a/clang/Analysis/GRExprEngine.cpp b/clang/Analysis/GRExprEngine.cpp index 15fe88ec1c1..6d1c03d537d 100644 --- a/clang/Analysis/GRExprEngine.cpp +++ b/clang/Analysis/GRExprEngine.cpp @@ -1814,28 +1814,39 @@ static void AddSources(llvm::SmallVector<GRExprEngine::NodeTy*, 10>& Sources, #endif void GRExprEngine::ViewGraph(bool trim) { -#ifndef NDEBUG - GraphPrintCheckerState = this; - GraphPrintSourceManager = &getContext().getSourceManager(); - +#ifndef NDEBUG if (trim) { llvm::SmallVector<NodeTy*, 10> Sources; AddSources(Sources, null_derefs_begin(), null_derefs_end()); AddSources(Sources, undef_derefs_begin(), undef_derefs_end()); - GRExprEngine::GraphTy* TrimmedG = G.Trim(&Sources[0], - &Sources[0]+Sources.size()); - - if (!TrimmedG) - llvm::cerr << "warning: Trimmed ExplodedGraph is empty.\n"; - else { - llvm::ViewGraph(*TrimmedG->roots_begin(), "TrimmedGRExprEngine"); - delete TrimmedG; - } + ViewGraph(&Sources[0], &Sources[0]+Sources.size()); } - else + else { + GraphPrintCheckerState = this; + GraphPrintSourceManager = &getContext().getSourceManager(); + llvm::ViewGraph(*G.roots_begin(), "GRExprEngine"); + + GraphPrintCheckerState = NULL; + GraphPrintSourceManager = NULL; + } +#endif +} + +void GRExprEngine::ViewGraph(NodeTy** Beg, NodeTy** End) { +#ifndef NDEBUG + GraphPrintCheckerState = this; + GraphPrintSourceManager = &getContext().getSourceManager(); + GRExprEngine::GraphTy* TrimmedG = G.Trim(Beg, End); + + if (!TrimmedG) + llvm::cerr << "warning: Trimmed ExplodedGraph is empty.\n"; + else { + llvm::ViewGraph(*TrimmedG->roots_begin(), "TrimmedGRExprEngine"); + delete TrimmedG; + } GraphPrintCheckerState = NULL; GraphPrintSourceManager = NULL; diff --git a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h b/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h index ad592b74771..1a4c814a5ff 100644 --- a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h +++ b/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h @@ -153,6 +153,8 @@ public: /// simulation. void ViewGraph(bool trim = false); + void ViewGraph(NodeTy** Beg, NodeTy** End); + /// getInitialState - Return the initial state used for the root vertex /// in the ExplodedGraph. ValueState* getInitialState(); |