OSDN Git Service

[analyzer][StdLibraryFunctionsChecker] Make close and mmap to accept -1 as fd
authorGabor Marton <gabor.marton@ericsson.com>
Mon, 7 Dec 2020 15:10:40 +0000 (16:10 +0100)
committerGabor Marton <gabor.marton@ericsson.com>
Tue, 8 Dec 2020 15:58:30 +0000 (16:58 +0100)
commitd14c63167315edfc4a4ad91fac9c866c6e0cb67f
tree1507c16226549c85850113c12455816e8bee4393
parent1dd24e6ab7a70242edfa4139441bfe7753892b4e
[analyzer][StdLibraryFunctionsChecker] Make close and mmap to accept -1 as fd

close:
It is quite often that users chose to call close even if the fd is
negative. Theoretically, it would be nicer to close only valid fds, but
in practice the implementations of close just returns with EBADF in case
of a non-valid fd param. So, we can eliminate many false positives if we
let close to take -1 as an fd. Other negative values are very unlikely,
because open and other fd factories return with -1 in case of failure.

mmap:
In the case of MAP_ANONYMOUS flag (which is supported e.g. in Linux) the
mapping is not backed by any file; its contents are initialized to zero.
The fd argument is ignored; however, some implementations require fd to
be -1 if MAP_ANONYMOUS (or MAP_ANON) is specified, and portable
applications should ensure this.
Consequently, we must allow -1 as the 4th arg.

Differential Revision: https://reviews.llvm.org/D92764
clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp