]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19c74a0) | patch
Add yet another test case for PR 8015, showing how reasoning over symbolic indices...
authorTed Kremenek <kremenek@apple.com>
Wed, 1 Sep 2010 23:37:38 +0000 (23:37 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 1 Sep 2010 23:37:38 +0000 (23:37 +0000)
commitab9f13e73d951accb5a028783032ce8a695e8048
treee1797af83640b9f6d32a5841057c750db1738059tree | snapshot
parent19c74a05c44c9e9966961975992ee1555d556d45commit | 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
test/Analysis/misc-ps-region-store.m diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.