Why does “noreturn” function return?

Question

I read this question about noreturn attribute, which is used for functions that don\'t return to the caller.

Then I have made a program in C.

Answer 1

According to this

If the function declared _Noreturn returns, the behavior is undefined. A compiler diagnostic is recommended if this can be detected.

It is the programmer's responsibility to make sure that this function never returns, e.g. exit(1) at the end of the function.