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

Balázs Benics via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Dec 7 07:47:24 PST 2020


steakhal added a comment.

LGTM besides my inline comment.



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


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