From c683fbd1b4181ceb0eaeeaf47371910a6a862ec7 Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosg@fb.com>
Date: Fri, 25 Jun 2021 00:24:01 -0700
Subject: [PATCH] [concurrency] add support for folly::DistributedMutex

Summary: Recognise class as implementing the mutex interface.

Reviewed By: jvillard

Differential Revision: D29360715

fbshipit-source-id: 8ebdbe1fe
---
 infer/src/absint/ConcurrencyModels.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/absint/ConcurrencyModels.ml b/infer/src/absint/ConcurrencyModels.ml
index 45eab9447..aa8d81365 100644
--- a/infer/src/absint/ConcurrencyModels.ml
+++ b/infer/src/absint/ConcurrencyModels.ml
@@ -88,6 +88,7 @@ end = struct
     ; {rwm with classname= "apache::thrift::concurrency::ReadWriteMutex"}
     ; {shd with classname= "boost::shared_mutex"}
     ; {def with classname= "boost::mutex"}
+    ; {def with classname= "folly::detail::distributed_mutex::DistributedMutex"}
     ; {def with classname= "folly::MicroSpinLock"}
     ; {shd with classname= "folly::RWSpinLock"}
     ; {shd with classname= "folly::SharedMutex"}