Commit 1cda20c8 authored by David Bühler's avatar David Bühler

[Ival] Removes unused functions fold_int_decrease and apply_set.

parent 004d61b8
...@@ -1225,15 +1225,6 @@ let fold_int f v acc = ...@@ -1225,15 +1225,6 @@ let fold_int f v acc =
| Set s -> | Set s ->
Array.fold_left (fun acc x -> f x acc) acc s Array.fold_left (fun acc x -> f x acc) acc s
let fold_int_decrease f v acc =
match v with
Top(None,_,_,_) | Top(_,None,_,_) | Float _ ->
raise Error_Top
| Top(Some inf, Some sup, _, step) ->
Int.fold f ~inf ~sup ~step:(Int.neg step) acc
| Set s ->
Array.fold_right (fun x acc -> f x acc) s acc
let fold_enum f v acc = let fold_enum f v acc =
match v with match v with
| Float fl when Fval.is_singleton fl -> f v acc | Float fl when Fval.is_singleton fl -> f v acc
...@@ -1343,16 +1334,6 @@ let apply2_n f (s1 : Integer.t array) (s2 : Integer.t array) = ...@@ -1343,16 +1334,6 @@ let apply2_n f (s1 : Integer.t array) (s2 : Integer.t array) =
done; done;
inject_ps !ps inject_ps !ps
let apply_set f v1 v2 =
match v1,v2 with
| Set s1, Set s2 -> apply2_n f s1 s2
| _ -> top
let apply_set_unary f v =
match v with
| Set s -> map_set_exnsafe f s
| _ -> top
let apply_bin_1_strict_incr f x (s : Integer.t array) = let apply_bin_1_strict_incr f x (s : Integer.t array) =
let l = Array.length s in let l = Array.length s in
let r = Array.make l Int.zero in let r = Array.make l Int.zero in
......
...@@ -195,11 +195,6 @@ val fold_int : (Integer.t -> 'a -> 'a) -> t -> 'a -> 'a ...@@ -195,11 +195,6 @@ val fold_int : (Integer.t -> 'a -> 'a) -> t -> 'a -> 'a
Raise {!Abstract_interp.Error_Top} if the argument is a float or a Raise {!Abstract_interp.Error_Top} if the argument is a float or a
potentially infinite integer. *) potentially infinite integer. *)
val fold_int_decrease : (Integer.t -> 'a -> 'a) -> t -> 'a -> 'a
(** Iterate on the integer values of the ival in decreasing order.
Raise {!Abstract_Interp.Error_Top} if the argument is a float or a
potentially infinite integer. *)
val fold_enum : (t -> 'a -> 'a) -> t -> 'a -> 'a val fold_enum : (t -> 'a -> 'a) -> t -> 'a -> 'a
(** Iterate on every value of the ival. Raise {!Abstract_intrep.Error_Top} if (** Iterate on every value of the ival. Raise {!Abstract_intrep.Error_Top} if
the argument is a non-singleton float or a potentially infinite integer. *) the argument is a non-singleton float or a potentially infinite integer. *)
...@@ -211,10 +206,6 @@ val fold_int_bounds: (t -> 'a -> 'a) -> t -> 'a -> 'a ...@@ -211,10 +206,6 @@ val fold_int_bounds: (t -> 'a -> 'a) -> t -> 'a -> 'a
[max] are infinite, [f] is called with an argument [i'] unreduced [max] are infinite, [f] is called with an argument [i'] unreduced
in the corresponding direction(s). *) in the corresponding direction(s). *)
val apply_set: (Integer.t -> Integer.t -> Integer.t ) -> t -> t -> t
val apply_set_unary: (Integer.t -> Integer.t ) -> t -> t
(** Subdivisions into two intervals *) (** Subdivisions into two intervals *)
val subdivide: size:Integer.t -> t -> t * t val subdivide: size:Integer.t -> t -> t * t
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment