Skip to content
Commit 834e2f69 authored by Ted Kremenek's avatar Ted Kremenek
Browse files

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.

llvm-svn: 76497
parent d231d78f
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment