patch/ubsan/ubsan_test.patch

diff --git i/bl31/bl31_main.c w/bl31/bl31_main.c
index bf870a392..65eb3b8f2 100644
--- i/bl31/bl31_main.c
+++ w/bl31/bl31_main.c
@@ -94,6 +94,19 @@ static void __init bl31_lib_init(void)
 	cm_init();
 }
 
+/*
+ * 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
@@ -235,6 +248,10 @@ void __no_pauth bl31_main(u_register_t arg0, u_register_t arg1, u_register_t arg
 
 	console_flush();
 	console_switch_state(CONSOLE_FLAG_RUNTIME);
+
+	/* Run UBSAN Test */
+	INFO("BL31: Running UBSAN test\n");
+	ubsan_test_add_overflow();
 }
 
 void __no_pauth bl31_warmboot(void)