From a404fb455fbc28630559642376a698475a6aeeea Mon Sep 17 00:00:00 2001 From: Valentin Perrelle <valentin.perrelle@cea.fr> Date: Thu, 6 Oct 2022 16:51:57 +0200 Subject: [PATCH] [Eva] multidim: fix comparison operators --- src/plugins/eva/domains/multidim/abstract_memory.ml | 2 +- src/plugins/eva/domains/multidim/abstract_structure.ml | 2 +- src/plugins/eva/domains/multidim/segmentation.ml | 2 +- src/plugins/eva/domains/multidim/typed_memory.ml | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/plugins/eva/domains/multidim/abstract_memory.ml b/src/plugins/eva/domains/multidim/abstract_memory.ml index 9c7eb9074bb..6c83443d93f 100644 --- a/src/plugins/eva/domains/multidim/abstract_memory.ml +++ b/src/plugins/eva/domains/multidim/abstract_memory.ml @@ -26,7 +26,7 @@ open Lattice_bounds (* Composition operator for compare function *) let (<?>) c lcmp = - if c = 0 then 0 else Lazy.force lcmp + if c <> 0 then c else Lazy.force lcmp (* Imprecise bits abstraction *) diff --git a/src/plugins/eva/domains/multidim/abstract_structure.ml b/src/plugins/eva/domains/multidim/abstract_structure.ml index 2dec7b6004d..e33eb14eebb 100644 --- a/src/plugins/eva/domains/multidim/abstract_structure.ml +++ b/src/plugins/eva/domains/multidim/abstract_structure.ml @@ -28,7 +28,7 @@ let no_oracle = fun _exp -> Int_val.top (* Composition operator for compare function *) let (<?>) c lcmp = - if c = 0 then 0 else Lazy.force lcmp + if c <> 0 then c else Lazy.force lcmp (* ------------------------------------------------------------------------ *) diff --git a/src/plugins/eva/domains/multidim/segmentation.ml b/src/plugins/eva/domains/multidim/segmentation.ml index 1b0c1ec7161..0f72e70ea4c 100644 --- a/src/plugins/eva/domains/multidim/segmentation.ml +++ b/src/plugins/eva/domains/multidim/segmentation.ml @@ -30,7 +30,7 @@ let no_oracle = fun _exp -> Int_val.top (* Composition operator for compare function *) let (<?>) c lcmp = - if c = 0 then 0 else Lazy.force lcmp + if c <> 0 then c else Lazy.force lcmp (* ------------------------------------------------------------------------ *) diff --git a/src/plugins/eva/domains/multidim/typed_memory.ml b/src/plugins/eva/domains/multidim/typed_memory.ml index e54285b8de2..19dd9a146a9 100644 --- a/src/plugins/eva/domains/multidim/typed_memory.ml +++ b/src/plugins/eva/domains/multidim/typed_memory.ml @@ -33,7 +33,7 @@ module Bound = Segmentation.Bound (* Composition operator for compare function *) let (<?>) c lcmp = - if c = 0 then 0 else Lazy.force lcmp + if c <> 0 then c else Lazy.force lcmp (* Types compatibility *) -- GitLab