| commit | 41be967969b060d7192411665138de539d59d93b | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Sep 01 23:27:26 2010 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Sep 01 23:27:26 2010 +0000 |
| tree | fe84a265a2a828b1f33c626dd1c5ada15fb7e46d | |
| parent | bf346e95f1d60f37fb37d89c288e1daa7839fc01 [diff] |
Partial fix for PR 8015 (fix is actually by Jordy Rose, and I added a test case for follow-on work). This patch adds a bandaid for RegionStore's limited reasoning about symbolic array values. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@112766 91177308-0d34-0410-b5e6-96231b3b80d8