From 79d1a7e9e6de4a06fd132024ef5a191b31d86394 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Tue, 5 Apr 2022 10:16:08 +0200
Subject: [PATCH] [ivette] Fix missing dependencies
---
ivette/src/frama-c/plugins/eva/valuetable.tsx | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 7f139652537..bcad18f8c8c 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -956,7 +956,7 @@ function EvaTable(): JSX.Element {
React.useEffect(() => {
if (csFct && fcts.isEmpty(csFct) && focus?.fct !== csFct)
setCS('Summary');
- }, [ csFct, fcts, focus?.fct ] );
+ }, [ csFct, setCS, fcts, focus?.fct ] );
/* Updated the focused Probe when the selection changes. Also emit on the
* `locEvent` event. */
@@ -1053,7 +1053,7 @@ function EvaTable(): JSX.Element {
});
return Promise.all(ps.map(FunctionSection));
},
- [ cs, fcts, focus, tac, getCallsites, setLocPin, csFct,
+ [ cs, setCS, fcts, focus, setFocus, tac, getCallsites, setLocPin, csFct,
getCallstacks, getProbe, remove, select, locEvt ]);
const { result: functions } = Dome.usePromise(functionsPromise);
@@ -1071,7 +1071,7 @@ function EvaTable(): JSX.Element {
const isSelected = callsites.find(p) !== undefined;
const close = (): void => setCS('Summary');
return StackInfos({ callsites, isSelected, setSelection: select, close });
- }, [ cs, select, getCallsites, selection ]);
+ }, [ cs, setCS, select, getCallsites, selection ]);
const { result: stackInfos } = Dome.usePromise(stackInfosPromise);
/* Builds the component */
--
GitLab