1 files changed, 62 insertions, 0 deletions
diff --git a/newlib/libc/stdlib/assert.c b/newlib/libc/stdlib/assert.c
new file mode 100644
index 00000000000..5b08bbaf429
--- /dev/null
+++ b/newlib/libc/stdlib/assert.c
@@ -0,0 +1,62 @@
+/*
+FUNCTION
+<<assert>>---Macro for Debugging Diagnostics
+
+INDEX
+	assert
+
+ANSI_SYNOPSIS
+	#include <assert.h>
+	void assert(int <[expression]>);
+
+TRAD_SYNOPSIS
+	#include <assert.h>
+	assert(<[expression]>)
+	int <[expression]>;
+
+DESCRIPTION
+	Use this macro to embed debuggging diagnostic statements in
+	your programs.  The argument <[expression]> should be an
+	expression which evaluates to true (nonzero) when your program
+	is working as you intended.
+
+	When <[expression]> evaluates to false (zero), <<assert>>
+	calls <<abort>>, after first printing a message showing what
+	failed and where:
+
+. Assertion failed: <[expression]>, file <[filename]>, line <[lineno]>
+
+	The macro is defined to permit you to turn off all uses of
+	<<assert>> at compile time by defining <<NDEBUG>> as a
+	preprocessor variable.   If you do this, the <<assert>> macro
+	expands to
+
+. (void(0))
+
+RETURNS
+	<<assert>> does not return a value.
+
+PORTABILITY
+	The <<assert>> macro is required by ANSI, as is the behavior
+	when <<NDEBUG>> is defined.
+
+Supporting OS subroutines required (only if enabled): <<close>>, <<fstat>>,
+<<getpid>>, <<isatty>>, <<kill>>, <<lseek>>, <<read>>, <<sbrk>>, <<write>>.
+*/
+
+#include <assert.h>
+#include <stdlib.h>
+#include <stdio.h>
+
+void
+_DEFUN (__assert, (file, line, failedexpr),
+	const char *file _AND
+	int line _AND
+	const char *failedexpr)
+{
+  (void)fiprintf(stderr,
+	"assertion \"%s\" failed: file \"%s\", line %d\n",
+	failedexpr, file, line);
+  abort();
+  /* NOTREACHED */
+}