Home
last modified time | relevance | path

Searched refs:Nonnull (Results 1 – 6 of 6) sorted by relevance

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DNullabilityChecker.cpp62 case Nullability::Nonnull: in getNullabilityString()
337 if (getNullabilityAnnotation(T) != Nullability::Nonnull) in checkValueAtLValForInvariantViolation()
550 if (NullabilityOfTheLoadedValue == Nullability::Nonnull) { in checkLocation()
620 bool NullReturnedFromNonNull = (RequiredNullability == Nullability::Nonnull && in checkPreStmt()
623 RetExprTypeLevelNullability != Nullability::Nonnull && in checkPreStmt()
660 RequiredNullability == Nullability::Nonnull) { in checkPreStmt()
723 ArgExprTypeLevelNullability != Nullability::Nonnull && in checkPreCall()
724 RequiredNullability == Nullability::Nonnull && in checkPreCall()
754 RequiredNullability == Nullability::Nonnull && in checkPreCall()
830 return Nullability::Nonnull; in getReceiverNullability()
[all …]
H A DTrustNonnullChecker.cpp162 if (getNullabilityAnnotation(ExprRetType) == Nullability::Nonnull) in isNonNullPtr()
178 if (getNullabilityAnnotation(DeclRetType) != Nullability::Nonnull) in isNonNullPtr()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerHelpers.h61 Nonnull enumerator
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DCheckerHelpers.cpp109 return Nullability::Nonnull; in getNullabilityAnnotation()
/netbsd-src/external/apache2/llvm/dist/clang/docs/
H A DAPINotes.rst187 - ``Nonnull`` or ``N`` (corresponding to ``_Nonnull``)
/netbsd-src/external/gpl3/gcc.old/dist/gcc/
H A Dtarget.def578 /* Nonnull if the target wants to override the default ".rodata" prefix