http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41733
--- Comment #4 from janus at gcc dot gnu.org 2011-09-15 19:47:21 UTC --- Also we need to check for the following F08 constraints: "12.5.2.9 Actual arguments associated with dummy procedure entities If the interface of a dummy procedure is explicit, its characteristics as a procedure (12.3.1) shall be the same as those of its effective argument, except that a pure effective argument may be associated with a dummy argument that is not pure and an elemental intrinsic actual procedure may be associated with a dummy procedure (which cannot be elemental)." and "7.2.2.4 Procedure pointer assignment 3 If the pointer object has an explicit interface, its characteristics shall be the same as the pointer target except that the pointer target may be pure even if the pointer object is not pure and the pointer target may be an elemental intrinsic procedure even if the pointer object is not elemental."
