[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
master
Mitya Lyubarskiy 5 years ago committed by Facebook Github Bot
parent 753580095e
commit e97621c4ee

@ -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

Loading…
Cancel
Save