commit 06669c8e5c24251f6b140298148fbe53ab70a936
author Ted Kremenek <kremenek@apple.com> Thu Jul 16 01:32:00 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Jul 16 01:32:00 2009 +0000
tree 77a2453a15694d4b74532334766ae8dbee0f6e39
parent f23ecd91bf0205b776dfab2c5231e895019a7400

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