diff --git a/infer/man/man1/infer-analyze.txt b/infer/man/man1/infer-analyze.txt index 57fe2c08e..a4d9f5bd9 100644 --- a/infer/man/man1/infer-analyze.txt +++ b/infer/man/man1/infer-analyze.txt @@ -125,8 +125,7 @@ OPTIONS Deactivates: Default checkers: --biabduction, --fragment-retains-view, --inefficient-keyset-iterator, --linters, --liveness, --racerd, --dotnet-resource-leak, --siof, - --self-in-block, --starvation, --uninit (Conversely: - --default-checkers) + --self-in-block, --starvation (Conversely: --default-checkers) --eradicate Activates: checker eradicate: The eradicate `@Nullable` checker @@ -437,9 +436,9 @@ OPTIONS Activates: Enable topl and disable all other checkers (Conversely: --no-topl-only) - --no-uninit - Deactivates: checker uninit: Warns when values are used before - having been initialized. (Conversely: --uninit) + --uninit + Activates: checker uninit: Warns when values are used before + having been initialized. (Conversely: --no-uninit) --uninit-only Activates: Enable uninit and disable all other checkers diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index a7533fc9b..d98b94f09 100644 --- a/infer/man/man1/infer-full.txt +++ b/infer/man/man1/infer-full.txt @@ -394,8 +394,8 @@ OPTIONS Deactivates: Default checkers: --biabduction, --fragment-retains-view, --inefficient-keyset-iterator, --linters, --liveness, --racerd, --dotnet-resource-leak, --siof, - --self-in-block, --starvation, --uninit (Conversely: - --default-checkers) See also infer-analyze(1). + --self-in-block, --starvation (Conversely: --default-checkers) + See also infer-analyze(1). --no-default-linters Deactivates: Use the default linters for the analysis. @@ -552,7 +552,7 @@ OPTIONS PRECONDITION_NOT_FOUND (enabled by default), PRECONDITION_NOT_MET (enabled by default), PREMATURE_NIL_TERMINATION_ARGUMENT (enabled by default), - PULSE_UNINITIALIZED_VALUE (disabled by default), + PULSE_UNINITIALIZED_VALUE (enabled by default), PURE_FUNCTION (enabled by default), QUANDARY_TAINT_ERROR (enabled by default), RESOURCE_LEAK (enabled by default), @@ -1299,9 +1299,9 @@ OPTIONS Activates: Enable topl and disable all other checkers (Conversely: --no-topl-only) See also infer-analyze(1). - --no-uninit - Deactivates: checker uninit: Warns when values are used before - having been initialized. (Conversely: --uninit) See also infer-analyze(1). + --uninit + Activates: checker uninit: Warns when values are used before + having been initialized. (Conversely: --no-uninit) See also infer-analyze(1). --uninit-only Activates: Enable uninit and disable all other checkers diff --git a/infer/man/man1/infer-report.txt b/infer/man/man1/infer-report.txt index fe195e959..2afbfb9e6 100644 --- a/infer/man/man1/infer-report.txt +++ b/infer/man/man1/infer-report.txt @@ -229,7 +229,7 @@ OPTIONS PRECONDITION_NOT_FOUND (enabled by default), PRECONDITION_NOT_MET (enabled by default), PREMATURE_NIL_TERMINATION_ARGUMENT (enabled by default), - PULSE_UNINITIALIZED_VALUE (disabled by default), + PULSE_UNINITIALIZED_VALUE (enabled by default), PURE_FUNCTION (enabled by default), QUANDARY_TAINT_ERROR (enabled by default), RESOURCE_LEAK (enabled by default), diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index f34624f94..7cbdd28f1 100644 --- a/infer/man/man1/infer.txt +++ b/infer/man/man1/infer.txt @@ -394,8 +394,8 @@ OPTIONS Deactivates: Default checkers: --biabduction, --fragment-retains-view, --inefficient-keyset-iterator, --linters, --liveness, --racerd, --dotnet-resource-leak, --siof, - --self-in-block, --starvation, --uninit (Conversely: - --default-checkers) See also infer-analyze(1). + --self-in-block, --starvation (Conversely: --default-checkers) + See also infer-analyze(1). --no-default-linters Deactivates: Use the default linters for the analysis. @@ -552,7 +552,7 @@ OPTIONS PRECONDITION_NOT_FOUND (enabled by default), PRECONDITION_NOT_MET (enabled by default), PREMATURE_NIL_TERMINATION_ARGUMENT (enabled by default), - PULSE_UNINITIALIZED_VALUE (disabled by default), + PULSE_UNINITIALIZED_VALUE (enabled by default), PURE_FUNCTION (enabled by default), QUANDARY_TAINT_ERROR (enabled by default), RESOURCE_LEAK (enabled by default), @@ -1299,9 +1299,9 @@ OPTIONS Activates: Enable topl and disable all other checkers (Conversely: --no-topl-only) See also infer-analyze(1). - --no-uninit - Deactivates: checker uninit: Warns when values are used before - having been initialized. (Conversely: --uninit) See also infer-analyze(1). + --uninit + Activates: checker uninit: Warns when values are used before + having been initialized. (Conversely: --no-uninit) See also infer-analyze(1). --uninit-only Activates: Enable uninit and disable all other checkers diff --git a/infer/src/base/Checker.ml b/infer/src/base/Checker.ml index 7d52710ea..2b7b2857c 100644 --- a/infer/src/base/Checker.ml +++ b/infer/src/base/Checker.ml @@ -441,11 +441,15 @@ let config_unsafe checker = ; activates= [Pulse] } | Uninit -> { id= "uninit" - ; kind= UserFacing {title= "Uninitialized Value"; markdown_body= ""} + ; kind= + UserFacingDeprecated + { title= "Uninitialized Value" + ; markdown_body= "" + ; deprecation_message= "Uninitialized value checking has moved to Pulse." } ; support= supports_clang ; short_documentation= "Warns when values are used before having been initialized." ; cli_flags= Some {deprecated= []; show_in_help= true} - ; enabled_by_default= true + ; enabled_by_default= false ; activates= [] } diff --git a/infer/src/base/IssueType.ml b/infer/src/base/IssueType.ml index 984e42167..4cb6f0572 100644 --- a/infer/src/base/IssueType.ml +++ b/infer/src/base/IssueType.ml @@ -949,7 +949,7 @@ let uninitialized_value = let uninitialized_value_pulse = - register ~enabled:false ~id:"PULSE_UNINITIALIZED_VALUE" Error Pulse ~hum:"Uninitialized Value" + register ~id:"PULSE_UNINITIALIZED_VALUE" Error Pulse ~hum:"Uninitialized Value" ~user_documentation: "See [UNINITIALIZED_VALUE](#uninitialized_value). Re-implemented using Pulse."