--- ecb.h.orig 2012-10-16 20:30:08 UTC +++ ecb.h @@ -472,8 +472,8 @@ ecb_inline uint64_t ecb_rotr64 (uint64_t #define ecb_unreachable() __builtin_unreachable () #else /* this seems to work fine, but gcc always emits a warning for it :/ */ - ecb_inline void ecb_unreachable (void) ecb_noreturn; - ecb_inline void ecb_unreachable (void) { } + ecb_inline ecb_noreturn void ecb_unreachable (void); + ecb_inline ecb_noreturn void ecb_unreachable (void) { } #endif /* try to tell the compiler that some condition is definitely true */