diff --git a/src/plugins/dive/node_range.ml b/src/plugins/dive/node_range.ml
index f93d3b73ab6c72e16279b87f000396cce145dac6..a93b3893c28a038545dba1a50e11372addf02413 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
     | _ ->