diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-04-23 23:02:12 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-04-23 23:02:12 +0000 |
| commit | a43a1eb6e7c773b79898541794bf819601719493 (patch) | |
| tree | acad009729d022aa1c5ff244c64e5ea44836841e /include/clang/Analysis/PathSensitive/ExplodedGraph.h | |
| parent | 186350f192bbc6a81bc6d7c3647c2243353f21ba (diff) | |
When building PathDiagnostics for bug reports, generate a trimmed ExplodedGraph with a single path that BugReport objects can safely walk and introspect.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50194 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/PathSensitive/ExplodedGraph.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/ExplodedGraph.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h index 0d8f31fb82..39a064d4c6 100644 --- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h +++ b/include/clang/Analysis/PathSensitive/ExplodedGraph.h @@ -167,6 +167,10 @@ public: Profile(ID, getLocation(), getState()); } + void addPredecessor(ExplodedNode* V) { + ExplodedNodeImpl::addPredecessor(V); + } + // Iterators over successor and predecessor vertices. typedef ExplodedNode** succ_iterator; typedef const ExplodedNode** const_succ_iterator; @@ -270,7 +274,8 @@ public: llvm::BumpPtrAllocator& getAllocator() { return Allocator; } CFG& getCFG() { return cfg; } ASTContext& getContext() { return Ctx; } - + + Decl& getCodeDecl() { return CodeDecl; } const Decl& getCodeDecl() const { return CodeDecl; } const FunctionDecl* getFunctionDecl() const { |