Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNullabilityChecker.cpp64 case Nullability::Nonnull: in getNullabilityString()
381 if (getNullabilityAnnotation(T) != Nullability::Nonnull) in checkValueAtLValForInvariantViolation()
634 if (NullabilityOfTheLoadedValue == Nullability::Nonnull) { in checkLocation()
704 bool NullReturnedFromNonNull = (RequiredNullability == Nullability::Nonnull && in checkPreStmt()
707 RetExprTypeLevelNullability != Nullability::Nonnull && in checkPreStmt()
744 RequiredNullability == Nullability::Nonnull) { in checkPreStmt()
807 ArgExprTypeLevelNullability != Nullability::Nonnull && in checkPreCall()
808 RequiredNullability == Nullability::Nonnull && in checkPreCall()
838 RequiredNullability == Nullability::Nonnull && in checkPreCall()
922 return Nullability::Nonnull; in getReceiverNullability()
[all …]
H A DTrustNonnullChecker.cpp161 if (getNullabilityAnnotation(ExprRetType) == Nullability::Nonnull) in isNonNullPtr()
177 if (getNullabilityAnnotation(DeclRetType) != Nullability::Nonnull) in isNonNullPtr()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerHelpers.h64 Nonnull enumerator
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerHelpers.cpp111 return Nullability::Nonnull; in getNullabilityAnnotation()