@@ -160,10 +160,11 @@
 
 + (void)terminateWithStatus: (int)status
 {
 #ifdef _PSP
 	sceKernelExitGame();
+	abort();	/* sceKernelExitGame() is not marked noreturn */
 #else
 	exit(status);
 #endif
 }