[Bug fortran/51970] [OOP] gimplification failed for polymorphic MOVE_ALLOC

[dominiq at lps dot ens.fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51970

--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-01-24 22:35:43 UTC ---
The patch attached to comment #4 + the "hack" let the test compile without
error (although I don't know if it is valid). I have noticed the following
changes:

For 51948, before the patch I had two errors

[macbook] f90/bug% gfc pr51948.f90
pr51948.f90:14.24:

    call move_alloc (x, func)
                        1
Error: 'to' argument of 'move_alloc' intrinsic at (1) must be a variable
pr51948.f90:7.24:

    call move_alloc (x, func)
                        1
Error: the 'from' and 'to' arguments of 'move_alloc' intrinsic at (1) must have
the same rank 0/1

After the patch I have only one

[macbook] f90/bug% gfc pr51948.f90
pr51948.f90:14.24:

    call move_alloc (x, func)
                        1
Error: 'to' argument of 'move_alloc' intrinsic at (1) must be a variable

For another avatar and the test in pr51977, the error is replaced by an ICE:
before the patch

[macbook] f90/bug% gfc pr51948_db_1.f90
pr51948_db_1.f90:7.24:

    call move_alloc (x, func)
                        1
Error: the 'from' and 'to' arguments of 'move_alloc' intrinsic at (1) must have
the same rank 0/1

after the patch

[macbook] f90/bug% gfc pr51948_db_1.f90
pr51948_db_1.f90: In function 'func':
pr51948_db_1.f90:9:0: internal compiler error: in fold_convert_loc, at
fold-const.c:2016