From eef7ed476d6d6b2366353af198cb48c9063a37ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 18 Apr 2019 11:30:37 +0200
Subject: [PATCH] [Eva] Implements inject_int for the interval value used for
 the Apron domains.

Fixes a bug when splitting on a value, as we compare the result of an evaluation
with the value given by inject_int.
---
 src/plugins/value/values/main_values.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/value/values/main_values.ml b/src/plugins/value/values/main_values.ml
index 155133c9fc9..f5bec06d977 100644
--- a/src/plugins/value/values/main_values.ml
+++ b/src/plugins/value/values/main_values.ml
@@ -164,7 +164,7 @@ module Interval = struct
   let zero = None
   let one = None
   let top_int = None
-  let inject_int _typ _i = None
+  let inject_int _typ i = Some (Ival.inject_singleton i)
 
   let assume_non_zero v = `Unknown v
   let assume_bounded _ _ v = `Unknown v
-- 
GitLab