]> granicus.if.org Git - clang/commit
[analyzer] Suppress reports reported in std::list
authorAnna Zaks <ganna@apple.com>
Thu, 4 Jul 2013 02:38:10 +0000 (02:38 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 4 Jul 2013 02:38:10 +0000 (02:38 +0000)
commit8b625a3f7764959d0a2ac3cd860ce1e168e0fc9b
tree49139abb878ce4c1cae19d4c66ab93f7f7ee36a9
parent7f79b78351af03a392ee16d8ec557d47746c33c6
[analyzer] Suppress reports reported in std::list

The motivation is to suppresses false use-after-free reports that occur when calling
std::list::pop_front() or std::list::pop_back() twice. The analyzer does not
reason about the internal invariants of the list implementation, so just do not report
any of warnings in std::list.

Fixes radar://14317928.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@185609 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
test/Analysis/Inputs/system-header-simulator-cxx.h
test/Analysis/inlining/stl.cpp