patch/ubsan/ubsan_test.patch

diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c
index 8c5ba6f2e..21ed3b686 100644
--- a/bl31/bl31_main.c
+++ b/bl31/bl31_main.c
@@ -112,6 +112,19 @@ void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2,
 	report_ctx_memory_usage();
 }
 
+/*
+ * UBSAN test function. This is used to test whether CI handles undefined
+ * behaviour errors correctly.
+ */
+#include <limits.h>
+
+static int ubsan_test_add_overflow(void)
+{
+	static int32_t val = INT_MAX;
+	val += 0x1;
+	return val;
+}
+
 /*******************************************************************************
  * BL31 is responsible for setting up the runtime services for the primary cpu
  * before passing control to the bootloader or an Operating System. This
@@ -224,6 +237,10 @@ void bl31_main(void)
 
 	console_flush();
 	console_switch_state(CONSOLE_FLAG_RUNTIME);
+
+	/* Run UBSAN Test */
+	INFO("BL31: Running UBSAN test\n");
+	ubsan_test_add_overflow();
 }
 
 /*******************************************************************************