Searched refs:CannotBeNull (Results 1 – 1 of 1) sorted by relevance
254 bool CannotBeNull = true; member in __anon2143b5530111::StdLibraryFunctionsChecker::NotNullConstraint257 NotNullConstraint(ArgNo ArgN, bool CannotBeNull = true) in NotNullConstraint() argument258 : ValueConstraint(ArgN), CannotBeNull(CannotBeNull) {} in NotNullConstraint()273 return State->assume(L, CannotBeNull); in apply()278 Tmp.CannotBeNull = !this->CannotBeNull; in negate()