[PATCH] D92764: [analyzer][StdLibraryFunctionsChecker] Make close and mmap to accept -1 as fd

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Dec 7 08:41:06 PST 2020


martong added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp:1737
             .ArgConstraint(
                 ArgumentCondition(4, WithinRange, Range(0, IntMax))));
 
----------------
steakhal wrote:
> `mmap` should have the same conditions, am I right?
Yep, thanks!


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D92764/new/

https://reviews.llvm.org/D92764



More information about the cfe-commits mailing list