[clang][analyzer] StdLibraryFunctionsChecker: Allow NULL buffer in `fread` and `fwrit...
authorBalázs Kéri <balazs.keri@ericsson.com>
Wed, 19 Jul 2023 07:23:32 +0000 (09:23 +0200)
committerBalázs Kéri <balazs.keri@ericsson.com>
Wed, 19 Jul 2023 07:58:14 +0000 (09:58 +0200)
commite271049bc6a1408aa4e53771321117b3da6440ab
treea75518bfd77fb1a952f9a071609fabd80e68d022
parent4e43ba25998075c5facd98675e75268e72259d71
[clang][analyzer] StdLibraryFunctionsChecker: Allow NULL buffer in `fread` and `fwrite` if size is zero.

Reviewed By: donat.nagy

Differential Revision: https://reviews.llvm.org/D154509
clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
clang/test/Analysis/std-c-library-functions-arg-constraints.c