diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-09-01 23:27:26 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-09-01 23:27:26 +0000 |
| commit | 41be967969b060d7192411665138de539d59d93b (patch) | |
| tree | fe84a265a2a828b1f33c626dd1c5ada15fb7e46d /lib/Frontend/CompilerInvocation.cpp | |
| 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
Diffstat (limited to 'lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions