llvm-project/clang/test/SemaObjC/nullability-arc.m

// RUN: %clang_cc1 -fobjc-arc -fsyntax-only -Woverriding-method-mismatch %s -verify

__attribute__((objc_root_class))
@interface NSFoo
@end

// ARC qualifiers stacked with nullability.
void accepts_arc_qualified(NSFoo * __unsafe_unretained _Nonnull obj) {
  accepts_arc_qualified(0); // expected-warning{{null passed to a callee that requires a non-null argument}}
}
Diagnose unsafe uses of nil and __nonnull pointers. This generalizes the checking of null arguments to also work with values of pointer-to-function, reference-to-function, and block pointer type, using the nullability information within the underling function prototype to extend non-null checking, and diagnoses returns of 'nil' within a function with a __nonnull return type. Note that we don't warn about nil returns from Objective-C methods, because it's common for Objective-C methods to mimic the nil-swallowing behavior of the receiver by checking ostensibly non-null parameters and returning nil from otherwise non-null methods in that case. It also diagnoses (via a separate flag) conversions from nullable to nonnull pointers. It's a separate flag because this warning can be noisy. llvm-svn: 240153 2015-06-20 02:13:19 +08:00			`// RUN: %clang_cc1 -fobjc-arc -fsyntax-only -Woverriding-method-mismatch %s -verify`

			`__attribute__((objc_root_class))`
			`@interface NSFoo`
			`@end`

			`// ARC qualifiers stacked with nullability.`
Replace __double_underscored type nullability qualifiers with _Uppercase_underscored Addresses a conflict with glibc's __nonnull macro by renaming the type nullability qualifiers as follows: __nonnull -> _Nonnull __nullable -> _Nullable __null_unspecified -> _Null_unspecified This is the major part of rdar://problem/21530726, but does not yet provide the Darwin-specific behavior for the old names. llvm-svn: 240596 2015-06-25 06:02:08 +08:00			`void accepts_arc_qualified(NSFoo * __unsafe_unretained _Nonnull obj) {`
Diagnose unsafe uses of nil and __nonnull pointers. This generalizes the checking of null arguments to also work with values of pointer-to-function, reference-to-function, and block pointer type, using the nullability information within the underling function prototype to extend non-null checking, and diagnoses returns of 'nil' within a function with a __nonnull return type. Note that we don't warn about nil returns from Objective-C methods, because it's common for Objective-C methods to mimic the nil-swallowing behavior of the receiver by checking ostensibly non-null parameters and returning nil from otherwise non-null methods in that case. It also diagnoses (via a separate flag) conversions from nullable to nonnull pointers. It's a separate flag because this warning can be noisy. llvm-svn: 240153 2015-06-20 02:13:19 +08:00			`accepts_arc_qualified(0); // expected-warning{{null passed to a callee that requires a non-null argument}}`
			`}`