| … | |
… | |
| 146 | | ((x << 8) & 0x00ff0000) |
146 | | ((x << 8) & 0x00ff0000) |
| 147 | | (x << 24); |
147 | | (x << 24); |
| 148 | } |
148 | } |
| 149 | #endif |
149 | #endif |
| 150 | |
150 | |
| 151 | ECB_HEADER_INLINE void ecb_unreachable (void) ecb_attribute ((noreturn)); |
151 | ECB_HEADER_INLINE void ecb_unreachable (void) ecb_noreturn; |
| 152 | #if ECB_GCC_VERSION(4,5) |
152 | #if ECB_GCC_VERSION(4,5) |
| 153 | ECB_HEADER_INLINE void ecb_unreachable (void) { __builtin_unreachable (); } |
153 | ECB_HEADER_INLINE void ecb_unreachable (void) { __builtin_unreachable (); } |
| 154 | #else |
154 | #else |
| 155 | /* this seems to work fine, but gcc always emits a warning for it :/ */ |
155 | /* this seems to work fine, but gcc always emits a warning for it :/ */ |
| 156 | ECB_HEADER_INLINE void ecb_unreachable (void) { } |
156 | ECB_HEADER_INLINE void ecb_unreachable (void) { } |
