Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp373 bool CannotBeNull = true; member in __anon4d759d9c0111::StdLibraryFunctionsChecker::NotNullConstraint
376 NotNullConstraint(ArgNo ArgN, bool CannotBeNull = true) in NotNullConstraint() argument
377 : ValueConstraint(ArgN), CannotBeNull(CannotBeNull) {} in NotNullConstraint()
393 Tmp.CannotBeNull = !this->CannotBeNull; in negate()
417 bool CannotBeNull = true; member in __anon4d759d9c0111::StdLibraryFunctionsChecker::NotNullBufferConstraint
422 bool CannotBeNull = true) in NotNullBufferConstraint() argument
424 CannotBeNull(CannotBeNull) {} in NotNullBufferConstraint()
440 Tmp.CannotBeNull = !this->CannotBeNull; in negate()
1165 return State->assume(L, CannotBeNull); in apply()
1171 assert(CannotBeNull && in describe()
[all …]