1
0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-19 20:38:08 +01:00

Use noreturn attribute in Exit() declaration.

Use the gcc-specific noreturn attribute to advise the compiler that
Exit() doesn't return.  This is safe because we already use preprocessor
rules to hide __attribute__ from other compilers.

Suggested independently by Christophe Curis and Brad Jorsch.
This commit is contained in:
Iain Patterson
2012-04-10 10:55:26 +01:00
committed by Carlos R. Mafra
parent bca60318ca
commit b3afad67ff

View File

@@ -35,7 +35,7 @@ void Shutdown(WShutdownMode mode);
void RestoreDesktop(WScreen *scr);
void Exit(int status);
void Exit(int status) __attribute__((noreturn));
void Restart(char *manager, Bool abortOnFailure);