From 4e25716ca6dee1dc5ab1d67f4cd747d908f8587a Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 22 Dec 2022 17:52:17 +0100
Subject: [PATCH] [Eva] octagons: also infer argument/parameter equality for
lvalues
---
src/plugins/eva/domains/octagons.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/eva/domains/octagons.ml b/src/plugins/eva/domains/octagons.ml
index 1210b073d69..24a0e73cabc 100644
--- a/src/plugins/eva/domains/octagons.ml
+++ b/src/plugins/eva/domains/octagons.ml
@@ -1585,7 +1585,7 @@ module Domain = struct
`Value (start_recursive_call recursion state)
| None ->
let assign_formal state { formal; concrete; avalue } =
- if Cil.isIntegralType formal.vtype
+ if Cil.isIntegralOrPointerType formal.vtype
then state >>- assign_variable formal concrete avalue valuation
else state
in
--
GitLab