# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1209809350 0
# Node ID 11d4beac3bb09d890f82bed1528f5e573333c5df
# Parent  c147a137d94dcef7a26e154a7721a798f7c554f6
(Ffile_attributes): Don't allow the device number become negative.

diff -r c147a137d94d -r 11d4beac3bb0 src/dired.c
--- a/src/dired.c	Fri May 02 09:40:19 2008 +0000
+++ b/src/dired.c	Sat May 03 10:09:10 2008 +0000
@@ -1048,8 +1048,11 @@
     /* But keep the most common cases as integers.  */
     values[10] = make_number (ino);
 
-  /* Likewise for device.  */
-  if (FIXNUM_OVERFLOW_P (s.st_dev))
+  /* Likewise for device, but don't let it become negative.  We used
+     to use FIXNUM_OVERFLOW_P here, but that won't catch large
+     positive numbers such as 0xFFEEDDCC.  */
+  if ((EMACS_INT)s.st_dev < 0
+      || (EMACS_INT)s.st_dev > MOST_POSITIVE_FIXNUM)
     values[11] = Fcons (make_number (s.st_dev >> 16),
 			make_number (s.st_dev & 0xffff));
   else