llvm-project/clang/test/Analysis/inlining
Devin Coughlin 719238b7d3 [analyzer] Weaken assertion in trackNullOrUndefValue()
We should ignore paren casts when making sure that the semantic expression
in a PseudoObjectExpr for an ObjC getter is a message send.

This has no other intended functionality change.

Adding a test for this exposed an interesting issue in another test case
that only manifests under ARC. trackNullOrUndefValue() is not properly
suppressing for nil values that are the result of nil propagation from a nil
receiver when the nil is returned from a function. I've added a FIXME for that
missing suppression.

rdar://problem/27290568

llvm-svn: 279181
2016-08-19 01:05:31 +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] Weaken assertion in trackNullOrUndefValue() 2016-08-19 01:05:31 +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