From afb26a9804583292fdb7f211902ecbf0275ea2ac Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Thu, 30 Mar 2017 14:27:53 -0700
Subject: [PATCH] [thread-safety] add . to dummy fieldname

Summary:
Otherwise, we can get an exception when calling `Fieldname.java_get_field`.
Thanks to ngorogiannis for reporting.

Reviewed By: jeremydubreil

Differential Revision: D4805197

fbshipit-source-id: 3141bb1
---
 infer/src/checkers/ThreadSafety.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/checkers/ThreadSafety.ml b/infer/src/checkers/ThreadSafety.ml
index 90f3fa909..46a314b18 100644
--- a/infer/src/checkers/ThreadSafety.ml
+++ b/infer/src/checkers/ThreadSafety.ml
@@ -27,7 +27,7 @@ let is_owned access_path attribute_map =
   ThreadSafetyDomain.AttributeMapDomain.has_attribute
     access_path ThreadSafetyDomain.Attribute.unconditionally_owned attribute_map
 
-let container_write_string = "__CONTAINERWRITE__"
+let container_write_string = "infer.dummy.__CONTAINERWRITE__"
 
 let is_container_write_str str =
   String.is_substring ~substring:container_write_string str