Adding the noreturn attribute where applicable.