[all-commits] [llvm/llvm-project] 29b512: [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: 29b512ba322cb6dd2c45d5e07645e20db47fad0d
      https://github.com/llvm/llvm-project/commit/29b512ba322cb6dd2c45d5e07645e20db47fad0d
  Author: Balázs Kéri <1.int32 at gmail.com>
  Date:   2022-02-25 (Fri, 25 Feb 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/Errno.h
    A clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.cpp
    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
    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