diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-04-05 05:18:05 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-04-05 05:18:05 +0000 |
| commit | 04a18c9f42e91db1b2d2c7483723c1cd321c3d39 (patch) | |
| tree | 74d5e6e28a57e4961b256d596f593d3269fac17d /test/Analysis | |
| parent | bb3d20f80c98e7919411bc7e062d69b17462899b (diff) | |
Teach ObjCContainersChecker that the array passed to CFArrayGetValueAtIndex might not be a symbolic value.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@154083 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis')
| -rw-r--r-- | test/Analysis/CFContainers.mm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/Analysis/CFContainers.mm b/test/Analysis/CFContainers.mm index e8166eba8d..7d6c175d1f 100644 --- a/test/Analysis/CFContainers.mm +++ b/test/Analysis/CFContainers.mm @@ -198,3 +198,7 @@ void TestConst(CFArrayRef A, CFIndex sIndex, void* x[]) { const void *s1 = CFArrayGetValueAtIndex(B, 2); } + +void TestNullArray() { + CFArrayGetValueAtIndex(0, 0); +} |