WUtil: make sure wmalloc/wrealloc won't fail because of abort handler
commit05f88d0aa7db556d3e4f89cb3f4cd96cd9a46730
authorChristophe CURIS <christophe.curis@free.fr>
Sat, 17 May 2014 22:56:38 +0000 (18 00:56 +0200)
committerCarlos R. Mafra <crmafra@gmail.com>
Sun, 18 May 2014 22:00:16 +0000 (18 23:00 +0100)
tree64f34d745352bf21a27dfa41a76a10ad719ddd4f
parent978cb1f154ed53b141109c11960293c1cafb9a43
WUtil: make sure wmalloc/wrealloc won't fail because of abort handler

As pointed by Coverity (#50074), despite the expected behaviour that
'wmalloc' should never return NULL, it may still happen if an abort handler
set by user (with wsetabort) does not call exit() as expected. In such
case we call exit ourself to be sure not to return NULL.

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
WINGs/memory.c