[analyzer] Invalidate destination of std::copy() and std::copy_backward().
Now that the libcpp implementations of these methods has a branch that doesn't call memmove(), the analyzer needs to invalidate the destination for these methods explicitly. rdar://problem/23575656 git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@260043 91177308-0d34-0410-b5e6-96231b3b80d8
Showing
- include/clang/Analysis/AnalysisContext.h 4 additions, 0 deletionsinclude/clang/Analysis/AnalysisContext.h
- lib/Analysis/AnalysisDeclContext.cpp 15 additions, 0 deletionslib/Analysis/AnalysisDeclContext.cpp
- lib/StaticAnalyzer/Checkers/CStringChecker.cpp 58 additions, 0 deletionslib/StaticAnalyzer/Checkers/CStringChecker.cpp
- lib/StaticAnalyzer/Core/BugReporterVisitors.cpp 1 addition, 15 deletionslib/StaticAnalyzer/Core/BugReporterVisitors.cpp
- lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp 1 addition, 16 deletionslib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
- test/Analysis/Inputs/system-header-simulator-cxx.h 115 additions, 3 deletionstest/Analysis/Inputs/system-header-simulator-cxx.h
- test/Analysis/bstring.cpp 38 additions, 0 deletionstest/Analysis/bstring.cpp
- test/Analysis/diagnostics/explicit-suppression.cpp 9 additions, 3 deletionstest/Analysis/diagnostics/explicit-suppression.cpp
Loading
Please register or sign in to comment