gryf/wmaker
1
0
Fork 0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-19 12:28:22 +01:00
Code Issues Projects Releases Wiki Activity

WINGs: Added attribute 'noreturn' to public function 'WMScreenMainLoop'

Browse Source 
As suggested by GCC, this function is a good candidate. There is a little
constraint on how to do it however, as it is part of the public API so we
have to do it in a portable fashion (We can't rely on our "config.h" when
the file will have been installed).

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
This commit is contained in:
Christophe CURIS
2013-11-15 18:46:40 +01:00
committed by Carlos R. Mafra
parent 9e90cebc01
commit 4976d48b6f
1 changed files with 23 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
WINGs/WINGs/WINGs.h
View File

@@ -26,7 +26,7 @@
#include <WINGs/WUtil.h>
#include <X11/Xlib.h>
#define WINGS_H_VERSION 20041030
#define WINGS_H_VERSION 20131115
#ifdef __cplusplus
@@ -37,6 +37,22 @@ extern "C" {
#endif
#ifdef __STDC_VERSION__
# if __STDC_VERSION__ >= 201112L
/*
* Ideally, we would like to include the proper header to have 'noreturn' properly
* defined (that's what is done for the rest of the code)
* However, as we're a public API file we can't do that in a portable fashion, so
* we just stick to plain STD C11 keyword
*/
# define _wings_noreturn _Noreturn
# else
# define _wings_noreturn /**/
# endif
#else
#define _wings_noreturn /**/
#endif
typedef unsigned long WMPixel;
@@ -648,7 +664,7 @@ WMScreen* WMCreateScreen(Display *display, int screen);
WMScreen* WMCreateSimpleApplicationScreen(Display *display);
void WMScreenMainLoop(WMScreen *scr);
_wings_noreturn void WMScreenMainLoop(WMScreen *scr);
void WMBreakModalLoop(WMScreen *scr);
@@ -1859,5 +1875,9 @@ void W_setconf_doubleClickDelay(int value);
}
#endif /* __cplusplus */
#endif
/* These definitions are not meant to be seen outside this file */
#undef _wings_noreturn
#endif