pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[thread-safety] add . to dummy fieldname

Browse Source 
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
master
Sam Blackshear 8 years ago committed by Facebook Github Bot
parent ff3159953d
commit afb26a9804
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
infer/src/checkers/ThreadSafety.ml
Unescape View File

@ -27,7 +27,7 @@ let is_owned access_path attribute_map =
ThreadSafetyDomain.AttributeMapDomain.has_attribute ThreadSafetyDomain.AttributeMapDomain.has_attribute
access_path ThreadSafetyDomain.Attribute.unconditionally_owned attribute_map 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 = let is_container_write_str str =
String.is_substring ~substring:container_write_string str String.is_substring ~substring:container_write_string str

Write Preview
Loading…
Cancel
Save