This function attribute informs the compiler that the function
does not return. The compiler can then perform optimizations by
removing the code that is never reached.
Note
This function attribute is a GNU compiler extension that the
ARM compiler supports. It has the __declspec equivalent __declspec(noreturn).
However, __attribute((noreturn)) and __declspec(noreturn) differ
in that when compiling a function definition, if the function reaches an
explicit or implicit return, __attribute((noreturn)) is
ignored and the compiler generates a warning. This does not apply
to __declspec(noreturn).
Example
int Function_Attributes_NoReturn_0(void) __attribute__((noreturn));