From 69b136d7b8ae6e8775e642630721443415055c56 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Thu, 19 Oct 2017 03:20:10 -0700 Subject: [PATCH] [checkers] disable UNINITIALIZED_VALUE by default Summary: This is still a bit experimental. Reviewed By: sblackshear Differential Revision: D6088986 fbshipit-source-id: dea0c12 --- 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 9abb88772..3a96faf84 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -727,7 +727,7 @@ and ( annotation_reachability and suggest_nullable = mk_checker ~long:"suggest-nullable" ~default:false "Nullable annotation sugesstions analysis" and threadsafety = mk_checker ~long:"threadsafety" ~default:true "the thread safety analysis" - and uninit = mk_checker ~long:"uninit" ~default:true "checker for use of uninitialized values" in + and uninit = mk_checker ~long:"uninit" "checker for use of uninitialized values" in let mk_only (var, long, doc, _) = let _ : bool ref = CLOpt.mk_bool_group ~long:(long ^ "-only")