2017-01-17 1:49 GMT+09:00 James McCoy <[email protected]>: > On Jan 16, 2017 05:03, "Kazunobu Kuriyama" <[email protected]> > wrote: > > 2017-01-16 0:53 GMT+09:00 Bram Moolenaar <[email protected]>: > >> >> Patch 8.0.0190 >> Summary: finding duplicate tags uses a slow linear search >> Problem: Detecting duplicate tags uses a slow linear search. >> Solution: Use a much faster hash table solution. (James McCoy, closes >> #1046) >> But don't add hi_keylen, it makes hash tables 50% bigger. >> Files: src/tag.c >> >> > With this patch, CTRL-] in normal mode, or :tag, sometimes fails to work > for me. > > For example, go to vim/src/ and open vim there. Do ":make tags" and > ":edit gui.c". Place the cursor at gui_attempt_start() at line 110 and > press CTRL-]. > > Then I got either of them, depending on circumstances: > > (1) no response > (2) an error message: E429: File "tags^A^Agui_attempt_start^Igu > i.c^I/^gui_attempt_start(void)$/ead_ref" does not exist (N.B. The > substring after $/ often varies). > (3) segfault > > Those clearly indicate that memory corruption takes place somewhere > (Therefore, I believe the procedure above is not necessarily useful to > reproduce the issue for everyone). > > > This should be fixed by PR #1387. >
Confirmed. Thanks! > > Cheers, > James > Kazunobu > -- > -- > You received this message from the "vim_dev" maillist. > Do not top-post! Type your reply below the text you are replying to. > For more information, visit http://www.vim.org/maillist.php > > --- > You received this message because you are subscribed to the Google Groups > "vim_dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
