Turn GuardedBy Reporting on by default

Reviewed By: sblackshear Differential Revision: D4142252 fbshipit-source-id: 22d68d9
8 years ago · be977e7318
parent fcf57c6e09
commit be977e7318
4 changed files with 1 additions and 9 deletions
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@ -93,7 +93,6 @@ let captured_dir_name = "captured"

 let checks_disabled_by_default = [
  "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL";
-  "UNSAFE_GUARDED_BY_ACCESS";
 ]

 let clang_build_output_dir_name = "build_output"
--- a/infer/tests/codetoanalyze/java/.inferconfig
+++ b/infer/tests/codetoanalyze/java/.inferconfig
@ -14,8 +14,7 @@
    "@generated"
  ],
  "enable_checks": [
-      "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL",
-      "UNSAFE_GUARDED_BY_ACCESS"
+      "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL"
    ],
  "skip_translation": [
    {
--- a/infer/tests/codetoanalyze/java/infer/.inferconfig
+++ b/infer/tests/codetoanalyze/java/infer/.inferconfig
@ -13,9 +13,6 @@
  "infer-blacklist-files-containing": [
    "@generated"
  ],
-  "enable_checks": [
-      "UNSAFE_GUARDED_BY_ACCESS"
-    ],
  "skip_translation": [
    {
      "language": "Java",
--- a/infer/tests/codetoanalyze/java/tracing/.inferconfig
+++ b/infer/tests/codetoanalyze/java/tracing/.inferconfig
@ -13,9 +13,6 @@
  "infer-blacklist-files-containing": [
    "@generated"
  ],
-  "enable_checks": [
-      "UNSAFE_GUARDED_BY_ACCESS"
-    ],
  "skip_translation": [
    {
      "language": "Java",