From 1fb898cc69252148be5ad9af9ce8f60a7fcd76b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 20 Mar 2020 10:02:30 +0100
Subject: [PATCH] [Eva] Option -eva-domains-function always checks the domains
name.
Even when no function is bound to the domain name (which should raise an error
anyway).
---
src/plugins/value/value_parameters.ml | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index 0258e4d77f6..ef524a0d179 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -209,11 +209,16 @@ let () =
let () = Parameter_customize.set_group domains
module DomainsFunction =
- String_multiple_map
+ Make_multiple_map
+ (struct
+ include Datatype.String
+ let of_string str = check_domain str; str
+ let of_singleton_string = no_element_of_string
+ let to_string str = str
+ end)
(struct
include Domain_mode.Function_Mode
let of_string ~key ~prev str =
- check_domain key;
try of_string ~key ~prev str
with Invalid_argument msg -> raise (Cannot_build msg)
end)
@@ -225,6 +230,7 @@ module DomainsFunction =
<d:f-> disables the domain [d] from function [f]."
let arg_name = "d:f"
let default = Datatype.String.Map.empty
+ let dependencies = []
end)
let () = add_precision_dep DomainsFunction.parameter
--
GitLab