http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58020
--- Comment #18 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> --- (In reply to Francois-Xavier Coudert from comment #17) > IEEE_SUPPORT_* functions are allowed in specification expressions On second thought, I think we can handle these on the library side (PURE functions in modules are allowed in specification expressions, right?)