res_malloc() fails if there is no respool active.

diff --git a/ucw/res-mem.c b/ucw/res-mem.c
index 7eee58275ea503c9ca1cf63065a3e6f721e9e139..b65b91697ae0efd19ab31880c174c9351ed14caa 100644 (file)
--- a/ucw/res-mem.c
+++ b/ucw/res-mem.c
@@ -44,6 +44,7 @@ res_malloc(size_t size, struct resource **ptr)
 {
   void *p = xmalloc(size);
   struct resource *r = res_new(&mem_res_class, p);
+  ASSERT(r);
   ((struct res_mem *) r) -> size = size;
   if (ptr)
     *ptr = r;