On Thursday, October 29, 2015 at 7:41:27 AM UTC-5, Ben Fritz wrote: > On Wednesday, October 28, 2015 at 1:56:28 PM UTC-5, [email protected] wrote: > > > > > > When using this command, with a quickfix list populated by a :make > > > command, > > > I got a crash as follows: > > > > > > > Can you reproduce this issue with a sample/simple quickfix list? > > Probably not, this is the first time I've seen a crash like this and I was > using quickfix pretty heavily at the time. I went through the rest of the > day, and yesterday, without seeing it again, still using quickfix but less > heavily. > > > Is it > > possible for > > you to reproduce the problem using Vim 7.4.857? > > > > Ah, before the :cdo set of commands? That could be. > > If I see it again I'll try to better characterize what I'm doing. If I can > reproduce it consistently I'll certainly try on an older Vim to see if it's > recently introduced. > > Sorry I'm not more help.
I didn't see a crash yet today, but I did see some corruption of the location list today, specifically the "current" item selected and highlighted in the list is not matching up with the actual item jumped to, it is off by one. How I got there: I use eclim, which sometimes uses autocmds to populate the quickfix or location list on file save (with some sort of code analysis). I have 'confirm' set. So when I leave an unsaved file by jumping to the next quickfix hit, I get prompted to save. When I saved, the quickfix list got modified in the middle of jumping. I used ":lolder" to get back to the previous list, but I think this scenario causes problems. Today it was an off-by-one error in the "current" item. I'm not sure what happens if the new list is empty, but perhaps that contributed to my crash a couple days ago. -- -- 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.
