Here's a smaller test case: static __inline__ __attribute__ ((always_inline)) int page_mapping (unsigned flags) { if (1u & (flags >> 16)) return 1; return 0; } void install_page (unsigned flags) { if (__builtin_expect (!page_mapping (flags), 0)) __builtin_trap (); }
-- Falk