From 01101d12168aede7001d62185b26e731b385783b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 31 Mar 2023 18:36:28 +0200
Subject: [PATCH] [Eva] Values request: do not evaluate lval of function type.

---
 src/plugins/eva/api/values_request.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/plugins/eva/api/values_request.ml b/src/plugins/eva/api/values_request.ml
index 7a547dec352..54e52cc471a 100644
--- a/src/plugins/eva/api/values_request.ml
+++ b/src/plugins/eva/api/values_request.ml
@@ -115,7 +115,8 @@ let probe_property = function
   | _ -> raise Not_found
 
 let probe_marker = function
-  | Printer_tag.PLval (_, _, (Var vi, NoOffset))
+  | Printer_tag.PLval (_, _, lval)
+    when Cil.(isFunctionType (typeOfLval lval)) -> raise Not_found
   | PVDecl (_, _, vi) when Cil.isFunctionType vi.vtype -> raise Not_found
   | PLval (_, _, l) -> Plval l
   | PExp (_, _, e) -> Pexpr e
-- 
GitLab