Re: auto-save-visited-file-name

[Richard Stallman]

    That patch checks the vaule of auto-save-visited-file-name.  But what if the
    user instead explicitly sets buffer-auto-save-file-name to buffer-file-name 
(or
    to any name with the same true name as buffer-file-name)?

the code as actually installed compares the file names.