|
From: <sv...@va...> - 2007-03-27 07:41:33
|
Author: njn Date: 2007-03-27 08:41:33 +0100 (Tue, 27 Mar 2007) New Revision: 6676 Log: Augment a comment. Modified: trunk/include/pub_tool_mallocfree.h Modified: trunk/include/pub_tool_mallocfree.h =================================================================== --- trunk/include/pub_tool_mallocfree.h 2007-03-27 07:05:31 UTC (rev 6675) +++ trunk/include/pub_tool_mallocfree.h 2007-03-27 07:41:33 UTC (rev 6676) @@ -33,6 +33,8 @@ #define __PUB_TOOL_MALLOCFREE_H // These can be for allocating memory used by tools. +// Nb: the allocators *always succeed* -- they never return NULL (Valgrind +// will abort if they can't allocate the memory). extern void* VG_(malloc) ( SizeT nbytes ); extern void VG_(free) ( void* p ); extern void* VG_(calloc) ( SizeT n, SizeT bytes_per_elem ); |