Work around GCC bug 80776 on Fedora 27 x86
commit265cee553f9d59a989d92e28865f6cc6fc02dcc9
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 26 Nov 2017 00:11:43 +0000 (25 16:11 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 26 Nov 2017 06:48:09 +0000 (25 22:48 -0800)
tree8323e09f84d004f2716cad2b2faa3072f5ce3bfe
parentdc7a97fb846cbec16a198d95903ae7a85916da9d
Work around GCC bug 80776 on Fedora 27 x86

* src/buffer.c (Fgenerate_new_buffer_name): Pacify GCC 7.2.1
20170915 (Red Hat 7.2.1-2) on i686 with -Wformat-overflow -O2 by
using XINT rather than XFASTINT and by adding an eassume.  This
works around GCC bug 80776.
src/buffer.c