Philipp Gesang wrote:
> with this minimal vimrc > > set nocompatible > syntax enable > " adjust redrawtime to match machine speed > "set redrawtime=3D100 > " mapping to repeat command quickly > nmap <silent> <F12> :syntax sync fromstart<CR>:syntax sync fromstart<CR= > > > > I get a segfault by opening the reproducer file > https://www.phi-gamma.net/misc/reproducer.rst and then typing > <S-g><F12>. The cause appears to be a use-after-free that occurs > when redrawtime elapses before the syntax highlighting is done. > On my box (=E2=80=9CIntel(R) Core(TM) i7-4771 CPU @ 3.50GHz=E2=80=9D) it is > reproducible up to a limit of ~4250 ms; with larger values there > is no crash. > > Bisection shows that this is the problematic commit: > > commit 06f1ed2f78c5c03af95054fc3a8665df39dec362 > Author: Bram Moolenaar <[email protected]> > Date: Sun Jun 18 22:41:03 2017 +0200 > =20 > patch 8.0.0647: syntax highlighting can make cause a freeze > =20 > Problem: Syntax highlighting can make cause a freeze. > Solution: Apply 'redrawtime' to syntax highlighting, per window= > . > > and indeed, reverting the changes on top of 8.1.436 gets rid of > the crash. > > Backtrace: [...] Thanks for the clear information. I see how this should be fixed. -- hundred-and-one symptoms of being an internet addict: 108. While reading a magazine, you look for the Zoom icon for a better look at a photograph. /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- 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.
