Fix more warnings
Fix missing noreturn warning