From 784f4f1f79247f562b30e8e33f13a36fa40e3b3c Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Wed, 27 Jan 2021 16:45:25 +0100
Subject: [PATCH] [Eva] Actually match bitwise AND operations instead of
logical AND.
---
src/plugins/value/utils/widen.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/utils/widen.ml b/src/plugins/value/utils/widen.ml
index dd9dd003437..8abed9a90a2 100644
--- a/src/plugins/value/utils/widen.ml
+++ b/src/plugins/value/utils/widen.ml
@@ -176,7 +176,7 @@ class pragma_widen_visitor init_widen_hints init_enclosing_loops = object(self)
let rec find_candidates expr =
match expr.enode with
| BinOp (Mod, _, modu, _typ) -> [modu]
- | BinOp (LAnd, e1, e2, _typ) -> [e1; e2]
+ | BinOp (BAnd, e1, e2, _typ) -> [e1; e2]
| CastE (_, expr)
| Info (expr, _) -> find_candidates expr
| _ -> []
--
GitLab