[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#61369: Problem with keeping tree-sitter parse tree up-to-date
From: |
Dmitry Gutov |
Subject: |
bug#61369: Problem with keeping tree-sitter parse tree up-to-date |
Date: |
Thu, 16 Feb 2023 00:44:07 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.4.2 |
On 15/02/2023 04:17, Dmitry Gutov wrote:
Seems like treesit_record_change turns new_end_byte=69 into
new_end_byte=67 inside treesit_tree_edit_1.
It seems to fail in this calculation:
ptrdiff_t new_end_offset = (min (visible_end,
max (visible_end, new_end_byte))
- visible_beg);
because visible_end is still 68 there. It value gets updated later,
closer to the end of this function.
So FWIW the patch below fixes the problem. But I'm not sure about
change's clipping by the current restriction, or how it should be
handled exactly.
diff --git a/src/treesit.c b/src/treesit.c
index cab2f0d5354..9f15b88a8bd 100644
--- a/src/treesit.c
+++ b/src/treesit.c
@@ -794,9 +794,7 @@ treesit_record_change (ptrdiff_t start_byte,
ptrdiff_t old_end_byte,
ptrdiff_t old_end_offset = (min (visible_end,
max (visible_beg, old_end_byte))
- visible_beg);
- ptrdiff_t new_end_offset = (min (visible_end,
- max (visible_beg, new_end_byte))
- - visible_beg);
+ ptrdiff_t new_end_offset = max (visible_beg, new_end_byte) -
visible_beg;
eassert (start_offset <= old_end_offset);
eassert (start_offset <= new_end_offset);
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Dmitry Gutov, 2023/02/08
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Theodor Thornhill, 2023/02/08
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Yuan Fu, 2023/02/09
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Yuan Fu, 2023/02/13
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Yuan Fu, 2023/02/13
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Dmitry Gutov, 2023/02/14
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date,
Dmitry Gutov <=
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Yuan Fu, 2023/02/17
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Dmitry Gutov, 2023/02/17
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Yuan Fu, 2023/02/17
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Dmitry Gutov, 2023/02/17
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Yuan Fu, 2023/02/18
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Eli Zaretskii, 2023/02/18
- bug#61369: Problem with keeping tree-sitter parse tree up-to-date, Dmitry Gutov, 2023/02/18