From e3de998a41fc48b0097152bd14fdc77d6682e911 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 14 Dec 2018 16:36:50 +0100
Subject: [PATCH] [Eva] Octagons domain: learn from the valuation in
assignments.
---
src/plugins/value/domains/octagons.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/value/domains/octagons.ml b/src/plugins/value/domains/octagons.ml
index 788b50d806d..9248aeda41d 100644
--- a/src/plugins/value/domains/octagons.ml
+++ b/src/plugins/value/domains/octagons.ml
@@ -1103,6 +1103,7 @@ module Domain = struct
(`Value state) octagons
let assign _kinstr left_value expr assigned valuation state =
+ update valuation state >>- fun state ->
match left_value.lval with
| Var varinfo, NoOffset when Cil.isArithmeticType varinfo.vtype ->
assign_variable varinfo expr assigned valuation state
--
GitLab