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