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