[analyzer] If realloc fails on an escaped region, that region doesn't leak.
authorJordan Rose <jordan_rose@apple.com>
Thu, 15 Aug 2013 17:22:06 +0000 (17:22 +0000)
committerJordan Rose <jordan_rose@apple.com>
Thu, 15 Aug 2013 17:22:06 +0000 (17:22 +0000)
commit2f8b0229cb23158fb3122f6ed553a94badbc6e8e
tree6feda7c64d25899587b4fe73869529a4abfa7cc6
parentf66198822f315d7bcc82113fa60b4bb03ca6c285
[analyzer] If realloc fails on an escaped region, that region doesn't leak.

When a region is realloc()ed, MallocChecker records whether it was known
to be allocated or not. If it is, and the reallocation fails, the original
region has to be freed. Previously, when an allocated region escaped,
MallocChecker completely stopped tracking it, so a failed reallocation
still (correctly) wouldn't require freeing the original region. Recently,
however, MallocChecker started tracking escaped symbols, so that if it were
freed we could check that the deallocator matched the allocator. This
broke the reallocation model for whether or not a symbol was allocated.

Now, MallocChecker will actually check if a symbol is owned, and only
require freeing after a failed reallocation if it was owned before.

PR16730

llvm-svn: 188468
clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
clang/test/Analysis/malloc.c