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
This commit is contained in:
Florian Krohm 2014-09-13 22:39:31 +00:00
parent a51a7bb1db
commit 6790a772de
2 changed files with 2 additions and 2 deletions

View File

@ -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;

View File

@ -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*) );