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::NullnessConstraint
376 NullnessConstraint(ArgNo ArgN, bool CannotBeNull = true) in NullnessConstraint() argument
377 : ValueConstraint(ArgN), CannotBeNull(CannotBeNull) {} in NullnessConstraint()
393 Tmp.CannotBeNull = !this->CannotBeNull; in negate()
417 bool CannotBeNull = true; member in __anon4d759d9c0111::StdLibraryFunctionsChecker::BufferNullnessConstraint
422 bool CannotBeNull = true) in BufferNullnessConstraint() argument
424 CannotBeNull(CannotBeNull) {} in BufferNullnessConstraint()
440 Tmp.CannotBeNull = !this->CannotBeNull; in negate()
1163 return State->assume(L, CannotBeNull); in apply()
1169 assert(CannotBeNull && in describe()
[all …]