From 2e4dd218c16e4712e97ee2e2011b0055433438e8 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 21 Jul 2020 14:47:41 +0200
Subject: [PATCH] [dive] Fix ocaml 4.07 compilation
---
src/plugins/dive/node_range.ml | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/plugins/dive/node_range.ml b/src/plugins/dive/node_range.ml
index f93d3b73ab6..a93b3893c28 100644
--- a/src/plugins/dive/node_range.ml
+++ b/src/plugins/dive/node_range.ml
@@ -82,13 +82,15 @@ let evaluate cvalue typ =
| TInt (ikind,_) ->
begin match Ival.min_and_max (Cvalue.V.project_ival cvalue) with
| Some l, Some u -> integer_range ikind l u
- | _, _ | exception Cvalue.V.Not_based_on_null -> Wide
+ | _, _ -> Wide
+ | exception Cvalue.V.Not_based_on_null -> Wide
| exception Abstract_interp.Error_Bottom -> Empty
end
| TFloat (fkind,_) ->
begin match Ival.min_and_max_float (Cvalue.V.project_ival cvalue) with
| Some (l, u), _can_be_nan -> float_range fkind l u
- | _, _ | exception Cvalue.V.Not_based_on_null -> Wide
+ | _, _ -> Wide
+ | exception Cvalue.V.Not_based_on_null -> Wide
| exception Abstract_interp.Error_Bottom -> Empty
end
| _ ->
--
GitLab