[analyzer] Prevent an assertion failure in PThreadLockChecker
authorGabor Horvath <xazax@google.com>
Tue, 4 Feb 2020 23:44:57 +0000 (15:44 -0800)
committerGabor Horvath <xazax@google.com>
Wed, 5 Feb 2020 23:56:56 +0000 (15:56 -0800)
commite4f4a6c0f5bbda5dc0b922816b3fdfce4b75f404
tree84d6f692f86bcf97ca4a1d5482058756965944d7
parent98b273c893b2c218c56fe5c03cbb6f082cce008c
[analyzer] Prevent an assertion failure in PThreadLockChecker

When the implementations of the locking functions are available.

Differential Revision: https://reviews.llvm.org/D74003
clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
clang/test/Analysis/fuchsia_lock_impl.c [new file with mode: 0644]