X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fstddef.h;h=4e74fa6178e80b155a776b77b2c90d3d9e7d1b4b;hb=59f738d500f51ffc5f487344865b8bed69c26281;hp=2a05bc9c980d845af6ed562377fc9401d0639d56;hpb=6916b246f3be8c72d6e77fd98c4a1447fd2c1de7;p=pintos-anon

diff --git a/src/lib/stddef.h b/src/lib/stddef.h
index 2a05bc9..4e74fa6 100644
--- a/src/lib/stddef.h
+++ b/src/lib/stddef.h
@@ -3,7 +3,10 @@
 
 #define NULL ((void *) 0)
 #define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *) 0)->MEMBER)
-typedef int ptrdiff_t;
-typedef unsigned int size_t;
+
+/* GCC predefines the types we need for ptrdiff_t and size_t,
+   so that we don't have to guess. */
+typedef __PTRDIFF_TYPE__ ptrdiff_t;
+typedef __SIZE_TYPE__ size_t;
 
 #endif /* lib/stddef.h */