Print warning for a function that is marked noreturn but can return.