]> granicus.if.org Git - clang/commit
[analyzer] Keep tracking the pointer after the escape to more aggressively report...
authorAnna Zaks <ganna@apple.com>
Tue, 9 Apr 2013 00:30:28 +0000 (00:30 +0000)
committerAnna Zaks <ganna@apple.com>
Tue, 9 Apr 2013 00:30:28 +0000 (00:30 +0000)
commit0413023bed8ec91d3642cd6ff114957badf51f31
tree3c1db991033f9d2cad15565a36d9737b73b5f68e
parent1db6d6bcfdd3b1a56e154adc6777811295b9a010
[analyzer] Keep tracking the pointer after the escape to more aggressively report mismatched deallocator

Test that the path notes do not change. I don’t think we should print a note on escape.

Also, I’ve removed a check that assumed that the family stored in the RefStete could be
AF_None and added an assert in the constructor.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@179075 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/MallocChecker.cpp
test/Analysis/Malloc+MismatchedDeallocator+NewDelete.cpp
test/Analysis/MismatchedDeallocator-path-notes.cpp
test/Analysis/malloc.c