diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-01-11 02:33:26 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-01-11 02:33:26 +0000 |
| commit | be909b5eff3b1383d141a9f9f8981a0f3249845d (patch) | |
| tree | b525de315aa3dc406227e368d4cd7c45c7b173e5 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 8e994a2808afed750109c45492b7d683870fbfed (diff) | |
Switch RegionStore over to using <BaseRegion+raw offset> to store
value bindings. Along with a small change to OSAtomicChecker, this
resolves <rdar://problem/7527292> and resolves some long-standing
issues with how values can be bound to the same physical address by
not have the same "key". This change is only a beginning; logically
RegionStore needs to better handle loads from addresses where the
stored value is larger/smaller/different type than the loaded value.
We handle these cases in an approximate fashion now (via
CastRetrievedVal and help in SimpleSValuator), but it could be made
much smarter.
llvm-svn: 93137
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions