public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/51948] New: [OOP] Rejects valid: Polymorphic arguments in MOVE_ALLOC
@ 2012-01-22 17:55 burnus at gcc dot gnu.org
2012-01-23 12:00 ` [Bug fortran/51948] [4.6/4.7 Regression][OOP] Rejects valid: Function result value in MOVE_ALLOC, nested in SELECT TYPE burnus at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: burnus at gcc dot gnu.org @ 2012-01-22 17:55 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51948
Bug #: 51948
Summary: [OOP] Rejects valid: Polymorphic arguments in
MOVE_ALLOC
Classification: Unclassified
Product: gcc
Version: 4.7.0
Status: UNCONFIRMED
Keywords: rejects-valid
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: burnus@gcc.gnu.org
The following fails at move_alloc with bogus errors. The second example is
based on the example from
chapter09/burgers_factory_f2003/periodic_6th_order.F90 in the book
http://www.cambridge.org/rouson
type t
end type t
contains
function func(x)
class(t), allocatable :: x(:), func(:)
call move_alloc (x, func)
! FAILS: Error: the 'from' and 'to' arguments of 'move_alloc' intrinsic at (1)
must have the same rank 0/1
end function
function func2(x)
type(t), allocatable :: x
class(t), allocatable :: func2
call move_alloc (x, func)
! FAILS: Error: 'to' argument of 'move_alloc' intrinsic at (1) must be a
variable
end function
end
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug fortran/51948] [4.6/4.7 Regression][OOP] Rejects valid: Function result value in MOVE_ALLOC, nested in SELECT TYPE
2012-01-22 17:55 [Bug fortran/51948] New: [OOP] Rejects valid: Polymorphic arguments in MOVE_ALLOC burnus at gcc dot gnu.org
@ 2012-01-23 12:00 ` burnus at gcc dot gnu.org
2012-01-23 20:57 ` burnus at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: burnus at gcc dot gnu.org @ 2012-01-23 12:00 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51948
Tobias Burnus <burnus at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.6.3
Summary|[OOP] Rejects valid: |[4.6/4.7 Regression][OOP]
|Polymorphic arguments in |Rejects valid: Function
|MOVE_ALLOC |result value in MOVE_ALLOC,
| |nested in SELECT TYPE
--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-01-23 11:43:18 UTC ---
The second example is wrong - and it works after fixing it: s/func/func2/.
This program compiles with GCC 4.5 (and fails with 4.6/4.7) - thus, I marked
the PR as regression.
Better example (still based on periodic_6th_order.F90). The SELECT TYPE is
crucial, a simple ASSOCIATE or BLOCK won't do:
call move_alloc (x, func)
1
Error: 'to' argument of 'move_alloc' intrinsic at (1) must be a variable
The program
type :: t
end type t
contains
function func(x, y)
class(t) :: y ! Dummy variable
type(t), allocatable :: func ! Can also be CLASS
type(t), allocatable :: x ! Can also be CLASS
! call move_alloc (x, func) ! <<< Works
select type (y)
type is(t)
call move_alloc (x, func) ! << Error (but no select variable involved)
end select
end function
end
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug fortran/51948] [4.6/4.7 Regression][OOP] Rejects valid: Function result value in MOVE_ALLOC, nested in SELECT TYPE
2012-01-22 17:55 [Bug fortran/51948] New: [OOP] Rejects valid: Polymorphic arguments in MOVE_ALLOC burnus at gcc dot gnu.org
2012-01-23 12:00 ` [Bug fortran/51948] [4.6/4.7 Regression][OOP] Rejects valid: Function result value in MOVE_ALLOC, nested in SELECT TYPE burnus at gcc dot gnu.org
@ 2012-01-23 20:57 ` burnus at gcc dot gnu.org
2012-01-23 22:06 ` burnus at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: burnus at gcc dot gnu.org @ 2012-01-23 20:57 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51948
--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-01-23 20:38:27 UTC ---
Author: burnus
Date: Mon Jan 23 20:38:23 2012
New Revision: 183453
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183453
Log:
2012-01-23 Tobias Burnus <burnus@net-b.de>
PR fortran/51948
* check.c (variable_check): Fix checking for
result variables and deeply nested BLOCKs.
2012-01-23 Tobias Burnus <burnus@net-b.de>
PR fortran/51948
* gfortran.dg/move_alloc_12.f90: New.
Added:
trunk/gcc/testsuite/gfortran.dg/move_alloc_12.f90
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/check.c
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug fortran/51948] [4.6/4.7 Regression][OOP] Rejects valid: Function result value in MOVE_ALLOC, nested in SELECT TYPE
2012-01-22 17:55 [Bug fortran/51948] New: [OOP] Rejects valid: Polymorphic arguments in MOVE_ALLOC burnus at gcc dot gnu.org
2012-01-23 12:00 ` [Bug fortran/51948] [4.6/4.7 Regression][OOP] Rejects valid: Function result value in MOVE_ALLOC, nested in SELECT TYPE burnus at gcc dot gnu.org
2012-01-23 20:57 ` burnus at gcc dot gnu.org
@ 2012-01-23 22:06 ` burnus at gcc dot gnu.org
2012-01-24 9:06 ` burnus at gcc dot gnu.org
2012-01-24 9:07 ` burnus at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: burnus at gcc dot gnu.org @ 2012-01-23 22:06 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51948
Tobias Burnus <burnus at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |FIXED
--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-01-23 21:17:26 UTC ---
FIXED.
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug fortran/51948] [4.6/4.7 Regression][OOP] Rejects valid: Function result value in MOVE_ALLOC, nested in SELECT TYPE
2012-01-22 17:55 [Bug fortran/51948] New: [OOP] Rejects valid: Polymorphic arguments in MOVE_ALLOC burnus at gcc dot gnu.org
` (2 preceding siblings ...)
2012-01-23 22:06 ` burnus at gcc dot gnu.org
@ 2012-01-24 9:06 ` burnus at gcc dot gnu.org
2012-01-24 9:07 ` burnus at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: burnus at gcc dot gnu.org @ 2012-01-24 9:06 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51948
Tobias Burnus <burnus at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |burnus at gcc dot gnu.org
--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-01-24 08:13:34 UTC ---
(In reply to comment #3)
> FIXED.
Well, the first part of comment 0 is not. I filled a new bug for for it: PR
51977.
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug fortran/51948] [4.6/4.7 Regression][OOP] Rejects valid: Function result value in MOVE_ALLOC, nested in SELECT TYPE
2012-01-22 17:55 [Bug fortran/51948] New: [OOP] Rejects valid: Polymorphic arguments in MOVE_ALLOC burnus at gcc dot gnu.org
` (3 preceding siblings ...)
2012-01-24 9:06 ` burnus at gcc dot gnu.org
@ 2012-01-24 9:07 ` burnus at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: burnus at gcc dot gnu.org @ 2012-01-24 9:07 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51948
--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-01-24 08:35:15 UTC ---
Author: burnus
Date: Tue Jan 24 08:35:10 2012
New Revision: 183469
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183469
Log:
2012-01-24 Tobias Burnus <burnus@net-b.de>
PR fortran/51948
* check.c (variable_check): Fix checking for
result variables and deeply nested BLOCKs.
2012-01-24 Tobias Burnus <burnus@net-b.de>
PR fortran/51948
* gfortran.dg/move_alloc_12.f90: New.
Added:
branches/gcc-4_6-branch/gcc/testsuite/gfortran.dg/move_alloc_12.f90
Modified:
branches/gcc-4_6-branch/gcc/fortran/ChangeLog
branches/gcc-4_6-branch/gcc/fortran/check.c
branches/gcc-4_6-branch/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2012-01-24 8:35 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-01-22 17:55 [Bug fortran/51948] New: [OOP] Rejects valid: Polymorphic arguments in MOVE_ALLOC burnus at gcc dot gnu.org
2012-01-23 12:00 ` [Bug fortran/51948] [4.6/4.7 Regression][OOP] Rejects valid: Function result value in MOVE_ALLOC, nested in SELECT TYPE burnus at gcc dot gnu.org
2012-01-23 20:57 ` burnus at gcc dot gnu.org
2012-01-23 22:06 ` burnus at gcc dot gnu.org
2012-01-24 9:06 ` burnus at gcc dot gnu.org
2012-01-24 9:07 ` burnus at gcc dot gnu.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).