[clang][analyzer] Add stream related functions to StdLibraryFunctionsChecker.
authorBalázs Kéri <1.int32@gmail.com>
Fri, 6 Jan 2023 08:57:37 +0000 (09:57 +0100)
committerBalázs Kéri <1.int32@gmail.com>
Fri, 6 Jan 2023 10:04:24 +0000 (11:04 +0100)
commit3c7fe7d09da1d3f4ba90e1fce3c480b55e9fd970
treece1808722aaaefcd4c072e1fea264082d438006c
parent960bf8a454ae015e9e0a28142b0c03d99747061b
[clang][analyzer] Add stream related functions to StdLibraryFunctionsChecker.

Additional stream handling functions are added.
These are partially evaluated by StreamChecker, result of the addition is
check for more preconditions and construction of success and failure branches
with specific errno handling.

Reviewed By: Szelethus

Differential Revision: https://reviews.llvm.org/D140387
clang/lib/StaticAnalyzer/Checkers/ErrnoChecker.cpp
clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.cpp
clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.h
clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
clang/test/Analysis/std-c-library-functions-POSIX.c
clang/test/Analysis/std-c-library-functions-arg-constraints-note-tags.cpp
clang/test/Analysis/std-c-library-functions-vs-stream-checker.c