[analyzer] MoveChecker Pt.6: Suppress the warning for the move-safe STL classes.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 14 Dec 2018 20:52:57 +0000 (20:52 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 14 Dec 2018 20:52:57 +0000 (20:52 +0000)
commit11cadc3e6b42467f6c5388aa6bf5ee619d8146c5
treea2d094a1d24e094eb4a84a21e54529fc2771379d
parent12f7c2baccdfb7da56d018f34f29a954968ead6d
[analyzer] MoveChecker Pt.6: Suppress the warning for the move-safe STL classes.

Some C++ standard library classes provide additional guarantees about their
state after move. Suppress warnings on such classes until a more precise
behavior is implemented. Warnings for locals are not suppressed anyway
because it's still most likely a bug.

Differential Revision: https://reviews.llvm.org/D55307

llvm-svn: 349191
clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp
clang/test/Analysis/Inputs/system-header-simulator-cxx.h
clang/test/Analysis/diagnostics/explicit-suppression.cpp
clang/test/Analysis/use-after-move.cpp