[Bug fortran/99183] New: Incompatible Runtime types

[Bug fortran/99183] New: Incompatible Runtime types

[drikosev at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99183

            Bug ID: 99183
           Summary: Incompatible Runtime types
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: drikosev at gmail dot com
  Target Milestone: ---

Having post a question in c.l.f I was informed that the program below is
invalid but gfortran accepts it (several versions). This is the question:
https://groups.google.com/g/comp.lang.fortran/c/jWHX3kJMeYY/m/4IMgy19hDgAJ

Hope it isn't a duplicate!

$ gfortran8 dream-casting.f90 && ./a.out
 allocated    x = d1(ind=1,i=1)
 allocated    v = d2(ind=2,j=2)
 assigned v = x,  now v%ind=           1 j=           1
$ cat dream-casting.f90
program test
    implicit none

  type :: d0
    integer :: ind
  end type d0

  type, extends(d0) :: d1
    integer :: i
  end type d1

  type, extends(d0) :: d2
    integer :: j
  end type d2

  class(d1),      allocatable :: x
  class(d2),      allocatable :: v

  allocate ( x ,    source = d1(1,1))
  print *, "allocated    x = d1(ind=1,i=1)"

  allocate ( v ,    source = d2(2,2))
  print *, "allocated    v = d2(ind=2,j=2)"

  v = x
  print *, "assigned v = x,  now v%ind=", v%ind, "j=", v%j

end program test

[Bug fortran/99183] Incompatible Runtime types

[drikosev at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99183

--- Comment #1 from Ev Drikos <drikosev at gmail dot com> ---

It turns out that the title isn't very accurate. It's a compile time error!

Ev. Drikos

[Bug fortran/99183] Incompatible Runtime types

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99183

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
           Priority|P3                          |P4
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-03-27

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Fortran 7.5.0 gives the error

   v = x
      1
Error: Can't convert CLASS(d1) to CLASS(d2) at (1)

but the code is accepted since GCC8.

So the pr seems a 8/9/10/11 regression.

[Bug fortran/99183] [9/10/11 Regression] Incompatible Runtime types

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99183

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Incompatible Runtime types  |[9/10/11 Regression]
                   |                            |Incompatible Runtime types

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
This seems to have been fixed between r12-4097 and r12-4638.

[Bug fortran/99183] [9/10/11 Regression] Incompatible Runtime types

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99183

--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> This seems to have been fixed between r12-4097 and r12-4638.

Duplicate of pr102745, fixed by r12-4464?

[Bug fortran/99183] [9/10/11 Regression] Incompatible Runtime types

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99183

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|unknown                     |11.1.0
   Target Milestone|---                         |9.5

[Bug fortran/99183] [10/11 Regression] Incompatible Runtime types

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99183

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug fortran/99183] [10/11 Regression] Incompatible Runtime types

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99183

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug fortran/99183] [11 Regression] Incompatible Runtime types

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99183

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.5

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.

[Bug fortran/99183] [11 Regression] Incompatible Runtime types

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99183

Paul Thomas <pault at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pault at gcc dot gnu.org

--- Comment #8 from Paul Thomas <pault at gcc dot gnu.org> ---
(In reply to Dominique d'Humieres from comment #4)
> > This seems to have been fixed between r12-4097 and r12-4638.
> 
> Duplicate of pr102745, fixed by r12-4464?

Yes, indeed. It applies cleanly to 11-branch and fixes the problem.

As soon as regtesting is finished, I will push and close.

Cheers

Paul

[Bug fortran/99183] [11 Regression] Incompatible Runtime types

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99183

Paul Thomas <pault at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #9 from Paul Thomas <pault at gcc dot gnu.org> ---

> As soon as regtesting is finished, I will push and close.
> 
> Cheers
> 
> Paul

The original PR for this was 102745, which was also fixed on 11-branch :-)

Closing as RESOLVED/FIXED

Paul