From 3691200d227852c55d21f26e7059dc6d856215d3 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Fri, 1 Apr 2022 15:08:19 +0200
Subject: [PATCH] [ivette] Fix missing dependencies in React hooks
---
ivette/src/frama-c/plugins/eva/valuetable.tsx | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 67a3ac94ff0..9b6d0166a9b 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -952,7 +952,7 @@ function EvaTable(): JSX.Element {
React.useEffect(() => {
if (csFct && fcts.isEmpty(csFct) && focus?.fct !== csFct)
setCS('Summary');
- });
+ }, [ csFct, fcts, focus?.fct ] );
/* Updated the focused Probe when the selection changes. Also emit on the
* `locEvent` event. */
@@ -1049,7 +1049,7 @@ function EvaTable(): JSX.Element {
});
return Promise.all(ps.map(FunctionSection));
},
- [ cs, fcts, focus, tac, getCallsites, setLocPin,
+ [ cs, fcts, focus, tac, getCallsites, setLocPin, csFct,
getCallstacks, getProbe, remove, select, locEvt ]);
const { result: functions } = Dome.usePromise(functionsPromise);
--
GitLab