From 4425f0908c1df8c119ef8f529d8691e25d5e1e93 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Fri, 5 May 2017 09:39:13 -0700
Subject: [PATCH] [thread-safety] understand custom Buck locks

Reviewed By: jberdine

Differential Revision: D5003607

fbshipit-source-id: e36d137
---
 infer/src/checkers/ThreadSafety.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/infer/src/checkers/ThreadSafety.ml b/infer/src/checkers/ThreadSafety.ml
index 014b0338c..8f10b2340 100644
--- a/infer/src/checkers/ThreadSafety.ml
+++ b/infer/src/checkers/ThreadSafety.ml
@@ -90,6 +90,9 @@ module TransferFunctions (CFG : ProcCfg.S) = struct
               | "java.util.concurrent.locks.ReentrantReadWriteLock$WriteLock"),
               "tryLock" ->
                 LockedIfTrue
+            | "com.facebook.buck.util.concurrent.AutoCloseableReadWriteUpdateLock",
+              ("readLock" | "updateLock" | "writeLock") ->
+                Lock
             | _ ->
                 NoEffect
           end