Home
last modified time | relevance | path

Searched refs:nullability (Results 1 – 25 of 35) sorted by relevance

12

/openbsd-src/gnu/llvm/clang/docs/analyzer/developer-docs/
H A Dnullability.rst7 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…
/openbsd-src/gnu/llvm/compiler-rt/lib/ubsan/
H A Dubsan_checks.inc22 "nullability-assign")
66 "nullability-return")
69 "nullability-arg")
/openbsd-src/gnu/llvm/clang/include/clang/Basic/
H A DSanitizers.def94 SANITIZER("nullability-arg", NullabilityArg)
95 SANITIZER("nullability-assign", NullabilityAssign)
96 SANITIZER("nullability-return", NullabilityReturn)
97 SANITIZER_GROUP("nullability", Nullability,
H A DDiagnosticCommonKinds.td134 "duplicate nullability specifier %0">,
138 "conflicting nullability specifier on return types, %0 "
143 "conflicting nullability specifier on parameter types, %0 "
148 "nullability specifier %0 conflicts with existing specifier %1">;
H A DDiagnosticGroups.td506 def Nullability : DiagGroup<"nullability">;
507 def NullabilityDeclSpec : DiagGroup<"nullability-declspec">;
508 def NullabilityInferredOnNestedType : DiagGroup<"nullability-inferred-on-nested-type">;
510 def NullabilityCompletenessOnArrays : DiagGroup<"nullability-completeness-on-arrays">;
511 def NullabilityCompleteness : DiagGroup<"nullability-completeness",
H A DFeatures.def93 FEATURE(nullability, true)
H A DDiagnostic.h1540 DiagNullabilityKind nullability);
H A DDiagnosticASTKinds.td942 "unsafe_unretained|nullability|null_resettable|class|direct}5' attribute"
952 "unsafe_unretained|nullability|null_resettable|class|direct}4' attribute"
/openbsd-src/gnu/llvm/clang/docs/
H A DUndefinedBehaviorSanitizer.rst127 - ``-fsanitize=nullability-arg``: Passing null as a function parameter
129 - ``-fsanitize=nullability-assign``: Assigning null to an lvalue which
131 - ``-fsanitize=nullability-return``: Returning null from a function with
187 ``implicit-conversion``, ``local-bounds`` and the ``nullability-*`` group
209 - ``-fsanitize=nullability``: Enables ``nullability-arg``,
210 ``nullability-assign``, and ``nullability-return``. While violating
211 nullability does not have undefined behavior, it is often unintentional,
H A DAPINotes.rst208 Used for methods and functions. Describes the nullability of the return type.
215 Due to a compiler bug, 'NullabilityOfRet' may change nullability of the
217 'ResultType' and specify the return type along with a nullability
235 nullability must be applied explicitly (even in an ``NS_ASSUME_NONNULL_BEGIN``
252 nullability must be applied explicitly (even in an ``NS_ASSUME_NONNULL_BEGIN``
/openbsd-src/gnu/llvm/clang/docs/analyzer/
H A Ddeveloper-docs.rst12 developer-docs/nullability
H A Dcheckers.rst401 nullability section in Default Checkers
408 nullability.NullPassedToNonnull (ObjC) argument
421 nullability.NullReturnedFromNonnull (ObjC) argument
439 nullability.NullableDereferenced (ObjC) argument
460 nullability.NullablePassedToNonnull (ObjC) argument
477 nullability.NullableReturnedFromNonnull (ObjC) argument
/openbsd-src/gnu/llvm/clang/lib/Basic/
H A DDiagnostic.cpp45 DiagNullabilityKind nullability) { in operator <<() argument
47 switch (nullability.first) { in operator <<()
49 string = nullability.second ? "'nonnull'" : "'_Nonnull'"; in operator <<()
53 string = nullability.second ? "'nullable'" : "'_Nullable'"; in operator <<()
57 string = nullability.second ? "'null_unspecified'" : "'_Null_unspecified'"; in operator <<()
61 assert(!nullability.second && in operator <<()
/openbsd-src/gnu/llvm/clang/include/clang/APINotes/
H A DTypes.h580 auto nullability = NullabilityPayload >> (index * NullabilityKindSize); in getTypeInfo() local
581 return static_cast<NullabilityKind>(nullability & NullabilityKindMask); in getTypeInfo()
/openbsd-src/gnu/llvm/clang/lib/AST/
H A DDeclPrinter.cpp1249 if (auto nullability = AttributedType::stripOuterNullability(T)) in PrintObjCMethodType() local
1250 Out << getNullabilitySpelling(*nullability, true) << ' '; in PrintObjCMethodType()
1573 if (auto nullability = AttributedType::stripOuterNullability(T)) { in VisitObjCPropertyDecl() local
1574 if (*nullability == NullabilityKind::Unspecified && in VisitObjCPropertyDecl()
1580 << getNullabilitySpelling(*nullability, true); in VisitObjCPropertyDecl()
H A DASTDiagnostic.cpp86 if (auto nullability = AttributedType::stripOuterNullability(SugarRT)) { in desugarForDiagnostic() local
88 AttributedType::getNullabilityAttrKind(*nullability), RT, RT); in desugarForDiagnostic()
97 if (auto nullability = in desugarForDiagnostic() local
100 AttributedType::getNullabilityAttrKind(*nullability), PT, PT); in desugarForDiagnostic()
/openbsd-src/gnu/llvm/clang/lib/Sema/
H A DSemaExprObjC.cpp1430 if (auto nullability = AttributedType::stripOuterNullability(T)) { in stripObjCInstanceType() local
1433 AttributedType::getNullabilityAttrKind(*nullability), in stripObjCInstanceType()
1467 if (auto nullability = in getBaseMessageSendResultType() local
1474 AttributedType::getNullabilityAttrKind(*nullability), in getBaseMessageSendResultType()
1564 if (std::optional<NullabilityKind> nullability = in getMessageSendResultType() local
1566 if (*nullability == NullabilityKind::NullableResult) in getMessageSendResultType()
1567 nullability = NullabilityKind::Nullable; in getMessageSendResultType()
1568 receiverNullabilityIdx = 1 + static_cast<unsigned>(*nullability); in getMessageSendResultType()
1572 if (std::optional<NullabilityKind> nullability = in getMessageSendResultType() local
1574 if (*nullability == NullabilityKind::NullableResult) in getMessageSendResultType()
[all …]
H A DSemaObjCProperty.cpp2479 if (auto nullability = AttributedType::stripOuterNullability(modifiedTy)) { in ProcessPropertyDecl() local
2480 if (*nullability == NullabilityKind::Unspecified) in ProcessPropertyDecl()
2558 if (auto nullability = AttributedType::stripOuterNullability(modifiedTy)){ in ProcessPropertyDecl() local
2559 if (*nullability == NullabilityKind::Unspecified) in ProcessPropertyDecl()
2757 if (auto nullability = PropertyTy->getNullability()) { in CheckObjCPropertyAttributes() local
2758 if (*nullability == NullabilityKind::NonNull) in CheckObjCPropertyAttributes()
H A DSemaType.cpp4103 IdentifierInfo *Sema::getNullabilityKeyword(NullabilityKind nullability) { in getNullabilityKeyword() argument
4104 switch (nullability) { in getNullabilityKeyword()
7373 NullabilityKind nullability = mapNullabilityAttrKind(attr.getKind()); in checkNullabilityTypeSpecifier() local
7385 if (nullability == *existingNullability) { in checkNullabilityTypeSpecifier()
7387 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
7395 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
7408 if (nullability != *existingNullability) { in checkNullabilityTypeSpecifier()
7410 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
7434 << DiagNullabilityKind(nullability, isContextSensitive) << type; in checkNullabilityTypeSpecifier()
7452 << DiagNullabilityKind(nullability, true) in checkNullabilityTypeSpecifier()
[all …]
H A DSemaDeclObjC.cpp4548 auto nullability = type->getNullability(); in mergeTypeNullabilityForRedecl() local
4552 if (nullability.has_value() == prevNullability.has_value()) { in mergeTypeNullabilityForRedecl()
4554 if (!nullability) in mergeTypeNullabilityForRedecl()
4558 if (*nullability == *prevNullability) in mergeTypeNullabilityForRedecl()
4563 << DiagNullabilityKind(*nullability, usesCSKeyword) in mergeTypeNullabilityForRedecl()
4569 if (nullability) in mergeTypeNullabilityForRedecl()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Checkers/
H A DCheckers.td45 def Nullability : Package<"nullability">,
49 "Suppresses warnings for violating nullability annotations "
51 "concerned with your custom nullability annotations more "
52 "than with following nullability specifications of system "
132 "nullability of the implicit this parameter after a method call, "
317 HelpText<"Stores information during the analysis about nullability.">,
350 } // end "nullability"
/openbsd-src/gnu/llvm/clang/lib/Parse/
H A DParseObjc.cpp404 NullabilityKind nullability, in addContextSensitiveTypeNullability() argument
409 return Pool.create(P.getNullabilityKeyword(nullability), in addContextSensitiveTypeNullability()
839 NullabilityKind nullability, in diagnoseRedundantPropertyNullability() argument
841 if (DS.getNullability() == nullability) { in diagnoseRedundantPropertyNullability()
843 << DiagNullabilityKind(nullability, true) in diagnoseRedundantPropertyNullability()
849 << DiagNullabilityKind(nullability, true) in diagnoseRedundantPropertyNullability()
/openbsd-src/gnu/llvm/clang/tools/c-index-test/
H A Dc-index-test.c1552 const char *nullability = 0; in PrintNullabilityKind() local
1555 nullability = "nonnull"; in PrintNullabilityKind()
1558 nullability = "nullable"; in PrintNullabilityKind()
1561 nullability = "nullable_result"; in PrintNullabilityKind()
1564 nullability = "unspecified"; in PrintNullabilityKind()
1570 if (nullability) { in PrintNullabilityKind()
1571 printf(Format, nullability); in PrintNullabilityKind()
/openbsd-src/gnu/llvm/clang/tools/libclang/
H A DCXType.cpp1335 if (auto nullability = T->getNullability()) { in clang_Type_getNullability() local
1336 switch (*nullability) { in clang_Type_getNullability()
/openbsd-src/gnu/llvm/clang/include/clang/Parse/
H A DParser.h551 IdentifierInfo *getNullabilityKeyword(NullabilityKind nullability) { in getNullabilityKeyword() argument
552 return Actions.getNullabilityKeyword(nullability); in getNullabilityKeyword()

12