From 92d125c57bf246f969254c01be8de858f0e65c5a Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Thu, 2 Mar 2023 12:26:07 +0100
Subject: [PATCH] [Ivette] Comment the suspicious check in properties gutter
---
ivette/src/frama-c/kernel/ASTview.tsx | 2 ++
1 file changed, 2 insertions(+)
diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index 98f50b7654a..63495a564ee 100644
--- a/ivette/src/frama-c/kernel/ASTview.tsx
+++ b/ivette/src/frama-c/kernel/ASTview.tsx
@@ -394,6 +394,8 @@ function createPropertiesGutter(): Editor.Extension {
return Editor.createGutter(deps, cls, (inputs, block, view) => {
const { properties } = inputs;
const doc = view.state.doc;
+ // Should not be needed, but we can't properly handle dependencies for
+ // gutters, so sometimes the property nodes do not match the document.
const valids = properties.filter((p) => p.from <= doc.length);
const line = doc.lineAt(block.from);
const prop = valids.find((p) => line.from === doc.lineAt(p.from).from);
--
GitLab