[analyzer] Different handling of alloca().
+ separate bug report for "Free alloca()" error to be able to customize checkers responsible for this error. + Muted "Free alloca()" error for NewDelete checker that is not responsible for c-allocated memory, turned on for unix.MismatchedDeallocator checker. + RefState for alloca() - to be able to detect usage of zero-allocated memory by upcoming ZeroAllocDereference checker. + AF_Alloca family to handle alloca() consistently - keep proper family in RefState, handle 'alloca' by getCheckIfTracked() facility, etc. + extra tests. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@229850 91177308-0d34-0410-b5e6-96231b3b80d8
Showing
- lib/StaticAnalyzer/Checkers/MallocChecker.cpp 78 additions, 30 deletionslib/StaticAnalyzer/Checkers/MallocChecker.cpp
- test/Analysis/MismatchedDeallocator-checker-test.mm 5 additions, 0 deletionstest/Analysis/MismatchedDeallocator-checker-test.mm
- test/Analysis/NewDelete-checker-test.cpp 0 additions, 5 deletionstest/Analysis/NewDelete-checker-test.cpp
- test/Analysis/NewDelete-intersections.mm 9 additions, 2 deletionstest/Analysis/NewDelete-intersections.mm
- test/Analysis/free.c 11 additions, 4 deletionstest/Analysis/free.c
Loading
Please register or sign in to comment