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"}