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 | f267a15c8db766bb16ce60e74b9227407cb479af (patch) | |
tree | fe2454323142fb0a30a9cac46908cbc66da1aa41 /clang/lib/CodeGen/CodeGenModule.cpp | |
parent | 86085a57ebef8fe8759ead071a5e57dbd7114eec (diff) | |
download | bcm5719-llvm-f267a15c8db766bb16ce60e74b9227407cb479af.tar.gz bcm5719-llvm-f267a15c8db766bb16ce60e74b9227407cb479af.zip |
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.
llvm-svn: 75882
Diffstat (limited to 'clang/lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions