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

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
NullabilityChecker.cpp 1 //===-- NullabilityChecker.cpp - Nullability checker ----------------------===//
9 // This checker tries to find nullability violations. There are several kinds of
18 // This checker propagates the nullability information of the pointers and looks
22 // code. In addition to the nullability propagation this checker also uses some
44 /// Returns the most nullable nullability. This is used for message expressions
45 /// like [receiver method], where the nullability of this expression is either
46 /// the nullability of the receiver or the nullability of the return type of the
49 Nullability getMostNullable(Nullability Lhs, Nullability Rhs)
    [all...]
TrustNonnullChecker.cpp 1 //== TrustNonnullChecker.cpp --------- API nullability modeling -*- C++ -*--==//
9 // This checker adds nullability-related assumptions:
162 if (getNullabilityAnnotation(ExprRetType) == Nullability::Nonnull)
178 if (getNullabilityAnnotation(DeclRetType) != Nullability::Nonnull)
  /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/StaticAnalyzer/Core/
CheckerHelpers.cpp 102 Nullability getNullabilityAnnotation(QualType Type) {
105 return Nullability::Unspecified;
107 return Nullability::Nullable;
109 return Nullability::Nonnull;
110 return Nullability::Unspecified;
  /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/include/clang/Basic/
Sanitizers.h 193 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
  /src/external/apache2/llvm/dist/clang/lib/Driver/
SanitizerArgs.cpp 29 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
48 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
55 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
64 SanitizerKind::Nullability | SanitizerKind::LocalBounds |
150 SanitizerKind::Nullability |
ToolChain.cpp 1004 SanitizerKind::Nullability | SanitizerKind::LocalBounds;
  /src/external/apache2/llvm/dist/clang/include/clang/APINotes/
Types.h 194 /// Whether this class has a default nullability.
197 /// The default nullability.
216 /// Determine the default nullability for properties and methods of this
219 /// eturns the default nullability, if implied, or None if there is no
227 /// Set the default nullability for properties and methods of this class.
268 // Merge nullability.
270 if (auto Nullability = RHS.getDefaultNullability())
271 setDefaultNullability(*Nullability);
301 /// Whether this property has been audited for nullability.
304 /// The kind of nullability for this property. Only valid if the nullabilit
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/Sema/
DeclSpec.h 843 PropertyAttributes(ObjCPropertyAttribute::kind_noattr), Nullability(0),
868 "Objective-C declspec doesn't have nullability");
869 return static_cast<NullabilityKind>(Nullability);
876 "Objective-C declspec doesn't have nullability");
884 "Set the nullability declspec or property attribute first");
885 Nullability = static_cast<unsigned>(kind);
914 unsigned Nullability : 2;
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...]
  /src/external/apache2/llvm/dist/clang/lib/CodeGen/
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) {
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) {
CGCall.cpp 3608 "Cannot check nullability and the nonnull attribute");
3624 // nullability annotation, make sure the preconditions for the check are met.
3990 auto Nullability = PVD->getType()->getNullability(getContext());
3991 CanCheckNullability = Nullability &&
3992 *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...]
SemaType.cpp 146 // Nullability qualifiers.
709 // Nullability specifiers cannot go after the declarator-id.
887 // Type arguments cannot have explicit qualifiers or nullability.
3922 IdentifierInfo *Sema::getNullabilityKeyword(NullabilityKind nullability) {
3923 switch (nullability) {
3944 llvm_unreachable("Unknown nullability kind.");
3955 /// Check whether there is a nullability attribute of any kind in the given
4002 /// This is used to determine the default nullability.
4194 /// Creates a fix-it to insert a C-style nullability keyword at \p pointerLoc,
4199 NullabilityKind Nullability) {
7090 NullabilityKind nullability = mapNullabilityAttrKind(attr.getKind()); local
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/AST/
Type.cpp 4028 // Check whether this is an attributed type with nullability
4030 if (auto Nullability = AT->getImmediateNullability())
4031 return Nullability;
4083 // Signed, unsigned, and floating-point types cannot have nullability.
4185 if (auto nullability = attributed->getImmediateNullability()) {
4187 return nullability;
ASTContext.cpp 6189 if (auto Nullability = Ty->getNullability(*this)) {
6191 AttributedType::getNullabilityAttrKind(*Nullability), Result, Result);

Completed in 55 milliseconds