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
Showing
- include/clang/Basic/DiagnosticGroups.td 1 addition, 0 deletionsinclude/clang/Basic/DiagnosticGroups.td
- include/clang/Basic/DiagnosticSemaKinds.td 5 additions, 0 deletionsinclude/clang/Basic/DiagnosticSemaKinds.td
- lib/Sema/SemaType.cpp 50 additions, 7 deletionslib/Sema/SemaType.cpp
- test/FixIt/nullability.mm 68 additions, 0 deletionstest/FixIt/nullability.mm
- test/SemaObjCXX/nullability-consistency-arrays.mm 6 additions, 6 deletionstest/SemaObjCXX/nullability-consistency-arrays.mm
Loading
Please register or sign in to comment