/* Memory allocation aligned to system page boundaries.
- Copyright (C) 2005 Free Software Foundation, Inc.
+ Copyright (C) 2005, 2008, 2010-2011 Free Software Foundation, Inc.
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
to the next multiple.
Return a pointer to the start of the memory block. Upon allocation failure,
return NULL and set errno. */
-extern void *pagealign_alloc (size_t size);
+extern void *pagealign_alloc (size_t size)
+# if __GNUC__ >= 3
+ __attribute__ ((__malloc__))
+# if __GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 3)
+ __attribute__ ((__alloc_size__ (1)))
+# endif
+# endif
+ ;
/* Like pagealign_alloc, except it exits the program if the allocation
fails. */
-extern void *pagealign_xalloc (size_t size);
+extern void *pagealign_xalloc (size_t size)
+# if __GNUC__ >= 3
+ __attribute__ ((__malloc__))
+# if __GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 3)
+ __attribute__ ((__alloc_size__ (1)))
+# endif
+# endif
+ ;
/* Free a memory block.
PTR must be a non-NULL pointer returned by pagealign_alloc or