[analyzer] Change the check::RegionChanges callback to include the regions...
[analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation. Also, allow CallOrObjCMessage to wrap a CXXConstructExpr as well. Finally, this allows us to remove the clunky whitelisting system from CFRefCount/RetainReleaseChecker. Slight regression due to CXXNewExprs not yet being handled in post-statement callbacks (PR forthcoming). llvm-svn: 138716
Showing
- clang/include/clang/StaticAnalyzer/Core/Checker.h 3 additions, 3 deletionsclang/include/clang/StaticAnalyzer/Core/Checker.h
- clang/include/clang/StaticAnalyzer/Core/CheckerManager.h 12 additions, 4 deletionsclang/include/clang/StaticAnalyzer/Core/CheckerManager.h
- clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h 2 additions, 2 deletions...lude/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
- clang/include/clang/StaticAnalyzer/Core/PathSensitive/ObjCMessage.h 42 additions, 21 deletions...ude/clang/StaticAnalyzer/Core/PathSensitive/ObjCMessage.h
- clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h 8 additions, 18 deletions...de/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
- clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h 2 additions, 3 deletions...g/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
- clang/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h 3 additions, 3 deletions...clude/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
- clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 8 additions, 7 deletionsclang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
- clang/lib/StaticAnalyzer/Core/CFRefCount.cpp 37 additions, 40 deletionsclang/lib/StaticAnalyzer/Core/CFRefCount.cpp
- clang/lib/StaticAnalyzer/Core/CheckerManager.cpp 4 additions, 3 deletionsclang/lib/StaticAnalyzer/Core/CheckerManager.cpp
- clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 3 additions, 3 deletionsclang/lib/StaticAnalyzer/Core/ExprEngine.cpp
- clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp 3 additions, 9 deletionsclang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
- clang/lib/StaticAnalyzer/Core/ObjCMessage.cpp 17 additions, 21 deletionsclang/lib/StaticAnalyzer/Core/ObjCMessage.cpp
- clang/lib/StaticAnalyzer/Core/ProgramState.cpp 17 additions, 20 deletionsclang/lib/StaticAnalyzer/Core/ProgramState.cpp
- clang/lib/StaticAnalyzer/Core/RegionStore.cpp 10 additions, 12 deletionsclang/lib/StaticAnalyzer/Core/RegionStore.cpp
Loading
Please register or sign in to comment