Searched refs:ArgConstraint (Results 1 – 1 of 1) sorted by relevance
503 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint() function in __anon6255e2070111::StdLibraryFunctionsChecker::Summary1223 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()1339 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()1344 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()1349 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()1369 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()1370 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()1371 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()1441 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()1447 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()[all …]