OSDN Git Service

[analyzer] PthreadLock: Implement dead region cleanup.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 24 Jan 2020 15:38:57 +0000 (18:38 +0300)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 24 Jan 2020 15:43:24 +0000 (18:43 +0300)
commit1484d0f12addf0d8aa08831adb63b8f56b8bd0f6
tree54f628b942c3f748ff8eff763ff2b12917de382f
parentdd22be1e3d988ebaeb630d41aaa2ff5b5e7d63c3
[analyzer] PthreadLock: Implement dead region cleanup.

Differential Revision: https://reviews.llvm.org/D37963
clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp