diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-22 22:35:28 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-22 22:35:28 +0000 |
| commit | 5f85e17df3f5b0a8021443f2b590daecfb2cbd17 (patch) | |
| tree | 27f50e167a2cf236ee16a7aadc89b330a62389a1 /lib/Analysis/GRState.cpp | |
| parent | de99a45c1295ec8e2eea20d35906178ff10722b5 (diff) | |
Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.
Educate GRExprEngine::VisitGraph() about 'PreStmt'.
Mark the constructor of 'PostStmt' to be explicit, preventing implicit
conversions and the selection of the wrong 'generateNode' method in
GRStmtNodeBuilder.
Constify a bunch of arguments, which falls out of the changes to ProgramPoint.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76809 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRState.cpp')
| -rw-r--r-- | lib/Analysis/GRState.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp index b849bea0b5..5728aae3ff 100644 --- a/lib/Analysis/GRState.cpp +++ b/lib/Analysis/GRState.cpp @@ -324,7 +324,7 @@ bool GRState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const { // Queries. //===----------------------------------------------------------------------===// -bool GRStateManager::isEqual(const GRState* state, Expr* Ex, +bool GRStateManager::isEqual(const GRState* state, const Expr* Ex, const llvm::APSInt& Y) { SVal V = state->getSVal(Ex); @@ -341,7 +341,7 @@ bool GRStateManager::isEqual(const GRState* state, Expr* Ex, return false; } -bool GRStateManager::isEqual(const GRState* state, Expr* Ex, uint64_t x) { +bool GRStateManager::isEqual(const GRState* state, const Expr* Ex, uint64_t x) { return isEqual(state, Ex, getBasicVals().getValue(x, Ex->getType())); } |