http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52555
--- Comment #9 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2013-02-07 23:24:42 UTC --- Further reduced testcase, reproducible on both C and C++: float farg; unsigned val; void __attribute__((optimize("O"))) test() { val = __builtin_ceilf(farg); }