[analyzer] Keep tracking the pointer after the escape to more aggressively...
[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
Showing
- lib/StaticAnalyzer/Checkers/MallocChecker.cpp 43 additions, 30 deletionslib/StaticAnalyzer/Checkers/MallocChecker.cpp
- test/Analysis/Malloc+MismatchedDeallocator+NewDelete.cpp 32 additions, 0 deletionstest/Analysis/Malloc+MismatchedDeallocator+NewDelete.cpp
- test/Analysis/MismatchedDeallocator-path-notes.cpp 136 additions, 134 deletionstest/Analysis/MismatchedDeallocator-path-notes.cpp
- test/Analysis/malloc.c 1 addition, 1 deletiontest/Analysis/malloc.c
Loading
Please register or sign in to comment