From 6b37e61ec15061bdcc4bdd2e2702221f75877a7f Mon Sep 17 00:00:00 2001 From: Dino Distefano Date: Wed, 25 Apr 2018 08:48:39 -0700 Subject: [PATCH] Switching uninit analysis on by default Reviewed By: jvillard Differential Revision: D7758055 fbshipit-source-id: dca6eb6 --- infer/src/base/Config.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 96875608f..199330a89 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -744,7 +744,7 @@ and ( annotation_reachability and starvation = mk_checker ~long:"starvation" ~default:false "starvation analysis" and suggest_nullable = mk_checker ~long:"suggest-nullable" ~default:false "Nullable annotation sugesstions analysis" - and uninit = mk_checker ~long:"uninit" "checker for use of uninitialized values" in + and uninit = mk_checker ~long:"uninit" "checker for use of uninitialized values" ~default:true in let mk_only (var, long, doc, _) = let _ : bool ref = CLOpt.mk_bool_group ~long:(long ^ "-only")