diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-20 22:58:02 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-20 22:58:02 +0000 |
| commit | 25c545788da6e3a725206cfa378b9b83a7da6024 (patch) | |
| tree | b76ba656bf8be257935bcb76946e19439bddeefc /lib/Frontend/AnalysisConsumer.cpp | |
| parent | 76ed9cb1d7398bb721cb9df67b3004c14dae8aa8 (diff) | |
Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order
pointers.
Enhanced RegionStoreManager::Retrieve() to handle automatic casts when the
loaded value is different from the requested value. This should be refined over
time, but essentially we should always symbolicate locations as locations, and
convert them to non-locations on demand.
These changes now cause 'misc-ps.m' to pass again.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76497 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Frontend/AnalysisConsumer.cpp')
0 files changed, 0 insertions, 0 deletions