[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)
commita42fb525e43ba27f82d361236d47811b3d1073de
treed1f1a5e81052a07d9aec385d187797e087fd4700
parent5673b6567ae881cd22280de94a958b45a9bbeffb
[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.

llvm-svn: 185609
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
clang/test/Analysis/Inputs/system-header-simulator-cxx.h
clang/test/Analysis/inlining/stl.cpp