Searched refs:NotNullBuffer (Results 1 – 1 of 1) sorted by relevance
1800 auto NotNullBuffer = [&](ArgNo ArgN, ArgNo SizeArg1N, in initFunctionSummaries() local2053 .ArgConstraint(NotNullBuffer(ArgNo(0), ArgNo(1), ArgNo(2))) in initFunctionSummaries()3375 .ArgConstraint(NotNullBuffer(ArgNo(3), ArgNo(4))) in initFunctionSummaries()3724 .ArgConstraint(NotNullBuffer(ArgNo(0), ArgNo(1), ArgNo(2)))); in initFunctionSummaries()