[all-commits] [llvm/llvm-project] 80fd37: [analyzer] PthreadLock: Fix return value modeling ...

[NoQ via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 80fd37f9d66e49994eb06e2613a29a6d7016df6d
      https://github.com/llvm/llvm-project/commit/80fd37f9d66e49994eb06e2613a29a6d7016df6d
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2020-01-24 (Fri, 24 Jan 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
    M clang/test/Analysis/Inputs/system-header-simulator-for-pthread-lock.h

  Log Message:
  -----------
  [analyzer] PthreadLock: Fix return value modeling for XNU lock functions.

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


  Commit: 15624a7bda9d33b80aad5bf6f60aeced7626ee91
      https://github.com/llvm/llvm-project/commit/15624a7bda9d33b80aad5bf6f60aeced7626ee91
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2020-01-24 (Fri, 24 Jan 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
    M clang/test/Analysis/Inputs/system-header-simulator-for-pthread-lock.h
    M clang/test/Analysis/pthreadlock.c

  Log Message:
  -----------
  [analyzer] PthreadLock: Add more XNU rwlock unlock functions.

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


  Commit: 152bc7ffdcd8f62b2279803642f162610154cd2e
      https://github.com/llvm/llvm-project/commit/152bc7ffdcd8f62b2279803642f162610154cd2e
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2020-01-24 (Fri, 24 Jan 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp

  Log Message:
  -----------
  [analyzer] NFC: PthreadLock: Use CallDescriptionMap, modernize.

https://reviews.llvm.org/D37809


  Commit: dd22be1e3d988ebaeb630d41aaa2ff5b5e7d63c3
      https://github.com/llvm/llvm-project/commit/dd22be1e3d988ebaeb630d41aaa2ff5b5e7d63c3
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2020-01-24 (Fri, 24 Jan 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
    M clang/test/Analysis/Inputs/system-header-simulator-for-pthread-lock.h
    M clang/test/Analysis/pthreadlock.c

  Log Message:
  -----------
  [analyzer] PthreadLock: Implement mutex escaping.

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


  Commit: 1484d0f12addf0d8aa08831adb63b8f56b8bd0f6
      https://github.com/llvm/llvm-project/commit/1484d0f12addf0d8aa08831adb63b8f56b8bd0f6
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2020-01-24 (Fri, 24 Jan 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp

  Log Message:
  -----------
  [analyzer] PthreadLock: Implement dead region cleanup.

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


Compare: https://github.com/llvm/llvm-project/compare/3fd5d1c6e7db...1484d0f12add