Warn when 'assume_nonnull' infers nullability within an array.
authorJordan Rose <jordan_rose@apple.com>
Thu, 10 Nov 2016 23:28:30 +0000 (23:28 +0000)
committerJordan Rose <jordan_rose@apple.com>
Thu, 10 Nov 2016 23:28:30 +0000 (23:28 +0000)
commit3b917fe019fff717f9b92defb8ec14601090381f
treef3feb3456cc7f8f0b83f66728ad7312bcb588816
parentf85a9b06b826f1081f121156def4fb3ab9aa6ac3
Warn when 'assume_nonnull' infers nullability within an array.

...or within a reference. Both of these add an extra level of
indirection that make us less certain that the pointer really was
supposed to be non-nullable. However, changing the default behavior
would be a breaking change, so we'll just make it a warning instead.

Part of rdar://problem/25846421

llvm-svn: 286521
clang/include/clang/Basic/DiagnosticGroups.td
clang/include/clang/Basic/DiagnosticSemaKinds.td
clang/lib/Sema/SemaType.cpp
clang/test/FixIt/nullability.mm [new file with mode: 0644]
clang/test/SemaObjCXX/nullability-consistency-arrays.mm