Searched refs:SizeArg2N (Results 1 – 1 of 1) sorted by relevance
415 std::optional<ArgNo> SizeArg2N; member in __anon4d759d9c0111::StdLibraryFunctionsChecker::NotNullBufferConstraint421 std::optional<ArgNo> SizeArg2N, in NotNullBufferConstraint() argument423 : ValueConstraint(ArgN), SizeArg1N(SizeArg1N), SizeArg2N(SizeArg2N), in NotNullBufferConstraint()1200 if (SizeArg2N) in apply()1201 SizeArg2 = getArgSVal(Call, *SizeArg2N).getAs<DefinedOrUnknownSVal>(); in apply()1797 auto NotNullBuffer = [&](ArgNo ArgN, ArgNo SizeArg1N, ArgNo SizeArg2N) { in initFunctionSummaries() argument1799 SizeArg2N); in initFunctionSummaries()