except: mark errno_error::throw_code as noreturn

This commit is contained in:
Danny Robson 2015-08-10 15:43:12 +10:00
parent fa9fac1d92
commit a4b3d1b460

View File

@ -57,8 +57,8 @@ namespace util {
static void try_code (void);
static void try_code (int code);
static void throw_code (void);
static void throw_code (int code);
static void throw_code [[gnu::noreturn]] (void);
static void throw_code [[gnu::noreturn]] (int code);
};
}