diff --git a/src/plugins/eva/domains/octagons.ml b/src/plugins/eva/domains/octagons.ml
index 1210b073d693d67cc1032b60717ec1cf3433ae73..24a0e73cabc9196c50dc6a97fd4f2f974ffd1ae0 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