| commit | 6d4c022695c2d780ccb63ce43a50588412b80813 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Sep 03 01:07:02 2010 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Sep 03 01:07:02 2010 +0000 |
| tree | 4d5bf68fa1578b4f249a712c094009ae9d1a1778 | |
| parent | 124f5d5fa4c6b348b4ca5876762fc5eb3864a39b [diff] |
Add optional record of "location" SVals in the environment. When we analyzing loads/stores, we lose the location SVal, which makes it difficult to recover in some cases (e.g., for post diagnostics). This is prep for pending changes to GRExprEngine. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@112930 91177308-0d34-0410-b5e6-96231b3b80d8