From 0e64479a3aa321a1a44e2057eebbf5c378b7ad5c Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 30 May 2013 18:31:10 -0700 Subject: [PATCH] * fileio.c (Finsert_file_contents): Remove unused local. Fixes: debbugs:8447 --- src/ChangeLog | 4 ++++ src/fileio.c | 5 +---- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/src/ChangeLog b/src/ChangeLog index 56e13da832a..bfc51b8c5ff 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2013-05-31 Paul Eggert + + * fileio.c (Finsert_file_contents): Remove unused local (Bug#8447). + 2013-05-29 Eli Zaretskii * Makefile.in (mostlyclean): Remove *.res files. diff --git a/src/fileio.c b/src/fileio.c index e2b1007fb0b..75e1f13a09b 100644 --- a/src/fileio.c +++ b/src/fileio.c @@ -3489,7 +3489,6 @@ by calling `format-decode', which see. */) EMACS_TIME mtime; int fd; ptrdiff_t inserted = 0; - bool nochange = 0; ptrdiff_t how_much; off_t beg_offset, end_offset; int unprocessed; @@ -4060,9 +4059,7 @@ by calling `format-decode', which see. */) if (bufpos == inserted) { /* Truncate the buffer to the size of the file. */ - if (same_at_start == same_at_end) - nochange = 1; - else + if (same_at_start != same_at_end) del_range_byte (same_at_start, same_at_end, 0); inserted = 0; -- 2.39.2