From 57843573223188d2fb8bb92022211085b7d2bb89 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Wed, 19 Jul 2017 11:17:55 -0700
Subject: [PATCH] [thread-safety] make Pool subclasses return ownership

Reviewed By: peterogithub

Differential Revision: D5452925

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

diff --git a/infer/src/checkers/ThreadSafety.ml b/infer/src/checkers/ThreadSafety.ml
index 8f20aeba4..000014279 100644
--- a/infer/src/checkers/ThreadSafety.ml
+++ b/infer/src/checkers/ThreadSafety.ml
@@ -370,7 +370,9 @@ module TransferFunctions (CFG : ProcCfg.S) = struct
         | ("android.app.Activity" | "android.view.View"), "findViewById"
          -> (* assume findViewById creates fresh View's (note: not always true) *)
             true
-        | "android.support.v4.util.Pools$Pool", "acquire"
+        | ( ( "android.support.v4.util.Pools$Pool" | "android.support.v4.util.Pools$SimplePool"
+            | "android.support.v4.util.Pools$SynchronizedPool" )
+          , "acquire" )
          -> (* a pool should own all of its objects *)
             true
         | _