* fileio.c (Finsert_file_contents): Remove unused local.

Fixes: debbugs:8447

diff --git a/src/ChangeLog b/src/ChangeLog
index 56e13da832aa0a726ebb059c702146a8d19eaa62..bfc51b8c5ffe53b5301b97a3a8d73defe9802fb8 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2013-05-31  Paul Eggert  <eggert@cs.ucla.edu>
+
+       * fileio.c (Finsert_file_contents): Remove unused local (Bug#8447).
+
 2013-05-29  Eli Zaretskii  <eliz@gnu.org>
 
        * Makefile.in (mostlyclean): Remove *.res files.

diff --git a/src/fileio.c b/src/fileio.c
index e2b1007fb0b8fb39d8032a3d8a3748779b75a728..75e1f13a09b4cccbc2c36a5f3acc67328995ccbf 100644 (file)
--- 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;