| /llvm-project-15.0.7/clang/test/SemaObjCXX/ |
| H A D | nullability-consistency.mm | 1 // RUN: %clang_cc1 -fsyntax-only -fblocks -I %S/Inputs -isystem %S/Inputs/nullability-consistency-s…
2 // RUN: %clang_cc1 -fsyntax-only -fblocks -I %S/Inputs -isystem %S/Inputs/nullability-consistency-s…
4 #include "nullability-consistency-1.h"
5 #include "nullability-consistency-3.h"
6 #include "nullability-consistency-4.h"
7 #include "nullability-consistency-5.h"
8 #include "nullability-consistency-5.h"
9 #include "nullability-consistency-6.h"
10 #include "nullability-consistency-7.h"
11 #include "nullability-consistency-8.h"
[all …]
|
| H A D | nullability-consistency-arrays.mm | 1 // RUN: %clang_cc1 -fsyntax-only -fblocks -I %S/Inputs -Wno-nullability-inferred-on-nested-type %s …
2 …syntax-only -fblocks -I %S/Inputs -Wno-nullability-inferred-on-nested-type %s -D ARRAYS_CHECKED=0 …
3 …ang_cc1 -fsyntax-only -fblocks -I %S/Inputs -Wno-nullability-inferred-on-nested-type %s -Wno-nulla…
4 // RUN: %clang_cc1 -fsyntax-only -fblocks -I %S/Inputs -Wno-nullability-inferred-on-nested-type -x …
5 …nly -fblocks -I %S/Inputs -Wno-nullability-inferred-on-nested-type -x objective-c %s -D ARRAYS_CHE…
6 …-fsyntax-only -fblocks -I %S/Inputs -Wno-nullability-inferred-on-nested-type -x objective-c %s -Wn…
8 #include "nullability-consistency-arrays.h"
|
| H A D | nullability-pragmas.mm | 3 #include "nullability-pragmas-1.h"
4 #include "nullability-pragmas-2.h"
5 #include "nullability-pragmas-generics-1.h"
16 f1(0); // okay: no nullability annotations
|
| /llvm-project-15.0.7/clang/test/FixIt/ |
| H A D | nullability.mm | 4 // RUN: FileCheck %S/Inputs/nullability.h < %t.txt
5 // RUN: FileCheck %S/Inputs/nullability-objc.h < %t.txt
7 #include "nullability.h"
8 #include "nullability-objc.h"
13 // 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 "
22 // CHECK-NOT: fix-it:"{{.*}}nullability.mm":{[[@LINE+2]]
23 // CHECK-NOT: fix-it:"{{.*}}nullability.mm":{[[@LINE+2]]
31 // CHECK: fix-it:"{{.*}}nullability.mm":{[[@LINE-1]]:17-[[@LINE-1]]:17}:" _Nonnull"
[all …]
|
| /llvm-project-15.0.7/clang/test/Analysis/ |
| H A D | nullability-notes.m | 2 // RUN: -analyzer-checker=nullability.NullPassedToNonnull \
3 // RUN: -analyzer-checker=nullability.NullReturnedFromNonnull \
4 // RUN: -analyzer-checker=nullability.NullablePassedToNonnull \
5 // RUN: -analyzer-checker=nullability.NullableReturnedFromNonnull \
6 // RUN: -analyzer-checker=nullability.NullableDereferenced \
10 // RUN: -analyzer-checker=nullability.NullPassedToNonnull \
11 // RUN: -analyzer-checker=nullability.NullReturnedFromNonnull \
12 // RUN: -analyzer-checker=nullability.NullablePassedToNonnull \
13 // RUN: -analyzer-checker=nullability.NullableReturnedFromNonnull \
14 // RUN: -analyzer-checker=nullability.NullableDereferenced \
[all …]
|
| H A D | nullability.mm | 2 // RUN: -analyzer-checker=nullability.NullPassedToNonnull \
3 // RUN: -analyzer-checker=nullability.NullReturnedFromNonnull \
4 // RUN: -analyzer-checker=nullability.NullablePassedToNonnull \
6 // RUN: -analyzer-checker=nullability.NullableDereferenced \
10 // RUN: -analyzer-checker=nullability.NullPassedToNonnull \
14 // RUN: -analyzer-checker=nullability.NullableDereferenced \
19 // RUN: -analyzer-checker=nullability.NullPassedToNonnull\
23 // RUN: -analyzer-checker=nullability.NullableDereferenced\
27 // RUN: -analyzer-checker=nullability.NullPassedToNonnull\
31 // RUN: -analyzer-checker=nullability.NullableDereferenced\
[all …]
|
| H A D | incorrect-checker-names.mm | 4 // RUN: -analyzer-checker=nullability \
7 #include "Inputs/system-header-simulator-for-nullability.h"
52 …Dummy &r = *p; // expected-warning {{Nullable pointer is dereferenced [nullability.NullableDerefer…
55 …int b = p->val; // expected-warning {{Nullable pointer is dereferenced [nullability.NullableDerefe…
58 …int stuff = *ptr; // expected-warning {{Nullable pointer is dereferenced [nullability.NullableDere…
61 … pointer is passed to a callee that requires a non-null 1st parameter [nullability.NullablePassedT…
70 …ing {{Nullable pointer is passed to a callee that requires a non-null [nullability.NullableDerefer…
72 …= *p; } break; // expected-warning {{Nullable pointer is dereferenced [nullability.NullableDerefer…
86 …ning {{Null passed to a callee that requires a non-null 1st parameter [nullability.NullPassedToNon…
91 …{{Null assigned to a pointer which is expected to have non-null value [nullability.NullPassedToNon…
|
| H A D | nullability_nullonly.mm | 1 …: %clang_analyze_cc1 -fobjc-arc -analyzer-checker=core,nullability.NullPassedToNonnull,nullability…
2 …-arc -analyzer-checker=core,nullability.NullPassedToNonnull,nullability.NullReturnedFromNonnull -a…
4 #include "Inputs/system-header-simulator-for-nullability.h"
|
| H A D | trustnonnullchecker_test.mm | 1 // RUN: %clang_analyze_cc1 -fblocks -analyze -analyzer-checker=core,nullability,apiModeling -verif…
3 #include "Inputs/system-header-simulator-for-nullability-cxx.h"
|
| H A D | nullability-arc.mm | 1 // RUN: %clang_analyze_cc1 -w -analyzer-checker=core,nullability\
3 // RUN: %clang_analyze_cc1 -w -analyzer-checker=core,nullability\
|
| /llvm-project-15.0.7/clang-tools-extra/docs/clang-tidy/checks/clang-analyzer/ |
| H A D | nullability.NullableDereferenced.rst | 1 .. title:: clang-tidy - clang-analyzer-nullability.NullableDereferenced
3 …:http-equiv=refresh: 5;URL=https://clang.llvm.org/docs/analyzer/checkers.html#nullability-nullable…
5 clang-analyzer-nullability.NullableDereferenced
8 The clang-analyzer-nullability.NullableDereferenced check is an alias, please see
9 …Available Checkers <https://clang.llvm.org/docs/analyzer/checkers.html#nullability-nullablederefer…
|
| H A D | nullability.NullablePassedToNonnull.rst | 1 .. title:: clang-tidy - clang-analyzer-nullability.NullablePassedToNonnull
3 …:http-equiv=refresh: 5;URL=https://clang.llvm.org/docs/analyzer/checkers.html#nullability-nullable…
5 clang-analyzer-nullability.NullablePassedToNonnull
8 The clang-analyzer-nullability.NullablePassedToNonnull check is an alias, please see
9 …Available Checkers <https://clang.llvm.org/docs/analyzer/checkers.html#nullability-nullablepassedt…
|
| H A D | nullability.NullPassedToNonnull.rst | 1 .. title:: clang-tidy - clang-analyzer-nullability.NullPassedToNonnull
3 …:http-equiv=refresh: 5;URL=https://clang.llvm.org/docs/analyzer/checkers.html#nullability-nullpass…
5 clang-analyzer-nullability.NullPassedToNonnull
8 The clang-analyzer-nullability.NullPassedToNonnull check is an alias, please see
9 …Available Checkers <https://clang.llvm.org/docs/analyzer/checkers.html#nullability-nullpassedtonon…
|
| H A D | nullability.NullReturnedFromNonnull.rst | 1 .. title:: clang-tidy - clang-analyzer-nullability.NullReturnedFromNonnull
3 …:http-equiv=refresh: 5;URL=https://clang.llvm.org/docs/analyzer/checkers.html#nullability-nullretu…
5 clang-analyzer-nullability.NullReturnedFromNonnull
8 The clang-analyzer-nullability.NullReturnedFromNonnull check is an alias, please see
9 …Available Checkers <https://clang.llvm.org/docs/analyzer/checkers.html#nullability-nullreturnedfro…
|
| H A D | nullability.NullableReturnedFromNonnull.rst | 1 .. title:: clang-tidy - clang-analyzer-nullability.NullableReturnedFromNonnull
3 clang-analyzer-nullability.NullableReturnedFromNonnull
|
| /llvm-project-15.0.7/clang/test/SemaObjC/ |
| H A D | nullability.m | 17 // Conflicts from nullability moving into Objective-C pointer type.
32 // Context-sensitive keywords and property attributes for nullability.
38 // expected-note@-1{{use nullability type specifier '_Nonnull' to affect the innermost pointer type…
40 - (nonnull NSFoo * _Nonnull)redundantMethod1; // expected-warning{{duplicate nullability specifier …
44 // expected-note@-1{{use nullability type specifier '_Nullable' to affect the innermost pointer typ…
55 // expected-note@-1{{use nullability type specifier '_Nullable' to affect the innermost pointer typ…
103 …// expected-error{{nullability specifier 'null_unspecified' conflicts with existing specifier 'non…
113 // Checking merging of nullability when sending a message.
242 // Check nullability of conditional expressions.
296 // Check that we don't propagate the nullability specifier on the receiver to
[all …]
|
| H A D | nullable-result.m | 28 …id _Nullable_result _Nullable_result a; // expected-warning {{duplicate nullability specifier _Nul…
29 …id _Nullable _Nullable_result b; // expected-error{{nullability specifier _Nullable_result conflic…
30 …id _Nullable_result _Nonnull c; // expected-error{{nullability specifier '_Nonnull' conflicts with…
|
| H A D | override-nullability.m | 12 - (nullable id)bad:(nonnull id)obj; // expected-warning {{conflicting nullability specifier on retu…
13 …// expected-warning {{conflicting nullability specifier on parameter types, 'nonnull' conflicts wi…
|
| /llvm-project-15.0.7/clang/docs/analyzer/developer-docs/ |
| H A D | nullability.rst | 7 RFC: https://discourse.llvm.org/t/rfc-nullability-qualifiers/35672
53 …t warn about any nullability issues in that branch? Probably not, it is ok to break the nullabilit…
67 …* If the pointer is not assumed to be nil, we should be optimistic and use the nullability implied…
86 …nullability information from the arguments after inlining is not robust enough (for example there …
91 …nullability qualifiers would be needed to be tracked for each symbol. This is not a big caveat, si…
107 * Unannotated pointers are treated the same way as pointers annotated with nullability unspecified …
108 … a callback for entry points to top level functions, where the pointer nullability assumptions wou…
|
| /llvm-project-15.0.7/clang/test/Sema/ |
| H A D | non-null-warning.c | 4 #if __has_feature(nullability)
6 # error nullability feature should be defined
|
| /llvm-project-15.0.7/clang/test/Parser/ |
| H A D | nullability.c | 10 #if !__has_feature(nullability)
18 #if !__has_extension(nullability)
|
| /llvm-project-15.0.7/clang/test/CodeGenObjC/ |
| H A D | ubsan-nullability.m | 2 …4-apple-macosx10.10.0 -fblocks -fobjc-arc -fsanitize=nullability-arg,nullability-assign,nullabilit…
3 …4-apple-macosx10.10.0 -fblocks -fobjc-arc -fsanitize=nullability-arg,nullability-assign,nullabilit…
|
| /llvm-project-15.0.7/compiler-rt/lib/ubsan/ |
| H A D | ubsan_checks.inc | 22 "nullability-assign")
66 "nullability-return")
69 "nullability-arg")
|
| /llvm-project-15.0.7/clang/include/clang/Basic/ |
| H A D | Sanitizers.def | 94 SANITIZER("nullability-arg", NullabilityArg)
95 SANITIZER("nullability-assign", NullabilityAssign)
96 SANITIZER("nullability-return", NullabilityReturn)
97 SANITIZER_GROUP("nullability", Nullability,
|
| /llvm-project-15.0.7/clang/test/SemaCXX/ |
| H A D | nullability.cpp | 3 #if __has_feature(nullability)
5 # error nullability feature should be defined
|