Browse Source

Add noreturn attribute to die().

Georgi Chorbadzhiyski 9 years ago
parent
commit
2132b899fe
1 changed files with 3 additions and 1 deletions
  1. 3
    1
      util.h

+ 3
- 1
util.h View File

31
 #define p_dbg2(fmt, ...) \
31
 #define p_dbg2(fmt, ...) \
32
 	do { if (DEBUG > 1) p_info(fmt, __VA_ARGS__); } while(0)
32
 	do { if (DEBUG > 1) p_info(fmt, __VA_ARGS__); } while(0)
33
 
33
 
34
-__attribute__ ((format(printf, 1, 2))) void die(const char *fmt, ...);
34
+__attribute__ ((format(printf, 1, 2)))
35
+__attribute__ ((noreturn))
36
+void die(const char *fmt, ...);
35
 
37
 
36
 __attribute__ ((format(printf, 1, 2))) void p_err(const char *fmt, ...);
38
 __attribute__ ((format(printf, 1, 2))) void p_err(const char *fmt, ...);
37
 __attribute__ ((format(printf, 1, 2))) void p_info(const char *fmt, ...);
39
 __attribute__ ((format(printf, 1, 2))) void p_info(const char *fmt, ...);

Loading…
Cancel
Save