HomePhabricator

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

Authored by dergachev.a on Jan 24 2020, 6:52 AM.