public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/45366] New: Problem with abstract interface to PURE function
@ 2010-08-21 12:30 mrestelli at gmail dot com
2010-08-22 10:50 ` [Bug fortran/45366] " janus at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: mrestelli at gmail dot com @ 2010-08-21 12:30 UTC (permalink / raw)
To: gcc-bugs
Hi all,
gfortran refuses the attached code as
pure function i_g(x,p) result(y)
1
Error: Dummy procedure 'p' of PURE procedure at (1) must also be PURE
Notice however that i_f is an abstract interface to a PURE function.
(As a comment, ifort accepts the code.)
module m1
implicit none
abstract interface
pure function i_f(x) result(y)
real, intent(in) :: x
real :: y
end function i_f
end interface
end module m1
module m2
use m1, only: i_f
implicit none
contains
pure function i_g(x,p) result(y)
real, intent(in) :: x
procedure(i_f), pointer, intent(in) :: p
real :: y
y = p(x)
end function i_g
end module m2
--
Summary: Problem with abstract interface to PURE function
Product: gcc
Version: 4.6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: mrestelli at gmail dot com
GCC build triplet: GNU Fortran (GCC) 4.6.0 20100821 (experimental)
GCC host triplet: AMD Turion(tm) 64 Mobile Technology ML-32 AuthenticAMD
GNU/Linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45366
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug fortran/45366] Problem with abstract interface to PURE function
2010-08-21 12:30 [Bug fortran/45366] New: Problem with abstract interface to PURE function mrestelli at gmail dot com
@ 2010-08-22 10:50 ` janus at gcc dot gnu dot org
2010-08-22 11:02 ` burnus at gcc dot gnu dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: janus at gcc dot gnu dot org @ 2010-08-22 10:50 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from janus at gcc dot gnu dot org 2010-08-22 10:50 -------
Confirmed. Thanks for reporting.
--
janus at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |janus at gcc dot gnu dot org
|dot org |
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed|0 |1
Keywords| |rejects-valid
Last reconfirmed|0000-00-00 00:00:00 |2010-08-22 10:50:10
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45366
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug fortran/45366] Problem with abstract interface to PURE function
2010-08-21 12:30 [Bug fortran/45366] New: Problem with abstract interface to PURE function mrestelli at gmail dot com
2010-08-22 10:50 ` [Bug fortran/45366] " janus at gcc dot gnu dot org
@ 2010-08-22 11:02 ` burnus at gcc dot gnu dot org
2010-08-22 11:10 ` janus at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: burnus at gcc dot gnu dot org @ 2010-08-22 11:02 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from burnus at gcc dot gnu dot org 2010-08-22 11:02 -------
Note: The ABSTRACT, the INTERFACE (vs. host-association), and the
use-association of i_f do not seem to play a role.
In particular for p:
sym->attr.pure == 0
sym->attr.proc_pointer == 1
sym->ts.interface->attr.pure == 1
The problems seems to be that resolve_symbol is called later than the
resolve_formal_arglist check for pureness, i.e. one first checks whether "p" is
pure before one copies the attr.pure from ts.interface->attr.pure - which
explains the failure.
I leave the fixing to Janus.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45366
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug fortran/45366] Problem with abstract interface to PURE function
2010-08-21 12:30 [Bug fortran/45366] New: Problem with abstract interface to PURE function mrestelli at gmail dot com
2010-08-22 10:50 ` [Bug fortran/45366] " janus at gcc dot gnu dot org
2010-08-22 11:02 ` burnus at gcc dot gnu dot org
@ 2010-08-22 11:10 ` janus at gcc dot gnu dot org
2010-08-23 12:27 ` [Bug fortran/45366] Problem with procedure pointer dummy in " janus at gcc dot gnu dot org
2010-08-23 12:29 ` janus at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: janus at gcc dot gnu dot org @ 2010-08-22 11:10 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from janus at gcc dot gnu dot org 2010-08-22 11:10 -------
(In reply to comment #2)
> The problems seems to be that resolve_symbol is called later than the
> resolve_formal_arglist check for pureness, i.e. one first checks whether "p" is
> pure before one copies the attr.pure from ts.interface->attr.pure - which
> explains the failure.
Exactly. I'm regtesting a patch right now.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45366
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug fortran/45366] Problem with procedure pointer dummy in PURE function
2010-08-21 12:30 [Bug fortran/45366] New: Problem with abstract interface to PURE function mrestelli at gmail dot com
` (2 preceding siblings ...)
2010-08-22 11:10 ` janus at gcc dot gnu dot org
@ 2010-08-23 12:27 ` janus at gcc dot gnu dot org
2010-08-23 12:29 ` janus at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: janus at gcc dot gnu dot org @ 2010-08-23 12:27 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from janus at gcc dot gnu dot org 2010-08-23 12:26 -------
Subject: Bug 45366
Author: janus
Date: Mon Aug 23 12:26:42 2010
New Revision: 163468
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=163468
Log:
2010-08-23 Janus Weil <janus@gcc.gnu.org>
PR fortran/45366
* resolve.c (resolve_procedure_interface): New function split off from
'resolve_symbol'.
(resolve_formal_arglist): Call it here ...
(resolve_symbol): ... and here.
2010-08-23 Janus Weil <janus@gcc.gnu.org>
PR fortran/45366
* gfortran.dg/proc_ptr_29.f90: New.
Added:
trunk/gcc/testsuite/gfortran.dg/proc_ptr_29.f90
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/resolve.c
trunk/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45366
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug fortran/45366] Problem with procedure pointer dummy in PURE function
2010-08-21 12:30 [Bug fortran/45366] New: Problem with abstract interface to PURE function mrestelli at gmail dot com
` (3 preceding siblings ...)
2010-08-23 12:27 ` [Bug fortran/45366] Problem with procedure pointer dummy in " janus at gcc dot gnu dot org
@ 2010-08-23 12:29 ` janus at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: janus at gcc dot gnu dot org @ 2010-08-23 12:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from janus at gcc dot gnu dot org 2010-08-23 12:29 -------
Fixed with r163468. Closing.
--
janus at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Known to fail| |4.4.3 4.5.2 4.6.0
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45366
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2010-08-23 12:29 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-08-21 12:30 [Bug fortran/45366] New: Problem with abstract interface to PURE function mrestelli at gmail dot com
2010-08-22 10:50 ` [Bug fortran/45366] " janus at gcc dot gnu dot org
2010-08-22 11:02 ` burnus at gcc dot gnu dot org
2010-08-22 11:10 ` janus at gcc dot gnu dot org
2010-08-23 12:27 ` [Bug fortran/45366] Problem with procedure pointer dummy in " janus at gcc dot gnu dot org
2010-08-23 12:29 ` janus at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).