From e97621c4ee4df51b342ba71da90f5ba8b9fd3407 Mon Sep 17 00:00:00 2001 From: Mitya Lyubarskiy Date: Fri, 30 Aug 2019 02:15:06 -0700 Subject: [PATCH] [easy] we never created a param here Summary: This did not work. One can not create a param that depends on another param (dynamic!) value ``` infer --dynamic_dispatch /Users/mityal/infer/infer/bin/infer: unknown option '--dynamic_dispatch'. ``` No info in the manual: ``` find . -name "*.txt" | xargs grep "dynamic" ``` Reviewed By: jvillard Differential Revision: D17113568 fbshipit-source-id: 87d0a18ba --- infer/src/base/Config.ml | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 9ba9b4da9..7c2203c7b 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -3276,16 +3276,11 @@ let clang_frontend_action_string = ((if capture then ["translating"] else []) @ if linters then ["linting"] else []) -let dynamic_dispatch = - CLOpt.mk_bool ~long:"dynamic-dispatch" ~default:biabduction - "Specify treatment of dynamic dispatch in Java code: false 'none' treats dynamic dispatch as \ - a call to unknown code and true triggers lazy dynamic dispatch. The latter mode follows the \ - JVM semantics and creates procedure descriptions during symbolic execution using the type \ - information found in the abstract state" - ~in_help:InferCommand.[(Analyze, manual_java)] - - -let dynamic_dispatch = !dynamic_dispatch +(* Specify treatment of dynamic dispatch in Java code: false 'none' treats dynamic dispatch as + a call to unknown code and true triggers lazy dynamic dispatch. The latter mode follows the + JVM semantics and creates procedure descriptions during symbolic execution using the type + information found in the abstract state *) +let dynamic_dispatch = biabduction let specs_library = !specs_library