--- old/src/share/vm/utilities/globalDefinitions.hpp	2015-04-15 12:34:22.421973872 +0200
+++ new/src/share/vm/utilities/globalDefinitions.hpp	2015-04-15 12:34:22.265968627 +0200
@@ -1422,6 +1422,8 @@
   return *(void**)addr;
 }
 
+NORETURN_ATTRIBUTE(void noreturn_function());
+
 #ifndef PRODUCT
 
 // For unit testing only