add assert.h

Signed-off-by: Mattias Andrée <maandree@operamail.com>

3 files changed, 179 insertions, 0 deletions

diff --git a/include/assert.h b/include/assert.h
new file mode 100644
index 0000000..7f44222
--- /dev/null
+++ b/include/assert.h
@@ -0,0 +1,95 @@
+/**
+ * slibc — Yet another C library
+ * Copyright © 2015  Mattias Andrée (maandree@member.fsf.org)
+ * 
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ * 
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ * 
+ * You should have received a copy of the GNU General Public License
+ * along with this program.  If not, see <http://www.gnu.org/licenses/>.
+ */
+#ifndef _ASSERT_H
+#define _ASSERT_H
+#include <slibc/version.h>
+
+
+
+/* The `assert` macro shall be redefined according to the the
+ * current state of `NDEBUF` each time <assert.h> is included. */
+#ifdef assert
+# undef assert
+#endif
+
+
+/**
+ * Unless `NDEBUG` is defined, print an error message
+ * and abort the process, if the expression evaluates to
+ * non-zero.
+ * 
+ * POSIX specifies that `assert` shall not evaluate the
+ * expression if `NDEBUG` is defined. This is probably
+ * to save CPU-cycles.
+ */
+#ifdef NDEBUG
+# define assert(expression)   ((void)0)
+#else
+# define assert(expression)  \
+  ((void)((expression) ? 0 : (__assert_fail(#expression, 0, __FILE__, __LINE__, __func__), 0)))
+#endif
+
+
+/**
+ * A compile-time error should occur if the expression
+ * evaluates to zero.
+ * 
+ * @param  expression:scalar    The expression to evaluate.
+ * @param  message:const char*  The message to print on error.
+ */
+#define static_assert _Static_assert
+
+
+/**
+ * Unless `NDEBUG` is defined, print an error message
+ * and abort the process, if `errnum` is non-zero.
+ * 
+ * @param  errnum:int  The error code, describing the error that occurred.
+ * 
+ * `assert_perror` is a GNU extension.
+ */
+#if defined(_SLIBC_SOURCE) || defined(_GNU_SOURCE)
+#ifdef assert_perror
+# undef assert_perror
+#endif
+#ifdef NDEBUG
+# define assert_perror(errnum)  ((void)0)
+#else
+# define assert_perror(errnum)  \
+  ((void)((errnum == 0) ? 0 : (__assert_fail(NULL, errnum, __FILE__, __LINE__, __func__), 0)))
+__USE_GNU
+#endif
+
+
+
+/**
+ * The function that is called if an assertion fails.
+ * 
+ * @param  expression  The expression that failed, `NULL` if `assert_perror` failed
+ * @param  errnum      The code of the fatal error, 0 if `assert` failed
+ * @param  file        The filename of the source cose whence the assertion was made
+ * @param  line        The line in the source code whence the assertion was made
+ * @param  func        The function in the source code whence the assertion was made
+ */
+void __attribute__((noreturn, nonnull(3, 4, 5)))
+__assert_fail(const char* expression, int errnum, const char* file, int line, const char* func);
+
+
+
+#endif
+
diff --git a/include/slibc/internals.h b/include/slibc/internals.h
new file mode 100644
index 0000000..099e2e7
--- /dev/null
+++ b/include/slibc/internals.h
@@ -0,0 +1,26 @@
+/**
+ * slibc — Yet another C library
+ * Copyright © 2015  Mattias Andrée (maandree@member.fsf.org)
+ * 
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ * 
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ * 
+ * You should have received a copy of the GNU General Public License
+ * along with this program.  If not, see <http://www.gnu.org/licenses/>.
+ */
+#ifndef _SLIBC_INTERNALS_H
+#define _SLIBC_INTERNALS_H
+
+
+#define _(msg)  msg
+
+
+#endif
+
diff --git a/src/assert.c b/src/assert.c
new file mode 100644
index 0000000..b21f916
--- /dev/null
+++ b/src/assert.c
@@ -0,0 +1,58 @@
+/**
+ * slibc — Yet another C library
+ * Copyright © 2015  Mattias Andrée (maandree@member.fsf.org)
+ * 
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ * 
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ * 
+ * You should have received a copy of the GNU General Public License
+ * along with this program.  If not, see <http://www.gnu.org/licenses/>.
+ */
+#include <slibc/internals.h>
+#include <assert.h>
+#include <stdlib.h>
+#include <stdio.h>
+#include <string.h>
+#include <unistd.h>
+#include <errno.h>
+
+
+
+/**
+ * The function that is called if an assertion fails.
+ * 
+ * @param  expression  The expression that failed, `NULL` if `assert_perror` failed
+ * @param  errnum      The code of the fatal error, 0 if `assert` failed
+ * @param  file        The filename of the source cose whence the assertion was made
+ * @param  line        The line in the source code whence the assertion was made
+ * @param  func        The function in the source code whence the assertion was made
+ */
+void
+__assert_fail(const char* expression, int errnum, const char* file, int line, const char* func)
+{
+  int tty = isatty(STDERR_FILENO);
+  
+  fprintf(stderr,
+	  _("%(\033[00;01m%)%s%(\033[00m%): "
+	    "%(\033[31m%)assertion error%(\033[00m%) "
+	    "at line %(\033[33m%)%i%(\033[00m%) "
+	    "of file %(\033[35m%)%s%(\033[00m%), "
+	    "function %(\033[34m%)%s%(\033[00m%): "
+	    "%(\033[31m%)%(exression failed: %)%s%(\033[00m%)\n"),
+	  tty, program_invocation_name, tty,
+	  tty, tty,
+	  tty, line, tty,
+	  tty, file, tty,
+	  tty, func, tty,
+	  tty, expression != NULL, (expression ? expression : stderror(errnum)), tty);
+  
+  abort();
+}
+