[all-commits] [llvm/llvm-project] 3c7fe7: [clang][analyzer] Add stream related functions to ...

[Balázs Kéri via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3c7fe7d09da1d3f4ba90e1fce3c480b55e9fd970
      https://github.com/llvm/llvm-project/commit/3c7fe7d09da1d3f4ba90e1fce3c480b55e9fd970
  Author: Balázs Kéri <1.int32 at gmail.com>
  Date:   2023-01-06 (Fri, 06 Jan 2023)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/ErrnoChecker.cpp
    M clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.cpp
    M clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.h
    M clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
    M clang/test/Analysis/std-c-library-functions-POSIX.c
    M clang/test/Analysis/std-c-library-functions-arg-constraints-note-tags.cpp
    M clang/test/Analysis/std-c-library-functions-vs-stream-checker.c

  Log Message:
  -----------
  [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