From dc97dd4bb5f2b75bbd90a836842dccd8bf022449 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 2 May 2023 15:37:29 +0200
Subject: [PATCH] [Eva] Octagons: optimizes [assign] transfer function.
---
src/plugins/eva/domains/octagons.ml | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/plugins/eva/domains/octagons.ml b/src/plugins/eva/domains/octagons.ml
index f5fec8bab83..a422d2d46d3 100644
--- a/src/plugins/eva/domains/octagons.ml
+++ b/src/plugins/eva/domains/octagons.ml
@@ -1811,7 +1811,6 @@ module Domain = struct
state >>-: check "precise assign"
let assign kinstr left_value expr assigned valuation state =
- update valuation state >>- fun state ->
if kinstr <> Kglobal
&& Cil.isIntegralOrPointerType left_value.ltyp
&& not (Eval_typ.lval_contains_volatile left_value.lval)
--
GitLab