From 19190ca63d43aaf14ae462823b3878ce65b25606 Mon Sep 17 00:00:00 2001 From: stilscher <66023521+stilscher@users.noreply.github.com> Date: Mon, 20 Nov 2023 11:09:26 +0100 Subject: [PATCH] remove special cases handled by general case --- src/analyses/base.ml | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/src/analyses/base.ml b/src/analyses/base.ml index f25f0a9693..2a729c685e 100644 --- a/src/analyses/base.ml +++ b/src/analyses/base.ml @@ -2339,13 +2339,9 @@ struct | None, _ -> ID.top_of ik | Some mx, Some mm when Z.equal mx mm -> ID.top_of ik | _, _ -> - match ID.le xcast (ID.of_int ik Z.zero) with - | d when d = ID.of_int ik Z.zero -> xcast (* x positive *) - | d when d = ID.of_int ik Z.one -> ID.neg xcast (* x negative *) - | _ -> (* both possible *) - let x1 = ID.neg (ID.meet (ID.ending ik Z.zero) xcast) in - let x2 = ID.meet (ID.starting ik Z.zero) xcast in - ID.join x1 x2 + let x1 = ID.neg (ID.meet (ID.ending ik Z.zero) xcast) in + let x2 = ID.meet (ID.starting ik Z.zero) xcast in + ID.join x1 x2 ) | _ -> failwith ("non-integer argument in call to function "^f.vname) end