diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-16 01:32:00 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-16 01:32:00 +0000 |
| commit | 06669c8e5c24251f6b140298148fbe53ab70a936 (patch) | |
| tree | 77a2453a15694d4b74532334766ae8dbee0f6e39 /lib/Analysis/RegionStore.cpp | |
| parent | f23ecd91bf0205b776dfab2c5231e895019a7400 (diff) | |
Two changes:
(1) Moved the SValuator object from GRExprEngine to ValueManager. This
allows ValueManager to use the SValuator when creating SVals.
(2) Added ValueManager::makeArrayIndex() and
ValueManager::convertToArrayIndex(), two SVal creation methods
that will help RegionStoreManager always have a consistent set of
SVals with the same integer size and type when reasoning about
array indices.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75882 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/RegionStore.cpp')
0 files changed, 0 insertions, 0 deletions