On Fri, Apr 1, 2022 at 2:18 AM Ernie Rael wrote: > Is this a known issue? Intermittent. > > -ernie > > On ubuntuL > > vim/src/testdir $ make test_gui > ... > Executing Test_shell_command() > Executing Test_syntax_colortest() > Vim: Caught deadly signal SEGV > Vim: Finished. > < > "test.log" > "test.log" [New] 6L, 112B written > ^[[1mExecuted 37 tests in 5.839113 seconds^[[m > 1 FAILED: > "messages" [New] > "messages" > "messages" [New] 47L, 3010B writtenSegmentation fault (core dumped) > make[1]: *** [Makefile:143: test_gui.res] Error 139 > make: *** [Makefile:64: test_gui] Error 2
Can you post the output of `:version`? It's maybe related to a ticket I created a long time ago: https://github.com/vim/vim/issues/8681 where I sometimes saw a crash and I could see: Executing Test_syntax_colortest() Executing Test_windowid_variable() free(): invalid pointer Vim: Caught deadly signal ABRT Vim: Finished. Aborted (core dumped) I don't recall a fix for this bug. I just tried the command that I gave in https://github.com/vim/vim/issues/8681 and sure enough, I still got 1 crash in 100 iterations (at iteration 80/100). So it's not frequent for me: $ for i in $(seq 1 100); do echo "=== $i"; make test_gui; done 2>&1 | tee log ...snip... Executing Test_syntax_colortest()<0d> Executing Test_windowid_variable() free(): invalid pointer Vim: Caught deadly signal ABRT Vim: Finished. Aborted (core dumped) This crash was with vim-8.2.4650 gtk3 GUI on xubuntu-18.04.6. I'll update the ticket with that info. Dominique -- -- 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/CAON-T_jUH2GmW1WJgAp9tVXACzKUZHsg5rrDUGwRmJcz5riHYA%40mail.gmail.com.
