http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58099
janus at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |rejects-valid
Status|RESOLVED |NEW
Last reconfirmed| |2013-08-07
Resolution|INVALID |---
Summary|[F03] over-zealous |[4.8/4.9 Regression] [F03]
|procedure pointer error |over-zealous
|checking in gfortran 4.8 |procedure-pointer error
| |checking
Ever confirmed|0 |1
--- Comment #5 from janus at gcc dot gnu.org ---
Hi Andrew,
> 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
sorry, I did not read your comment before submitting mine. And I think you're
right: Indeed it seems to be permitted by F03 (btw the same wording is given in
the F08 standard in section 7.2.2.4).
So, correcting my statement in comment 3: All three assignments are supposed to
be valid. Also this is a regression in 4.8 (as 4.7 compiles the test case
without errror).
Thanks for checking the standard and correcting me. I will take care of fixing
this ...
