From eb7556f88faf0bbfd6a4ae99a3d53dcbe2064b88 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <Patrick.Pelissier@gmail.com>
Date: Sat, 22 Aug 2020 18:58:48 +0200
Subject: [PATCH] Replace abort by assert for static analyszer

---
 tests/test-obj.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tests/test-obj.h b/tests/test-obj.h
index cad49632..59023dce 100644
--- a/tests/test-obj.h
+++ b/tests/test-obj.h
@@ -44,13 +44,14 @@ static inline void testobj_init(testobj_t z)
   z->n = 1;
   z->a = 1;
   z->ptr = (unsigned int*) calloc(1, sizeof(unsigned int));
-  if (!z->ptr) abort();
+  assert(z->ptr != NULL);
   z->allocated = true;
 }
 
 static inline void testobj_clear(testobj_t z)
 {
   assert (z->allocated);
+  assert (z->ptr != NULL);
   free(z->ptr);
   z->ptr = NULL;
   z->allocated = false;
@@ -61,7 +62,7 @@ static inline void testobj_init_set(testobj_t d, const testobj_t s)
   d->n = s->n;
   d->a = s->n;
   d->ptr = (unsigned int *) calloc (s->n, sizeof(unsigned int));
-  if (!d->ptr) abort();
+  assert(d->ptr != NULL);
   memcpy(d->ptr, s->ptr, sizeof(unsigned int) * s->n);
   d->allocated = true;
 }