@@ -418,8 +418,8 @@ class StdLibraryFunctionsChecker
418418
419419 public:
420420 BufferNullnessConstraint (ArgNo ArgN, ArgNo SizeArg1N,
421- std::optional<ArgNo> SizeArg2N,
422- bool CannotBeNull = true )
421+ std::optional<ArgNo> SizeArg2N,
422+ bool CannotBeNull = true )
423423 : ValueConstraint(ArgN), SizeArg1N(SizeArg1N), SizeArg2N(SizeArg2N),
424424 CannotBeNull (CannotBeNull) {}
425425
@@ -1225,9 +1225,10 @@ void StdLibraryFunctionsChecker::BufferNullnessConstraint::describe(
12251225 Out << " is not NULL" ;
12261226}
12271227
1228- bool StdLibraryFunctionsChecker::BufferNullnessConstraint::describeArgumentValue (
1229- const CallEvent &Call, ProgramStateRef State, const Summary &Summary,
1230- llvm::raw_ostream &Out) const {
1228+ bool StdLibraryFunctionsChecker::BufferNullnessConstraint::
1229+ describeArgumentValue (const CallEvent &Call, ProgramStateRef State,
1230+ const Summary &Summary,
1231+ llvm::raw_ostream &Out) const {
12311232 assert (!CannotBeNull && " 'describeArgumentValue' is not implemented when the "
12321233 " buffer must be non-NULL" );
12331234 Out << " is NULL" ;
@@ -1802,7 +1803,7 @@ void StdLibraryFunctionsChecker::initFunctionSummaries(
18021803 auto NotNullBuffer = [&](ArgNo ArgN, ArgNo SizeArg1N,
18031804 std::optional<ArgNo> SizeArg2N = std::nullopt ) {
18041805 return std::make_shared<BufferNullnessConstraint>(ArgN, SizeArg1N,
1805- SizeArg2N);
1806+ SizeArg2N);
18061807 };
18071808
18081809 std::optional<QualType> FileTy = lookupTy (" FILE" );
0 commit comments