From d39af611739705c3aeead17398290c1cb36c7331 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 28 Aug 2024 15:57:17 +0200
Subject: [PATCH] [Eva] Never emit overflow alarms on mod operations.
---
src/plugins/eva/engine/evaluation.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/eva/engine/evaluation.ml b/src/plugins/eva/engine/evaluation.ml
index 2226ae760c9..cbb95ced117 100644
--- a/src/plugins/eva/engine/evaluation.ml
+++ b/src/plugins/eva/engine/evaluation.ml
@@ -384,7 +384,7 @@ module Make
let may_overflow = function
| Shiftlt | Mult | MinusPP | MinusPI | PlusPI
- | PlusA | Div | Mod | MinusA -> true
+ | PlusA | MinusA | Div -> true
| _ -> false
let truncate_bound overflow_kind bound bound_kind expr value =
--
GitLab