diff --git a/include/common/bug.h b/include/common/bug.h
index 462291104..bacbf566b 100644
--- a/include/common/bug.h
+++ b/include/common/bug.h
@@ -24,6 +24,7 @@
 			pr_err("BUG at %s:%d\n", __FILE__, __LINE__);			\
 			__raise();							\
 			*(volatile unsigned long *)NULL = 0xdead0000 + __LINE__;	\
+			__builtin_unreachable();					\
 		}									\
 	} while (0)
 #else