__attribute__ noreturn

mmdev

This attribute tells the compiler that the function won't ever return, and this can be used to suppress errors about code paths not being reached. The C library functions abort() and exit() are both declared with this attribute:
extern void exit(int)   __attribute__((noreturn));extern void abort(void) __attribute__((noreturn));Once tagged this way, the compiler can keep track of paths through the code and suppress errors that won't ever happen due to the flow of control never returning after the function call.
In this example, two nearly-identical C source files refer to an "exitnow()" function that never returns, but without the __attribute__ tag, the compiler issues a warning. The compiler is correct here, because it has no way of knowing that control doesn't return.
$ cat test1.cextern void exitnow();int foo(int n){        if ( n > 0 ){                exitnow();/* control never reaches this point */}        else                return 0;}$ cc -c -Wall test1.ctest1.c: In function `foo':test1.c:9: warning: this function may return with or without a valueBut when we add __attribute__, the compiler suppresses the spurious warning:
$ cat test2.cextern void exitnow() __attribute__((noreturn));int foo(int n){        if ( n > 0 )                exitnow();        else                return 0;}$ cc -c -Wall test2.cno warnings!