CannotBeNull (reference) in projects: freebsd-14.2

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A D	StdLibraryFunctionsChecker.cpp	373 bool CannotBeNull = true; member in __anon892b0c920111::StdLibraryFunctionsChecker::NotNullConstraint 377 : ValueConstraint(ArgN), CannotBeNull(CannotBeNull) {} in NotNullConstraint() 393 Tmp.CannotBeNull = !this->CannotBeNull; in negate() 417 bool CannotBeNull = true; member in __anon892b0c920111::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() 1213 return State->assume(L, CannotBeNull); in apply() [all …]