Fix some warnings caused by lack of noreturn