http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58099
--- Comment #4 from Andrew McLeod <andy at gwentswordclub dot co.uk> --- Hi Janus, I think you should read the part of the standard I quoted again? It clearly specifies that the procedure target may be pure even if the procedure pointer is not (similar to the way that the interface to a PURE procedure may omit the PURE declaration, but not vice versa).
