]> granicus.if.org Git - clang/commit
[analyzer] Fix a false positive in the CFArrayCreate check that surfaces
authorAnna Zaks <ganna@apple.com>
Thu, 2 Feb 2012 01:30:08 +0000 (01:30 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 2 Feb 2012 01:30:08 +0000 (01:30 +0000)
commitf196a90b26479a2c67959c6715491763cbc8ade1
treed8cfa02b4a7e920184d60f0c683ab0ea8eac62ad
parentf15fda02e9c8c82b4a716618f4010b9af8bff796
[analyzer] Fix a false positive in the CFArrayCreate check that surfaces
the the code like this (due to x and &x being the same value but
different size):

void* x[] = { ptr1, ptr2, ptr3 };
CFArrayCreate(NULL, (const void **) &x, count, NULL);

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@149579 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/ObjCContainersASTChecker.cpp
test/Analysis/CFContainers.mm