Devin Coughlin 77942db0b8 [analyzer] Nullability: Don't warn along paths where null returned from non-null. ... Change the nullability checker to not warn along paths where null is returned from a method with a non-null return type, even when the diagnostic for this return has been suppressed. This prevents warning from methods with non-null return types that inline methods that themselves return nil but that suppressed the diagnostic. Also change the PreconditionViolated state component to be called "InvariantViolated" because it is set when a post-condition is violated, as well. rdar://problem/25393539 llvm-svn: 264647		2016-03-28 20:30:25 +00:00
..
Models	Add support for the static analyzer to synthesize function implementations from external model files.	2014-08-27 15:14:15 +00:00
qt-simulator.h	[analyzer] Fix false warning about memory leak for QApplication::postEvent	2016-01-06 00:32:56 +00:00
system-header-simulator-cxx.h	[analyzer] Invalidate destination of std::copy() and std::copy_backward().	2016-02-07 16:55:44 +00:00
system-header-simulator-for-malloc.h	…
system-header-simulator-for-nullability.h	[analyzer] Nullability: Don't warn along paths where null returned from non-null.	2016-03-28 20:30:25 +00:00
system-header-simulator-for-objc-dealloc.h	[analyzer] Add CIFIlter modeling to DeallocChecker.	2016-03-25 21:18:22 +00:00
system-header-simulator-for-pthread-lock.h	[analyzer] Fix pthread lock tests so that the API comes from a system header.	2014-09-10 16:17:42 +00:00
system-header-simulator-for-simple-stream.h	…
system-header-simulator-objc.h	…
system-header-simulator.h	[analyzer] Add VforkChecker to find unsafe code in vforked process.	2015-11-06 11:16:31 +00:00