http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58020
--- Comment #20 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> ---
(In reply to Steve Kargl from comment #19)
> (10) a reference to any other standard intrinsic function where each
> argument is a restricted expression
Yes, but the procedures of the intrinsic modules IEEE_* are not themselves
intrinsic procedures (note 14.1 of F2008).
The IEEE_SUPPORT_* functions are allowed under item 9 of the same list
("specification inquiry"), because of item 4.3 on the same page: "A
specification inquiry is a reference to (3) an inquiry function from the
intrinsic modules IEEE ARITHMETIC and IEEE EXCEPTIONS".
But, as I noted, this can be handled by a library-side module. The only tricky
case remaining, I think, is the IEEE_SELECTED_REAL_KIND, which will have to be
specifically handled by the front-end.
