OSDN Git Service

[analyzer] PthreadLock: Fix return value modeling for XNU lock functions.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 24 Jan 2020 14:52:41 +0000 (17:52 +0300)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 24 Jan 2020 15:43:23 +0000 (18:43 +0300)
commit80fd37f9d66e49994eb06e2613a29a6d7016df6d
treef920bdec5610e368dc589f41b1f97fb4a668ac6d
parent3fd5d1c6e7db55209b3f03ce64ab2f25d9edea69
[analyzer] PthreadLock: Fix return value modeling for XNU lock functions.

Differential Revision: https://reviews.llvm.org/D37806
clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
clang/test/Analysis/Inputs/system-header-simulator-for-pthread-lock.h