Lines Matching defs:CannotBeNull

373     bool CannotBeNull = true;
376     NotNullConstraint(ArgNo ArgN, bool CannotBeNull = true)
377         : ValueConstraint(ArgN), CannotBeNull(CannotBeNull) {}
393       Tmp.CannotBeNull = !this->CannotBeNull;
417     bool CannotBeNull = true;
422                             bool CannotBeNull = true)
424           CannotBeNull(CannotBeNull) {}
440       Tmp.CannotBeNull = !this->CannotBeNull;
1165   return State->assume(L, CannotBeNull);
1171   assert(CannotBeNull &&
1182   assert(!CannotBeNull && "This function is used when the value is NULL");
1213   return State->assume(L, CannotBeNull);
1219   assert(CannotBeNull &&
1230   assert(!CannotBeNull && "This function is used when the value is NULL");