373     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()
1182   assert(!CannotBeNull && "This function is used when the value is NULL");  in describeArgumentValue()
1213   return State->assume(L, CannotBeNull);  in apply()
1219   assert(CannotBeNull &&  in describe()
1230   assert(!CannotBeNull && "This function is used when the value is NULL");  in describeArgumentValue()