diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-06-18 23:20:05 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-06-18 23:20:05 +0000 |
| commit | 4c6a36718270c93a60dbccbf92472c9bcdc1d2d2 (patch) | |
| tree | 2115b3acbba99004c9984da04bb5e204f7493faa /clang/lib/Analysis/SimpleConstraintManager.cpp | |
| parent | a0ca298f8a6a2bdcab08bd6263bed5a32fe800c7 (diff) | |
| download | bcm5719-llvm-4c6a36718270c93a60dbccbf92472c9bcdc1d2d2.tar.gz bcm5719-llvm-4c6a36718270c93a60dbccbf92472c9bcdc1d2d2.zip | |
Remove GRStateManager& field from SimpleConstraintManager.
llvm-svn: 73735
Diffstat (limited to 'clang/lib/Analysis/SimpleConstraintManager.cpp')
| -rw-r--r-- | clang/lib/Analysis/SimpleConstraintManager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/Analysis/SimpleConstraintManager.cpp b/clang/lib/Analysis/SimpleConstraintManager.cpp index 6e858891fa8..82801eb05d3 100644 --- a/clang/lib/Analysis/SimpleConstraintManager.cpp +++ b/clang/lib/Analysis/SimpleConstraintManager.cpp @@ -234,7 +234,7 @@ const GRState *SimpleConstraintManager::AssumeInBound(const GRState *state, if (!(isa<nonloc::ConcreteInt>(Idx) && isa<nonloc::ConcreteInt>(UpperBound))) return state; - const llvm::APSInt& Zero = getBasicVals().getZeroWithPtrWidth(false); + const llvm::APSInt& Zero = state->getBasicVals().getZeroWithPtrWidth(false); llvm::APSInt IdxV = cast<nonloc::ConcreteInt>(Idx).getValue(); // IdxV might be too narrow. if (IdxV.getBitWidth() < Zero.getBitWidth()) |
