bug#23276: 25.0.92; Crash in auto-revert when file no longer present

[Eli Zaretskii]

> From: John Wiegley <jwiegley@gmail.com>
> Cc: Michael Albinus <michael.albinus@gmx.de>,  23276@debbugs.gnu.org,  
> andlind@gmail.com
> Date: Sat, 16 Apr 2016 18:54:17 -0700
> 
> >>>>> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > And I still am not convinced that deleting a file under auto-revert
> > shouldn't erase its buffer. Otherwise, it sounds like just half-auto-revert
> > to me. Would we keep the buffer non-empty if the file existed but was empty?
> 
> I would not want it to erase the buffer. Countless have been the times that
> I've been working on a project, and an unbridled rm took away code from the
> disk which I was very grateful to find was still in a buffer.

How is it different from clobbering a file by making it empty?

Don't we have a variant of auto-revert that never shrinks the buffer?