From 1edb492b70287b2f9a27d2cb22349aedaa60b144 Mon Sep 17 00:00:00 2001
From: Peter O'Hearn <peteroh@fb.com>
Date: Thu, 23 Jun 2016 04:09:45 -0700
Subject: [PATCH] One step closer to shipping initial GUARDEDBY

Reviewed By: jvillard

Differential Revision: D3469320

fbshipit-source-id: b8491a7
---
 infer/lib/python/inferlib/issues.py         | 2 +-
 infer/src/backend/config.ml                 | 1 +
 infer/tests/codetoanalyze/java/.inferconfig | 4 ++++
 3 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/infer/lib/python/inferlib/issues.py b/infer/lib/python/inferlib/issues.py
index 9b389c4d6..42e3af9d6 100644
--- a/infer/lib/python/inferlib/issues.py
+++ b/infer/lib/python/inferlib/issues.py
@@ -60,7 +60,7 @@ ISSUE_TYPES = [
     'ASSIGN_POINTER_WARNING',
     'GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL',
     # TODO (t11307776): Turn this back on once some of the FP issues are fixed
-    # 'UNSAFE_GUARDED_BY_ACCESS',
+    'UNSAFE_GUARDED_BY_ACCESS',
 ]
 
 NULL_STYLE_ISSUE_TYPES = [
diff --git a/infer/src/backend/config.ml b/infer/src/backend/config.ml
index 5338a64f4..c706ee7fd 100644
--- a/infer/src/backend/config.ml
+++ b/infer/src/backend/config.ml
@@ -92,6 +92,7 @@ let captured_dir_name = "captured"
 
 let checks_disabled_by_default = [
   "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL";
+  "UNSAFE_GUARDED_BY_ACCESS";
 ]
 
 let default_failure_name = "ASSERTION_FAILURE"
diff --git a/infer/tests/codetoanalyze/java/.inferconfig b/infer/tests/codetoanalyze/java/.inferconfig
index a7ff591ed..bfdc7eb69 100644
--- a/infer/tests/codetoanalyze/java/.inferconfig
+++ b/infer/tests/codetoanalyze/java/.inferconfig
@@ -13,6 +13,10 @@
   "infer-blacklist-files-containing": [
     "@generated"
   ],
+  "enable_checks": [
+      "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL",
+      "UNSAFE_GUARDED_BY_ACCESS"
+    ],
   "skip_translation": [
     {
       "language": "Java",