From 5b3b070cf701f602915141f8f32015b9a2a814da Mon Sep 17 00:00:00 2001
From: Nicholas Nethercote <njn@valgrind.org>
Date: Tue, 27 Mar 2007 07:41:33 +0000
Subject: [PATCH] Augment a comment.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6676
---
 include/pub_tool_mallocfree.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/include/pub_tool_mallocfree.h b/include/pub_tool_mallocfree.h
index 70a6f6969d..118f7520f1 100644
--- a/include/pub_tool_mallocfree.h
+++ b/include/pub_tool_mallocfree.h
@@ -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 );
-- 
2.47.2