| commit | ab9f13e73d951accb5a028783032ce8a695e8048 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Sep 01 23:37:38 2010 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Sep 01 23:37:38 2010 +0000 |
| tree | e1797af83640b9f6d32a5841057c750db1738059 | |
| parent | 19c74a05c44c9e9966961975992ee1555d556d45 [diff] |
Add yet another test case for PR 8015, showing how reasoning over symbolic indices should exactly resolve over multiple index possibilities (and thus suppress the false positive in the test). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@112770 91177308-0d34-0410-b5e6-96231b3b80d8