[all-commits] [llvm/llvm-project] 7dd206: Improve modeling of 'getcwd' in the StdLibraryFunc...

[Ben Shi via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7dd20637c801b429f2dd1040941d00141459d64e
      https://github.com/llvm/llvm-project/commit/7dd20637c801b429f2dd1040941d00141459d64e
  Author: Ben Shi <2283975856 at qq.com>
  Date:   2024-01-09 (Tue, 09 Jan 2024)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
    M clang/test/Analysis/errno-stdlibraryfunctions.c

  Log Message:
  -----------
  Improve modeling of 'getcwd' in the StdLibraryFunctionsChecker (#77040)

1. Improve the 'errno' modeling.
2. Improve constraints of the arguments.