diff options
Diffstat (limited to 'src/buffer.c')
| -rw-r--r-- | src/buffer.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/buffer.c b/src/buffer.c index 6ab516d5f51..98066a2eb60 100644 --- a/src/buffer.c +++ b/src/buffer.c | |||
| @@ -1160,7 +1160,8 @@ is first appended to NAME, to speed up finding a non-existent buffer. */) | |||
| 1160 | genbase = name; | 1160 | genbase = name; |
| 1161 | else | 1161 | else |
| 1162 | { | 1162 | { |
| 1163 | char number[sizeof "-999999"]; | 1163 | enum { bug_52711 = true }; /* https://bugs.gnu.org/57211 */ |
| 1164 | char number[bug_52711 ? INT_BUFSIZE_BOUND (int) + 1 : sizeof "-999999"]; | ||
| 1164 | EMACS_INT r = get_random (); | 1165 | EMACS_INT r = get_random (); |
| 1165 | eassume (0 <= r); | 1166 | eassume (0 <= r); |
| 1166 | int i = r % 1000000; | 1167 | int i = r % 1000000; |