From b7c672f499d4f844e08d0b3a068e7fe3fcd60007 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 6 Jul 2023 15:58:59 +0200
Subject: [PATCH] [ivette] Do not apply Studia on function variables.
---
ivette/src/frama-c/plugins/studia/studia.ts | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/studia/studia.ts b/ivette/src/frama-c/plugins/studia/studia.ts
index 6045af5178a..822447c7bb0 100644
--- a/ivette/src/frama-c/plugins/studia/studia.ts
+++ b/ivette/src/frama-c/plugins/studia/studia.ts
@@ -72,7 +72,7 @@ export function buildMenu(props: MenuProps) : void {
if (marker && attrs)
compute(marker, attrs.name, kind).then(update);
}
- if (attrs?.isLval) {
+ if (attrs?.isLval && !attrs?.isFunction) {
const reads = 'Studia: select reads';
const writes = 'Studia: select writes';
menu.push({ label: reads, onClick: () => onClick('Reads') });
--
GitLab