From dc821ca96155121a2aa47b9d67aa4dc95d5068f4 Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@ipxe.org>
Date: Fri, 14 Oct 2011 13:32:36 +0100
Subject: [PATCH] [libc] Allow assertion failures to be counted

Signed-off-by: Michael Brown <mcb30@ipxe.org>
---
 src/core/assert.c    | 30 ++++++++++++++++++++++++++++++
 src/include/assert.h |  3 +++
 2 files changed, 33 insertions(+)
 create mode 100644 src/core/assert.c

diff --git a/src/core/assert.c b/src/core/assert.c
new file mode 100644
index 000000000..45d3b9b7f
--- /dev/null
+++ b/src/core/assert.c
@@ -0,0 +1,30 @@
+/*
+ * Copyright (C) 2011 Michael Brown <mbrown@fensystems.co.uk>.
+ *
+ * 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 2 of the
+ * License, or 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, write to the Free Software
+ * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ */
+
+FILE_LICENCE ( GPL2_OR_LATER );
+
+/** @file
+ *
+ * Assertions
+ *
+ */
+
+#include <assert.h>
+
+/** Number of assertion failures triggered */
+unsigned int assertion_failures = 0;
diff --git a/src/include/assert.h b/src/include/assert.h
index 40a00a2b1..655cbdc03 100644
--- a/src/include/assert.h
+++ b/src/include/assert.h
@@ -18,6 +18,8 @@ FILE_LICENCE ( GPL2_OR_LATER );
 #define ASSERTING 1
 #endif
 
+extern unsigned int assertion_failures;
+
 /** printf() for assertions
  *
  * This function exists so that the assert() macro can expand to
@@ -43,6 +45,7 @@ assert_printf ( const char *fmt, ... ) asm ( "printf" );
 #define assert( condition ) 						     \
 	do { 								     \
 		if ( ASSERTING && ! (condition) ) { 			     \
+			assertion_failures++;				     \
 			assert_printf ( "assert(%s) failed at %s line %d\n", \
 					#condition, __FILE__, __LINE__ );    \
 		} 							     \