|
From: <sv...@va...> - 2014-09-13 22:39:39
|
Author: florian
Date: Sat Sep 13 22:39:31 2014
New Revision: 14533
Log:
Document that VG_(newSWA) never returns NULL (because its
allocation function does not). Audit call sites.
Modified:
trunk/helgrind/libhb_core.c
trunk/include/pub_tool_sparsewa.h
Modified: trunk/helgrind/libhb_core.c
==============================================================================
--- trunk/helgrind/libhb_core.c (original)
+++ trunk/helgrind/libhb_core.c Sat Sep 13 22:39:31 2014
@@ -4429,7 +4429,6 @@
"libhb.event_map_init.4 (oldref tree)",
HG_(free)
);
- tl_assert(oldrefTree);
oldrefGen = 0;
oldrefGenIncAt = 0;
Modified: trunk/include/pub_tool_sparsewa.h
==============================================================================
--- trunk/include/pub_tool_sparsewa.h (original)
+++ trunk/include/pub_tool_sparsewa.h Sat Sep 13 22:39:31 2014
@@ -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*) );
|