master f7e0e5b7ae 2/2: Simplify generate-new-buffer-name randomness

[Paul Eggert]

branch: master
commit f7e0e5b7aeb928353065a3667c5231c4e4559d28
Author: Paul Eggert <eggert@cs.ucla.edu>
Commit: Paul Eggert <eggert@cs.ucla.edu>

    Simplify generate-new-buffer-name randomness
    
    * src/buffer.c (Fgenerate_new_buffer_name):
    Simplify by calling get_random instead of Frandom;
    that’s random enough here.
---
 src/buffer.c | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/buffer.c b/src/buffer.c
index 91ff6b946f..f8a7a4f510 100644
--- a/src/buffer.c
+++ b/src/buffer.c
@@ -1159,11 +1159,9 @@ is first appended to NAME, to speed up finding a 
non-existent buffer.  */)
   else
     {
       char number[sizeof "-999999"];
-
-      /* Use XFIXNUM instead of XFIXNAT to work around GCC bug 80776.  */
-      int i = XFIXNUM (Frandom (make_fixnum (1000000)));
-      eassume (0 <= i && i < 1000000);
-
+      EMACS_INT r = get_random ();
+      eassume (0 <= r);
+      int i = r % 1000000;
       AUTO_STRING_WITH_LEN (lnumber, number, sprintf (number, "-%d", i));
       genbase = concat2 (name, lnumber);
       if (NILP (Fget_buffer (genbase)))