From 02598a575e75ba5361e586829a36783c7fb51858 Mon Sep 17 00:00:00 2001 From: Daiva Naudziuniene Date: Fri, 12 Mar 2021 02:31:26 -0800 Subject: [PATCH] [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 | 2 +- infer/man/man1/infer-report.txt | 2 +- infer/man/man1/infer.txt | 2 +- infer/src/base/IssueType.ml | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index f258762e9..c5b33eeb7 100644 --- a/infer/man/man1/infer-full.txt +++ b/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), diff --git a/infer/man/man1/infer-report.txt b/infer/man/man1/infer-report.txt index 667785059..f057b2cf4 100644 --- a/infer/man/man1/infer-report.txt +++ b/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), diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index 4158a8ebd..140c62c4f 100644 --- a/infer/man/man1/infer.txt +++ b/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), diff --git a/infer/src/base/IssueType.ml b/infer/src/base/IssueType.ml index 863bd0cb8..66f6bab78 100644 --- a/infer/src/base/IssueType.ml +++ b/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"]