http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58020
--- Comment #19 from Steve Kargl <sgk at troutmask dot apl.washington.edu> --- On Tue, Nov 05, 2013 at 04:10:00PM +0000, fxcoudert at gcc dot gnu.org wrote: > 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?) There's a long list in F2008, 7.1.11 on what is permitted in a specification expression. Item (10) is (10) a reference to any other standard intrinsic function where each argument is a restricted expression, All intrinsic functions are PURE unless otherwise specifically stated in the description of a given intrinsic function. This differs tremendously from the short list of intrinsic functions that were permitted by F95.
