Document that VG_(newSWA) never returns NULL (because its

allocation function does not). Audit call sites.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14533

diff --git a/helgrind/libhb_core.c b/helgrind/libhb_core.c
index 8101f2ae92986f28fcef211a7050534a8d72bc75..bd26f28a3b72316bcdb7fb8a1fdc41ee60861e5b 100644 (file)
--- a/helgrind/libhb_core.c
+++ b/helgrind/libhb_core.c
@@ -4429,7 +4429,6 @@ static void event_map_init ( void )
                    "libhb.event_map_init.4 (oldref tree)", 
                    HG_(free)
                 );
-   tl_assert(oldrefTree);
 
    oldrefGen = 0;
    oldrefGenIncAt = 0;

diff --git a/include/pub_tool_sparsewa.h b/include/pub_tool_sparsewa.h
index a37edf7ce95da3071aed43edd2278247e591b973..f918eb2497dc33c370937bbc1e89a06add40bf92 100644 (file)
--- a/include/pub_tool_sparsewa.h
+++ b/include/pub_tool_sparsewa.h
@@ -50,7 +50,8 @@
 
 typedef  struct _SparseWA  SparseWA; /* opaque */
 
-// Create a new one, using the specified allocator/deallocator
+// Create a new one, using the specified allocator/deallocator.
+// Never returns NULL.
 SparseWA* VG_(newSWA) ( void*(*alloc_nofail)(const HChar* cc, SizeT), 
                         const HChar* cc,
                         void(*dealloc)(void*) );