diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-07-10 22:03:41 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-07-10 22:03:41 +0000 |
| commit | 4323a57627e796dcfdfdb7d47672dc09ed308eda (patch) | |
| tree | d134b1a85f9ec16f0db46f4b7f6bc4e1ead64b25 /lib/Analysis/BugReporter.cpp | |
| parent | e5690319a0e834b9bd9dcb5e444e59ecc5da3105 (diff) | |
Refactored most of the "Store" piece of ValueState into a Store type. The
current store implementation is now encapsulated by BasicStore.
These changes prompted some long due constification of ValueState. Much of the
diffs in this patch include adding "const" qualifiers.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53423 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BugReporter.cpp')
| -rw-r--r-- | lib/Analysis/BugReporter.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Analysis/BugReporter.cpp b/lib/Analysis/BugReporter.cpp index fba31f81af..081e7925ee 100644 --- a/lib/Analysis/BugReporter.cpp +++ b/lib/Analysis/BugReporter.cpp @@ -327,7 +327,7 @@ static void HandleNotableSymbol(ExplodedNode<ValueState>* N, Stmt* S, PathDiagnostic& PD) { ExplodedNode<ValueState>* Pred = N->pred_empty() ? 0 : *N->pred_begin(); - ValueState* PrevSt = Pred ? Pred->getState() : 0; + const ValueState* PrevSt = Pred ? Pred->getState() : 0; if (!PrevSt) return; @@ -335,7 +335,7 @@ static void HandleNotableSymbol(ExplodedNode<ValueState>* N, Stmt* S, // Look at the variable bindings of the current state that map to the // specified symbol. Are any of them not in the previous state. - ValueState* St = N->getState(); + const ValueState* St = N->getState(); ValueStateManager& VMgr = cast<GRBugReporter>(BR).getStateManager(); // FIXME: Later generalize for a broader memory model. @@ -633,7 +633,7 @@ void GRBugReporter::GeneratePathDiagnostic(PathDiagnostic& PD, if (const PostStmt* PS = dyn_cast<PostStmt>(&P)) { - ValueState* St = N->getState(); + const ValueState* St = N->getState(); // Scan the lval bindings, and see if a "notable" symbol has a new // lval binding. |