(buffer-file-number): New variable. (find-file-noselect): Record the file's filenum and devnum. Notify if any buffer has the same values. (basic-save-buffer): Save new filenum and devnum. For file-precious-flag, pass real name as VISIT arg of write-region. (set-visited-file-name): Likewise. Clear buffer-file-{number,truename} if now visiting no file.