llvm-project/clang/test/Analysis/inlining
Devin Coughlin 0a53fdf00c [analyzer] Suppress false positives in std::shared_ptr
The analyzer does not model C++ temporary destructors completely and so
reports false alarms about leaks of memory allocated by the internals of
shared_ptr:

  std::shared_ptr<int> p(new int(1));
  p = nullptr; // 'Potential leak of memory pointed to by field __cntrl_'

This patch suppresses all diagnostics where the end of the path is inside
a method in std::shared_ptr.

It also reorganizes the tests for suppressions in the C++ standard library
to use a separate simulated header for library functions with bugs
that were deliberately inserted to test suppression. This will prevent
other tests from using these as models.

rdar://problem/23652766

llvm-svn: 274691
2016-07-06 21:52:55 +00:00
..
DynDispatchBifurcate.m
InlineObjCClassMethod.m
InlineObjCInstanceMethod.h
InlineObjCInstanceMethod.m
ObjCDynTypePopagation.m
ObjCImproperDynamictallyDetectableCast.m
RetainCountExamples.m
analysis-order.c AnalysisConsumer: use canonical decl for both lookup and store of 2016-01-11 09:38:48 +00:00
assume-super-init-does-not-return-nil.m
containers.cpp Do not inline methods of C++ containers (coming from headers). 2014-06-27 01:03:05 +00:00
dyn-dispatch-bifurcate.cpp
eager-reclamation-path-notes.c [analyzer] Bug identification 2015-10-22 11:53:04 +00:00
eager-reclamation-path-notes.cpp [analyzer] Bug identification 2015-10-22 11:53:04 +00:00
false-positive-suppression.c [analyzer] Make suppression of macro defensive checks work with -analyzer-eagerly-assume. 2016-01-30 01:59:33 +00:00
false-positive-suppression.cpp
false-positive-suppression.m [analyzer] Teach trackNullOrUndefValue() about class property accessors. 2016-06-22 00:20:00 +00:00
inline-defensive-checks.c
inline-defensive-checks.cpp
inline-defensive-checks.m
path-notes.c [analyzer] Bug identification 2015-10-22 11:53:04 +00:00
path-notes.cpp [analyzer] Bug identification 2015-10-22 11:53:04 +00:00
path-notes.m Attempt to fix build bot test failures. 2015-10-22 13:23:18 +00:00
retain-count-self-init.m
stl.cpp [analyzer] Suppress false positives in std::shared_ptr 2016-07-06 21:52:55 +00:00
test-always-inline-size-option.c
test_objc_inlining_option.m