]> granicus.if.org Git - clang/commit
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)
commit768c84e6b75f36035b2f83616a0dc0e096941299
treef9f3ef724740cd2f7e01176196a5a7909e7ed93c
parente4c8953a90d27b73ed374cc11de694deb7801c20
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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@286521 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Basic/DiagnosticGroups.td
include/clang/Basic/DiagnosticSemaKinds.td
lib/Sema/SemaType.cpp
test/FixIt/nullability.mm [new file with mode: 0644]
test/SemaObjCXX/nullability-consistency-arrays.mm