Searched refs:NullnessConstraint (Results 1 – 1 of 1) sorted by relevance
370 class NullnessConstraint : public ValueConstraint { class in __anon4d759d9c0111::StdLibraryFunctionsChecker376 NullnessConstraint(ArgNo ArgN, bool CannotBeNull = true) in NullnessConstraint() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::NullnessConstraint392 NullnessConstraint Tmp(*this); in negate()394 return std::make_shared<NullnessConstraint>(Tmp); in negate()1152 ProgramStateRef StdLibraryFunctionsChecker::NullnessConstraint::apply( in apply()1166 void StdLibraryFunctionsChecker::NullnessConstraint::describe( in describe()1177 bool StdLibraryFunctionsChecker::NullnessConstraint::describeArgumentValue( in describeArgumentValue()1795 return std::make_shared<NullnessConstraint>(ArgN); in initFunctionSummaries()1798 return std::make_shared<NullnessConstraint>(ArgN, false); in initFunctionSummaries()