current state of 'sat-solver'

1 files changed, 74 insertions, 0 deletions

diff --git a/src/util.c b/src/util.c
new file mode 100644
index 0000000..4b95036
--- /dev/null
+++ b/src/util.c
@@ -0,0 +1,74 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <unistd.h>
+#include <string.h>
+
+#include "util.h"
+
+void *
+xmalloc(size_t len)
+{
+  void *r = malloc(len ? len : 1);
+  if (r)
+    return r;
+  fprintf(stderr, "Out of memory allocating %zu bytes!\n", len);
+  exit(1);
+}
+
+void *
+xmalloc2(size_t num, size_t len)
+{
+  if (len && (num * len) / len != num)
+    {
+      fprintf(stderr, "Out of memory allocating %zu*%zu bytes!\n", num, len);
+      exit(1);
+    }
+  return xmalloc(num * len);
+}
+
+void *
+xrealloc(void *old, size_t len)
+{
+  if (old == 0)
+    old = malloc(len ? len : 1);
+  else
+    old = realloc(old, len ? len : 1);
+  if (old)
+    return old;
+  fprintf(stderr, "Out of memory reallocating %zu bytes!\n", len);
+  exit(1);
+}
+
+void *
+xrealloc2(void *old, size_t num, size_t len)
+{
+  if (len && (num * len) / len != num)
+    {
+      fprintf(stderr, "Out of memory allocating %zu*%zu bytes!\n", num, len);
+      exit(1);
+    }
+  return xrealloc(old, num * len);
+}
+
+void *
+xcalloc(size_t num, size_t len)
+{
+  void *r;
+  if (num == 0 || len == 0)
+    r = malloc(1);
+  else
+    r = calloc(num, len);
+  if (r)
+    return r;
+  fprintf(stderr, "Out of memory allocating %zu bytes!\n", num * len);
+  exit(1);
+}
+
+void *
+xfree(void *mem)
+{
+  if (mem)
+    free(mem);
+  return 0;
+}
+