I guess `__attribute__((noreturn))` is a better way to express that a function does not return.