[all-commits] [llvm/llvm-project] d8a2af: [clang][analyzer] Add modeling of 'errno'.

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

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d8a2afb244da6cd1c8753115610c74ed0312f2e2
      https://github.com/llvm/llvm-project/commit/d8a2afb244da6cd1c8753115610c74ed0312f2e2
  Author: Balázs Kéri <1.int32 at gmail.com>
  Date:   2022-03-01 (Tue, 01 Mar 2022)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
    M clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
    A clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.cpp
    A clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.h
    A clang/lib/StaticAnalyzer/Checkers/ErrnoTesterChecker.cpp
    M clang/lib/StaticAnalyzer/Core/MemRegion.cpp
    A clang/test/Analysis/Inputs/errno_func.h
    A clang/test/Analysis/Inputs/errno_var.h
    M clang/test/Analysis/Inputs/system-header-simulator.h
    M clang/test/Analysis/analyzer-enabled-checkers.c
    A clang/test/Analysis/errno.c
    A clang/test/Analysis/global-region-invalidation-errno.c
    M clang/test/Analysis/global-region-invalidation.c
    M clang/test/Analysis/std-c-library-functions-arg-enabled-checkers.c

  Log Message:
  -----------
  [clang][analyzer] Add modeling of 'errno'.

Add a checker to maintain the system-defined value 'errno'.
The value is supposed to be set in the future by existing or
new checkers that evaluate errno-modifying function calls.

Reviewed By: NoQ, steakhal

Differential Revision: https://reviews.llvm.org/D120310