HomeSort by: relevance | last modified time | path
    Searched defs:Nullability (Results 1 - 7 of 7) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerHelpers.h 51 // that symbol. For this reason only nullable and contradicted nullability are
54 enum class Nullability : char {
55 Contradicted, // Tracked nullability is contradicted by an explicit cast. Do
56 // not report any nullability related issue for this symbol.
57 // This nullability is propagated aggressively to avoid false
64 /// Get nullability annotation for a given type.
65 Nullability getNullabilityAnnotation(QualType Type);
  /src/external/apache2/llvm/dist/clang/lib/APINotes/
APINotesYAMLCompiler.cpp 74 Optional<NullabilityKind> Nullability;
122 IO.mapOptional("Nullability", P.Nullability, llvm::None);
153 NullabilitySeq Nullability;
185 IO.mapOptional("Nullability", M.Nullability);
206 llvm::Optional<NullabilityKind> Nullability;
225 IO.mapOptional("Nullability", P.Nullability, llvm::None);
284 NullabilitySeq Nullability;
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/CodeGen/
CodeGenFunction.cpp 916 // If we're checking nullability, we need to know whether we can check the
919 auto Nullability = FnRetTy->getNullability(getContext());
920 if (Nullability && *Nullability == NullabilityKind::NonNull) {
CGDecl.cpp 742 auto Nullability = LHS.getType()->getNullability(getContext());
743 if (!Nullability || *Nullability != NullabilityKind::NonNull)
2584 // We can only check return value nullability if all arguments to the
2585 // function satisfy their nullability preconditions. This makes it necessary
2588 auto Nullability = Ty->getNullability(getContext());
2589 if (Nullability && *Nullability == NullabilityKind::NonNull) {
  /src/external/apache2/llvm/dist/clang/lib/Parse/
ParseObjc.cpp 370 /// Add an attribute for a context-sensitive type nullability to the given
374 NullabilityKind nullability,
379 return Pool.create(P.getNullabilityKeyword(nullability),
743 // Map a nullability property attribute to a context-sensitive keyword
802 /// Diagnose redundant or conflicting nullability information.
805 NullabilityKind nullability,
807 if (DS.getNullability() == nullability) {
809 << DiagNullabilityKind(nullability, true)
815 << DiagNullabilityKind(nullability, true)
1171 NullabilityKind Nullability;
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/Sema/
SemaExprObjC.cpp 593 // Transfer the nullability from method's return type.
594 Optional<NullabilityKind> Nullability =
596 if (Nullability)
598 AttributedType::getNullabilityAttrKind(*Nullability), BoxedType,
1432 if (auto nullability = AttributedType::stripOuterNullability(T)) {
1435 AttributedType::getNullabilityAttrKind(*nullability),
1453 /// to account for nullability.
1465 // Local function that transfers the nullability of the method's
1468 // If the method's result type has nullability, extract it.
1469 if (auto nullability = Method->getSendResultType(ReceiverType
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/Sema/
Sema.h 241 /// Describes whether we've seen any nullability information for the given
245 /// not have a corresponding nullability annotation.
255 /// Whether we saw any type nullability annotations in the given file.
259 /// A mapping from file IDs to a record of whether we've seen nullability
262 /// A mapping from file IDs to the nullability information for each file ID.
268 FileNullability Nullability;
275 return Cache.Nullability;
279 Map[Cache.File] = Cache.Nullability;
284 Cache.Nullability = Map[file];
285 return Cache.Nullability;
    [all...]

Completed in 31 milliseconds