[pulse] Enable OPTIONAL_EMPTY_ACCESS by default

Summary: The title

Reviewed By: ezgicicek

Differential Revision: D26987955

fbshipit-source-id: 7ef00b558

infer/man/man1/infer-full.txt

@@ -535,7 +535,7 @@ OPTIONS
              Missing_fld (enabled by default),
              NULLPTR_DEREFERENCE (enabled by default),
              NULL_DEREFERENCE (enabled by default),
-             OPTIONAL_EMPTY_ACCESS (disabled by default),
+             OPTIONAL_EMPTY_ACCESS (enabled by default),
              PARAMETER_NOT_NULL_CHECKED (enabled by default),
              POINTER_TO_CONST_OBJC_CLASS (enabled by default),
              PRECONDITION_NOT_FOUND (enabled by default),

infer/man/man1/infer-report.txt

@@ -220,7 +220,7 @@ OPTIONS
              Missing_fld (enabled by default),
              NULLPTR_DEREFERENCE (enabled by default),
              NULL_DEREFERENCE (enabled by default),
-             OPTIONAL_EMPTY_ACCESS (disabled by default),
+             OPTIONAL_EMPTY_ACCESS (enabled by default),
              PARAMETER_NOT_NULL_CHECKED (enabled by default),
              POINTER_TO_CONST_OBJC_CLASS (enabled by default),
              PRECONDITION_NOT_FOUND (enabled by default),

infer/man/man1/infer.txt

@@ -535,7 +535,7 @@ OPTIONS
              Missing_fld (enabled by default),
              NULLPTR_DEREFERENCE (enabled by default),
              NULL_DEREFERENCE (enabled by default),
-             OPTIONAL_EMPTY_ACCESS (disabled by default),
+             OPTIONAL_EMPTY_ACCESS (enabled by default),
              PARAMETER_NOT_NULL_CHECKED (enabled by default),
              POINTER_TO_CONST_OBJC_CLASS (enabled by default),
              PRECONDITION_NOT_FOUND (enabled by default),

infer/src/base/IssueType.ml

@@ -800,7 +800,7 @@ let nullptr_dereference =
 
 
 let optional_empty_access =
-  register ~enabled:false ~id:"OPTIONAL_EMPTY_ACCESS" Error Pulse
+  register ~id:"OPTIONAL_EMPTY_ACCESS" Error Pulse
     ~user_documentation:[%blob "../../documentation/issues/OPTIONAL_EMPTY_ACCESS.md"]