public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/56808] New: Coarray: Wrongly accepts coindexed arguments to INTENT(OUT) dummies
@ 2013-04-02 8:02 burnus at gcc dot gnu.org
2013-04-02 8:07 ` [Bug fortran/56808] " burnus at gcc dot gnu.org
2015-10-20 17:05 ` dominiq at lps dot ens.fr
0 siblings, 2 replies; 3+ messages in thread
From: burnus at gcc dot gnu.org @ 2013-04-02 8:02 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56808
Bug #: 56808
Summary: Coarray: Wrongly accepts coindexed arguments to
INTENT(OUT) dummies
Classification: Unclassified
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Keywords: accepts-invalid
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: burnus@gcc.gnu.org
Found at
https://groups.google.com/forum/?fromgroups=#!topic/comp.lang.fortran/-oUZRIdRCcg
For obvious reasons, the following is invalid, but it is accepted:
"If the actual argument is a coindexed object with an allocatable ultimate
component, the dummy argument shall have the INTENT (IN) or the VALUE
attribute." (12.5.2.4 Ordinary dummy variables)
real(kind=4),allocatable :: grt(:,:,:)[:,:,:]
call cgca_rt(grt(i,:,:)[1,1,1])
contains
subroutine cgca_rt(r)
real(kind=4),intent(out) :: r(3,3)
end
end
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug fortran/56808] Coarray: Wrongly accepts coindexed arguments to INTENT(OUT) dummies
2013-04-02 8:02 [Bug fortran/56808] New: Coarray: Wrongly accepts coindexed arguments to INTENT(OUT) dummies burnus at gcc dot gnu.org
@ 2013-04-02 8:07 ` burnus at gcc dot gnu.org
2015-10-20 17:05 ` dominiq at lps dot ens.fr
1 sibling, 0 replies; 3+ messages in thread
From: burnus at gcc dot gnu.org @ 2013-04-02 8:07 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56808
Tobias Burnus <burnus at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |burnus at gcc dot gnu.org
--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-04-02 08:06:54 UTC ---
Actually, that example is probably okay. Steven Lionel wrote:
"But reading this I wonder if it's intended to mean actual arguments of derived
type with allocatable components, rather than a regular allocatable array,
since there's no issue of making copies of subcomponents here. Let me discuss
it with my
team here."
However, the following code should be invalid (due to the implicit deallocating
the allocatable component *on the remote image*):
type t
integer, allocatable :: x
end type t
class(t), allocatable :: x[:]
call bar(x[1]) ! <<< Wrongly accepted.
! call foo(x[1]) ! OK: Rejected coindexed polymorphic -> polymorphic not
allowed
contains
subroutine bar(r)
type(t) :: r
end
subroutine foo(r)
class(t) :: r
end
end
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug fortran/56808] Coarray: Wrongly accepts coindexed arguments to INTENT(OUT) dummies
2013-04-02 8:02 [Bug fortran/56808] New: Coarray: Wrongly accepts coindexed arguments to INTENT(OUT) dummies burnus at gcc dot gnu.org
2013-04-02 8:07 ` [Bug fortran/56808] " burnus at gcc dot gnu.org
@ 2015-10-20 17:05 ` dominiq at lps dot ens.fr
1 sibling, 0 replies; 3+ messages in thread
From: dominiq at lps dot ens.fr @ 2015-10-20 17:05 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56808
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2015-10-20
Ever confirmed|0 |1
--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Both tests are accepted at revision r229079 (trunk 6.0).
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2015-10-20 17:05 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-04-02 8:02 [Bug fortran/56808] New: Coarray: Wrongly accepts coindexed arguments to INTENT(OUT) dummies burnus at gcc dot gnu.org
2013-04-02 8:07 ` [Bug fortran/56808] " burnus at gcc dot gnu.org
2015-10-20 17:05 ` dominiq at lps dot ens.fr
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).