Widen modiff counts to avoid wraparound

Widen modification counts to at least 64 bits, to make
wraparound practically impossible.
* doc/lispref/buffers.texi (Buffer Modification):
Don’t say the modification-count can wrap around.
* src/buffer.c (Frestore_buffer_modified_p, Fbuffer_swap_text)
(modify_overlay):
* src/insdel.c (insert_1_both, insert_from_string_1)
(insert_from_gap, insert_from_buffer_1)
(adjust_after_replace, replace_range, replace_range_2)
(del_range_2, modify_text):
* src/textprop.c (modify_text_properties):
Use modiff_incr instead of incrementing	directly.
(Fbuffer_modified_tick, Fbuffer_chars_modified_tick):
Don’t assume modification counts fit into fixnums.
* src/buffer.h (struct buffer_text, struct buffer):
* src/cmds.c (internal_self_insert):
* src/fileio.c (Finsert_file_contents):
* src/indent.c (last_known_column_modified):
* src/keyboard.c (command_loop_1):
* src/marker.c (cached_modiff):
* src/syntax.c (find_start_modiff, parse_sexp_propertize)
(find_defun_start):
* src/window.h (struct window):
Use modiff_count for modification counts.
* src/editfns.c (Fsubst_char_in_region):
Copy instead of incrementing modification counts,
since integer overflow checking is not needed here.
* src/lisp.h (modiff_count): New type.
(modiff_incr, modiff_to_integer): New inline functions.
* src/pdumper.c (dump_buffer): Update hash.

1 files changed, 5 insertions, 4 deletions

diff --git a/src/editfns.c b/src/editfns.c
index 3edfd1dc201..360cdbe02ee 100644
--- a/src/editfns.c
+++ b/src/editfns.c
@@ -2291,10 +2291,11 @@ Both characters must have the same length of multi-byte form.  */)
 
               if (! NILP (noundo))
                 {
-                  if (MODIFF - 1 == SAVE_MODIFF)
-                    SAVE_MODIFF++;
-                  if (MODIFF - 1 == BUF_AUTOSAVE_MODIFF (current_buffer))
-                    BUF_AUTOSAVE_MODIFF (current_buffer)++;
+                  modiff_count m = MODIFF;
+                  if (SAVE_MODIFF == m - 1)
+                    SAVE_MODIFF = m;
+                  if (BUF_AUTOSAVE_MODIFF (current_buffer) == m - 1)
+                    BUF_AUTOSAVE_MODIFF (current_buffer) = m;
                 }
 
               /* The before-change-function may have moved the gap