diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-13 21:55:12 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-13 21:55:12 +0000 |
| commit | 54ca9b1d45fbfb0b3eeab581e0d10403cc922e62 (patch) | |
| tree | b34da1058766c69e74edf98558559817a57c02c9 /lib/Analysis/BasicStore.cpp | |
| parent | 47393ba7caff1db4f90f57db83a2dfcf373d79d3 (diff) | |
Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case
where we are comparing a symbolic value against itself, regardless of
the nature of that symbolic value.
This enhancement identified a case where RegionStoreManager is not
correctly symbolicating the values of the pointees of parameters. The
failing test is now in 'test/Analysis/misc-ps-region-store.m', with
that test file now (temporarily) marked XFAIL.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75521 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
0 files changed, 0 insertions, 0 deletions