Home
last modified time | relevance | path

Searched refs:_Nonnull (Results 1 – 25 of 69) sorted by relevance

123

/llvm-project-15.0.7/clang/test/Sema/
H A Dnullability.c93 int * _Nonnull iptr; in printing_nullability()
96 int * * _Nonnull iptrptr; in printing_nullability()
120 return (_Nonnull int *)0; in returns_int_ptr()
135 int * _Nonnull p; in conditional_expr()
136 int * _Nonnull nonnullP; in conditional_expr()
176 int * _Nonnull p; in binary_conditional_expr()
177 int * _Nonnull nonnullP; in binary_conditional_expr()
203 void arrays(int ints[_Nonnull],
239 void (^simple)(int [_Nonnull 2]) = ^(int x[_Nonnull 2]) {}; in arraysInBlocks()
241 void (^nested)(void *_Nullable x[_Nonnull 2]) = ^(void *_Nullable x[_Nonnull 2]) {}; in arraysInBlocks()
[all …]
H A Dnon-null-warning.c10 int * _Nullable foo(int * _Nonnull x);
12 int *_Nonnull ret_nonnull(void);
18 int * _Nullable foo1(int * _Nonnull x); // expected-note {{previous declaration is here}}
24 int * _Nullable foo2(int * _Nonnull x);
26 int *foo2(int * _Nonnull x) { in foo2()
32 int *foo3(int * _Nonnull x) { // expected-warning {{nullability specifier '_Nonnull' conflicts with… in foo3()
/llvm-project-15.0.7/clang/test/SemaCXX/
H A Dnullability.cpp17 typedef int X::* _Nonnull member_data_type_1;
23 typedef _Nonnull int X::* member_data_type_2;
55 void accepts_nonnull_4(_Nonnull int *ptr);
66 template<void FP(_Nonnull int*)>
73 void TakeNonnull(void *_Nonnull);
81 void *_Nonnull nonnull; in AssignAndInitNonNull()
96 void *_Nonnull nonnull; in AssignAndInitNonNullFromFn()
107 Base * _Nonnull p; in ConditionalExpr()
108 Base * _Nonnull nonnullB; in ConditionalExpr()
110 Derived * _Nonnull nonnullD; in ConditionalExpr()
[all …]
H A Dnullability-declspec.cpp7 _Nonnull int (^bp1)(int); // expected-error{{nullability specifier '_Nonnull' cannot be applied to …
8 _Nonnull int X::*pmd1; // expected-error{{nullability specifier '_Nonnull' cannot be applied to non…
9 _Nonnull int (X::*pmf1)(int); // expected-error{{nullability specifier '_Nonnull' cannot be applied…
/llvm-project-15.0.7/clang/test/SemaObjCXX/Inputs/
H A Dnullability-consistency-arrays.h17 int *_Nonnull triggerConsistencyWarnings;
44 int ints[_Nonnull],
52 int ints[_Nonnull],
53 void * _Nullable ptrs[_Nonnull],
82 void nestedArraysOK(int x[_Nonnull 5][1]) {}
99 INTS _Nonnull x2,
100 _Nonnull INTS x3,
107 INTS y2[_Nonnull 2]);
134 int ints[_Nonnull],
135 void * _Nullable ptrs[_Nonnull],
[all …]
H A Dnullability-consistency-8.h1 typedef int* _Nonnull mynonnull;
21 void cf3(CFTypeRef * _Nonnull p CF_RETURNS_NOT_RETAINED);
24 void cf5(CFTypeRef _Nonnull * _Nullable p CF_RETURNS_NOT_RETAINED);
27 void cf7(CF_RETURNS_NOT_RETAINED CFTypeRef * _Nonnull p);
33 void cfp2(CFTypeRefPtr _Nonnull p CF_RETURNS_NOT_RETAINED);
/llvm-project-15.0.7/clang/test/FixIt/
H A Dnullability.mm13 // CHECK: fix-it:"{{.*}}nullability.mm":{[[@LINE-1]]:14-[[@LINE-1]]:14}:" _Nonnull "
16 // CHECK: fix-it:"{{.*}}nullability.mm":{[[@LINE-1]]:13-[[@LINE-1]]:13}:" _Nonnull"
19 // CHECK: fix-it:"{{.*}}nullability.mm":{[[@LINE-1]]:14-[[@LINE-1]]:14}:" _Nonnull "
31 // CHECK: fix-it:"{{.*}}nullability.mm":{[[@LINE-1]]:17-[[@LINE-1]]:17}:" _Nonnull"
35 // CHECK: fix-it:"{{.*}}nullability.mm":{[[@LINE-1]]:14-[[@LINE-1]]:14}:"_Nonnull"
38 // CHECK: fix-it:"{{.*}}nullability.mm":{[[@LINE-1]]:14-[[@LINE-1]]:14}:" _Nonnull"
41 // CHECK: fix-it:"{{.*}}nullability.mm":{[[@LINE-1]]:14-[[@LINE-1]]:14}:"_Nonnull"
44 // CHECK: fix-it:"{{.*}}nullability.mm":{[[@LINE-1]]:14-[[@LINE-1]]:14}:" _Nonnull"
47 // CHECK: fix-it:"{{.*}}nullability.mm":{[[@LINE-1]]:14-[[@LINE-1]]:14}:"_Nonnull"
50 // CHECK: fix-it:"{{.*}}nullability.mm":{[[@LINE-1]]:14-[[@LINE-1]]:14}:" _Nonnull"
[all …]
/llvm-project-15.0.7/clang/test/Analysis/
H A Dnullability-no-arc.mm20 TestObject *_Nonnull returnsNilObjCInstanceIndirectly() {
27 return (TestObject * _Nonnull)local; // no-warning
30 TestObject * _Nonnull returnsNilObjCInstanceDirectly() {
37 return (TestObject * _Nonnull)nil; // no-warning
40 void testObjCNonARCNoInitialization(TestObject * _Nonnull p) {
41 TestObject * _Nonnull implicitlyZeroInitialized; // no-warning
72 - (instancetype _Nonnull)initWithPreconditionViolation:(int)p {
76 return (ClassWithInitializers * _Nonnull)nil;
89 + (instancetype _Nonnull)initWithPreconditionViolation:(int) p {
93 - (TestObject * _Nonnull) returnsNil {
[all …]
H A Dnullability.mm38 - (int *_Nonnull)returnsNonnull;
56 void takesNonnull(Dummy *_Nonnull);
60 Dummy *_Nonnull returnsNonnull();
108 Dummy *_Nonnull nonnull = &a;
209 Dummy * _Nonnull nonnullLocalWithAssignmentInInitializer = (Dummy * _Nonnull)0; // no-warning
283 Dummy *_Nonnull p) {
296 Dummy *_Nonnull doNotWarnWhenPreconditionIsViolated(Dummy *_Nonnull p) {
317 -(Dummy * _Nonnull) calleeWithParam:(Dummy * _Nonnull) p2 { argument
331 int * _Nonnull InlinedPreconditionViolationInFunctionCallee(int * _Nonnull p2) {
339 int * _Nonnull InlinedReturnNullOverSuppressionCallee(int * _Nonnull p2) {
[all …]
H A Dnullability_nullonly.mm11 void takesNonnull(Dummy *_Nonnull);
25 Dummy *_Nonnull testNullReturn() {
41 Dummy *_Nonnull p) {
54 Dummy *_Nonnull doNotWarnWhenPreconditionIsViolated(Dummy *_Nonnull p) {
74 void inlinedNonnull(Dummy *_Nonnull p) {
95 TestObject *_Nonnull getNonnullTestObject();
107 // cast to _Nonnull when the functions return type is _Nonnull, so make
124 return (TestObject * _Nonnull)nil; // no-warning
131 - (SomeClass * _Nonnull)testReturnsNilInNonnull {
138 return (SomeClass * _Nonnull)local; // no-warning
[all …]
H A Dtrustnonnullchecker_test.m10 NSString* _Nonnull trust_nonnull_framework_annotation(void) {
16 NSString* _Nonnull trust_instancemsg_annotation(NSString* _Nonnull param) {
37 NSString* _Nonnull trust_assume_nonnull_macro(void) {
43 NSString* _Nonnull distrust_without_annotation(void) {
49 NSString* _Nonnull nonnull_please_trust_me(void);
57 NSString* _Nonnull trust_c_function(void) {
63 NSString* _Nonnull distrust_unannoted_function(void) {
69 NSString * _Nonnull distrustProtocol(id<MyProtocol> o) {
76 NSString *_Nonnull retImpliesIndex(NSString *s,
94 NSString *_Nonnull retImpliesIndexOnRHS(NSString *s,
[all …]
H A DUserNullabilityAnnotations.m10 - (void)method1:(int *_Nonnull)x; argument
15 - (void)method1:(int *_Nonnull)x { argument
26 int *_Nonnull Value;
H A Dnullability.m5 id _Nonnull conjure_nonnull(void);
8 id _Nonnull foo(void) {
H A Dincorrect-checker-names.mm15 - (int *_Nonnull)returnsNonnull;
18 - (void)takesNonnull:(int *_Nonnull)p; argument
25 TestObject *_Nonnull getNonnullTestObject();
33 void takesNonnull(Dummy *_Nonnull);
37 Dummy *_Nonnull returnsNonnull();
89 Dummy *_Nonnull nonnull = &a;
/llvm-project-15.0.7/compiler-rt/test/ubsan/TestCases/Misc/
H A Dnullability.c14 int *_Nonnull nonnull_retval1(int *p) { return p; } in nonnull_retval1()
18 int *_Nonnull nonnull_retval2(int *_Nonnull arg1, int *_Nonnull arg2, in nonnull_retval2()
25 void nonnull_arg(int *_Nonnull p) {} in nonnull_arg()
28 int *_Nonnull local; in nonnull_assign1()
34 int *_Nonnull arr[1]; in nonnull_assign2()
40 int *_Nonnull mptr;
50 void nonnull_init1(int *p) { int *_Nonnull local = p; } in nonnull_init1()
54 void nonnull_init2(int *p) { int *_Nonnull arr[] = {p, p}; } in nonnull_init2()
/llvm-project-15.0.7/clang/test/SemaObjC/
H A Dnullability.m5 - (void)methodTakingIntPtr:(_Nonnull int *)ptr;
6 - (_Nonnull int *)methodReturningIntPtr;
10 typedef NSFoo * _Nonnull nonnull_NSFoo_ptr;
11 typedef id _Nonnull nonnull_id;
12 typedef SEL _Nonnull nonnull_SEL;
27 - (_Nonnull int *)methodReturningIntPtr {
173 void test_instancetype(InitializableClass * _Nonnull ic, id _Nonnull object) {
244 NSFoo * _Nonnull p;
245 NSFoo * _Nonnull nonnullP;
275 - (void)simple:(int [_Nonnull 2])x; argument
[all …]
H A Dblock-omitted-return-type.m13 …void (^simpleBlock)(void) = ^ _Nonnull { //expected-warning {{attribute '_Nonnull' ignored, becaus…
16 …void (^simpleBlock2)(void) = ^ _Nonnull void { //expected-error {{nullability specifier '_Nonnull'…
19 …void (^simpleBlock3)(void) = ^ _Nonnull (void) { //expected-warning {{attribute '_Nonnull' ignore…
32 …void (^simpleBlock7)(void) = ^ _Nonnull __attribute__((align_value(128))) _Nullable const (void) {…
33 …// expected-warning {{attribute '_Nonnull' ignored, because it cannot be applied to omitted return…
38 …oid) = ^ __attribute__ ((align_value(128))) _Nonnull const (void) { // expected-warning {{attribut…
H A Dnullable-result.m20 …X *_Nonnull l = nr; // expected-warning{{implicit conversion from nullable pointer 'X * _Nullable_…
23 …X *_Nonnull l = p; // expected-warning{{implicit conversion from nullable pointer 'X * _Nullable_r…
30 …id _Nullable_result _Nonnull c; // expected-error{{nullability specifier '_Nonnull' conflicts with…
H A Dtransfer-boxed-string-nullability.m10 _Nonnull
16 void takesNonNull(NSString * _Nonnull ptr);
33 …n from nullable pointer 'NSString * _Nullable' to non-nullable pointer type 'NSString * _Nonnull'}}
34 …n from nullable pointer 'NSString * _Nullable' to non-nullable pointer type 'NSString * _Nonnull'}}
35 …n from nullable pointer 'NSString * _Nullable' to non-nullable pointer type 'NSString * _Nonnull'}}
36 …n from nullable pointer 'NSString * _Nullable' to non-nullable pointer type 'NSString * _Nonnull'}}
/llvm-project-15.0.7/clang/test/CodeGenObjC/
H A Dubsan-nullability.m17 #define INNULL ((int *_Nonnull)NULL)
47 int *_Nonnull local;
57 int *_Nonnull arr[1];
62 int *_Nonnull mptr;
82 int *_Nonnull local = p;
94 int *_Nonnull arr[] = {p, p};
99 int *_Nonnull nonnull_retval2(int *_Nonnull arg1, //< Test this.
122 +(int *_Nonnull) objc_clsmethod: (int *_Nonnull) arg1; argument
123 -(int *_Nonnull) objc_method: (int *_Nonnull) arg1; argument
129 +(int *_Nonnull) objc_clsmethod: (int *_Nonnull) arg1 { argument
[all …]
/llvm-project-15.0.7/clang/test/SemaObjCXX/
H A Dnullability-pragmas.mm15 void test_pragmas_1(A * _Nonnull a, AA * _Nonnull aa) {
31 …alize a parameter of type 'NSError * _Nullable * _Nullable' with an lvalue of type 'A * _Nonnull'}}
32 …type 'NSErrorPtr _Nullable * _Nullable' (aka 'NSError **') with an lvalue of type 'A * _Nonnull'}}
35 …ed-error{{incompatible pointer types assigning to 'float *' from 'int_ptr _Nonnull' (aka 'int *')}}
36 …= f14(); // expected-error{{incompatible pointer types assigning to 'float *' from 'A * _Nonnull'}}
37 …hod1:a]; // expected-error{{incompatible pointer types assigning to 'float *' from 'A * _Nonnull'}}
38 …a.aProp; // expected-error{{incompatible pointer types assigning to 'float *' from 'A * _Nonnull'}}
39 …t_ptr; // expected-error{{incompatible pointer types assigning to 'float *' from 'int * _Nonnull'}}
45 …a->ivar2; // expected-error{{incompatible pointer types assigning to 'float *' from 'id _Nonnull'}}
/llvm-project-15.0.7/clang/test/SemaObjC/Inputs/
H A Dnon-trivial-c-union.h11 _Nonnull id f1;
18 _Nonnull id f1;
/llvm-project-15.0.7/clang/test/CodeGenCXX/
H A Dubsan-nullability-arg.cpp10 void foo1(void (S0::*_Nonnull f)());
37 void foo1(member_ptr _Nonnull);
/llvm-project-15.0.7/clang/test/Analysis/Inputs/
H A Dsystem-header-simulator-for-nullability.h54 + (NSString * _Nonnull) generateString;
66 NSString* _Nonnull getString();
69 - (NSString * _Nonnull) getString;
/llvm-project-15.0.7/clang/test/Parser/
H A Dnullability.c3 _Nonnull int *ptr; // expected-warning{{type nullability specifier '_Nonnull' is a Clang extension}}
7 _Nonnull int *ptr2; // no-warning

123