| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NullabilityChecker.cpp | 49 Nullability getMostNullable(Nullability Lhs, Nullability Rhs) { in getMostNullable() 50 return static_cast<Nullability>( in getMostNullable() 56 case Nullability::Contradicted: in getNullabilityString() 58 case Nullability::Nullable: in getNullabilityString() 60 case Nullability::Unspecified: in getNullabilityString() 62 case Nullability::Nonnull: in getNullabilityString() 220 Nullability Nullab; 830 return Nullability::Nonnull; in getReceiverNullability() 932 Nullability ComputedNullab = in checkPostObjCMessage() 1115 Nullability ValNullability = Nullability::Unspecified; in checkBind() [all …]
|
| H A D | TrustNonnullChecker.cpp | 162 if (getNullabilityAnnotation(ExprRetType) == Nullability::Nonnull) in isNonNullPtr() 178 if (getNullabilityAnnotation(DeclRetType) != Nullability::Nonnull) in isNonNullPtr()
|
| /llvm-project-15.0.7/clang/test/APINotes/ |
| H A D | yaml-roundtrip.test | 12 CHECK-NEXT: < Nullability: N 14 CHECK-NEXT: > Nullability: Nonnull 16 CHECK-NEXT: < Nullability: O 18 CHECK-NEXT: > Nullability: Optional 20 CHECK-NEXT: < Nullability: U 22 CHECK-NEXT: > Nullability: Unspecified 24 CHECK-NEXT: < Nullability: S 26 CHECK-NEXT: > Nullability: Unspecified 28 CHECK-NEXT: < Nullability: Scalar 30 CHECK-NEXT: > Nullability: Unspecified
|
| /llvm-project-15.0.7/clang/test/APINotes/Inputs/Frameworks/Simple.framework/Headers/ |
| H A D | Simple.apinotes | 7 Nullability: N 10 Nullability: Nonnull 13 Nullability: O 16 Nullability: Optional 19 Nullability: U 22 Nullability: Unspecified 25 Nullability: S 28 Nullability: Scalar
|
| /llvm-project-15.0.7/clang/test/APINotes/Inputs/Frameworks/SomeKit.framework/Headers/ |
| H A D | SomeKit.apinotes | 12 Nullability: [ N, S ] 44 Nullability: N 47 Nullability: N 49 Nullability: N 91 Nullability: [ O, S ] 95 Nullability: O 98 Nullability: N
|
| H A D | SomeKit_private.apinotes | 8 Nullability: [ N, S ] 11 Nullability: N
|
| /llvm-project-15.0.7/clang/test/Parser/ |
| H A D | nullability.c | 11 # error Nullability should always be supported 15 # error Nullability on array parameters should always be supported 19 # error Nullability should always be supported as an extension 23 # error Nullability on array parameters should always be supported as an extension
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerHelpers.cpp | 102 Nullability getNullabilityAnnotation(QualType Type) { in getNullabilityAnnotation() 105 return Nullability::Unspecified; in getNullabilityAnnotation() 107 return Nullability::Nullable; in getNullabilityAnnotation() 109 return Nullability::Nonnull; in getNullabilityAnnotation() 110 return Nullability::Unspecified; in getNullabilityAnnotation()
|
| /llvm-project-15.0.7/clang/lib/APINotes/ |
| H A D | APINotesYAMLCompiler.cpp | 74 Optional<NullabilityKind> Nullability; member 122 IO.mapOptional("Nullability", P.Nullability, llvm::None); in mapping() 153 NullabilitySeq Nullability; member 185 IO.mapOptional("Nullability", M.Nullability); in mapping() 206 llvm::Optional<NullabilityKind> Nullability; member 225 IO.mapOptional("Nullability", P.Nullability, llvm::None); in mapping() 284 NullabilitySeq Nullability; member 305 IO.mapOptional("Nullability", F.Nullability); in mapping() 322 llvm::Optional<NullabilityKind> Nullability; member 339 IO.mapOptional("Nullability", GV.Nullability, llvm::None); in mapping()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerHelpers.h | 55 enum class Nullability : char { enum 66 Nullability getNullabilityAnnotation(QualType Type);
|
| /llvm-project-15.0.7/clang/docs/ |
| H A D | APINotes.rst | 182 :Nullability: 192 Note that 'Nullability' is overridden by 'Type', even in a "SwiftVersions" 197 'Nullability' can also be used to describe the argument types of methods 204 Nullability: O 231 header. Prefer 'Nullability' and other annotations when possible. 317 'Position' and support the 'Nullability', 'NoEscape', and 'Type' keys. 330 Nullability: O
|
| /llvm-project-15.0.7/llvm/test/DebugInfo/Inputs/ |
| H A D | dwarfdump-objc.m | 16 @property (nullable) NSObject *Nullability; property
|
| /llvm-project-15.0.7/clang/test/Analysis/ |
| H A D | nullability-notes.m | 33 NSObject *x = self.x; // expected-note{{Nullability 'nullable' is inferred}}
|
| H A D | nonnull-global-constants.mm | 3 // Nullability of const string-like globals, testing
|
| /llvm-project-15.0.7/llvm/test/DebugInfo/ |
| H A D | dwarfdump-objc.test | 61 CHECK: DW_AT_APPLE_property_name {{.*}} "Nullability"
|
| /llvm-project-15.0.7/clang/test/SemaObjC/ |
| H A D | parameterized_classes_subst.m | 114 // Nullability 129 // Nullability introduced by substitution. 134 // Nullability overridden by substitution. 139 // Nullability cannot be specified directly on a type argument.
|
| H A D | nullability.m | 9 // Nullability applies to all pointer types. 14 // Nullability can move into Objective-C pointer types.
|
| /llvm-project-15.0.7/clang/include/clang/Basic/ |
| H A D | DiagnosticCommonKinds.td | 131 let CategoryName = "Nullability Issue" in { 135 InGroup<Nullability>; 140 InGroup<Nullability>; 145 InGroup<Nullability>;
|
| H A D | Sanitizers.h | 194 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability | in getPPTransparentSanitizers()
|
| H A D | Sanitizers.def | 97 SANITIZER_GROUP("nullability", Nullability,
|
| /llvm-project-15.0.7/clang/lib/ExtractAPI/ |
| H A D | DeclarationFragments.cpp | 672 if (const auto Nullability = in getFragmentsForObjCProperty() local 676 if (*Nullability == NullabilityKind::Unspecified && in getFragmentsForObjCProperty() 682 getNullabilitySpelling(*Nullability, /*isContextSensitive=*/true), in getFragmentsForObjCProperty()
|
| /llvm-project-15.0.7/clang/lib/Driver/ |
| H A D | SanitizerArgs.cpp | 31 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability | 51 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability | 58 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability | 67 SanitizerKind::Nullability | SanitizerKind::LocalBounds | 159 SanitizerKind::Nullability | in addDefaultIgnorelists()
|
| /llvm-project-15.0.7/clang/include/clang/APINotes/ |
| H A D | Types.h | 269 if (auto Nullability = RHS.getDefaultNullability()) variable 270 setDefaultNullability(*Nullability);
|
| /llvm-project-15.0.7/clang/lib/CodeGen/ |
| H A D | CGDecl.cpp | 758 auto Nullability = LHS.getType()->getNullability(getContext()); in EmitNullabilityCheck() local 759 if (!Nullability || *Nullability != NullabilityKind::NonNull) in EmitNullabilityCheck() 2615 auto Nullability = Ty->getNullability(getContext()); in EmitParmDecl() local 2616 if (Nullability && *Nullability == NullabilityKind::NonNull) { in EmitParmDecl()
|
| /llvm-project-15.0.7/clang/include/clang/Sema/ |
| H A D | DeclSpec.h | 844 PropertyAttributes(ObjCPropertyAttribute::kind_noattr), Nullability(0), in ObjCDeclSpec() 870 return static_cast<NullabilityKind>(Nullability); in getNullability() 886 Nullability = static_cast<unsigned>(kind); in setNullability() 915 unsigned Nullability : 2; variable
|