[Bug fortran/95338] New: [9/10/11 Regression] ICE in eliminate_stmt, at tree-ssa-sccvn.c:5974

[Bug fortran/95338] New: [9/10/11 Regression] ICE in eliminate_stmt, at tree-ssa-sccvn.c:5974

[gscfq@t-online.de]

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

            Bug ID: 95338
           Summary: [9/10/11 Regression] ICE in eliminate_stmt, at
                    tree-ssa-sccvn.c:5974
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Changed between 20181202 and 20181209, with option -O1 :


$ cat z1.f90
module m
contains
   function f(x)
      integer :: x
      integer :: f
      real :: g
      f = x
      return
   entry g(x)
      g = x
   end
end
program p
   use m
   print *, f(1)
   print *, g(1)
end


$ gfortran-11-20200524 -c z1.f90 -O2 -ff2c
$
$ gfortran-11-20200524 -c z1.f90 -O1 -ff2c
during GIMPLE pass: fre
z1.f90:6:0:

    6 |       real :: g
      |
internal compiler error: in eliminate_stmt, at tree-ssa-sccvn.c:5974
0xd40f45 eliminate_dom_walker::eliminate_stmt(basic_block_def*,
gimple_stmt_iterator*)
        ../../gcc/tree-ssa-sccvn.c:5974
0xd45a90 process_bb
        ../../gcc/tree-ssa-sccvn.c:7173
0xd46fe1 do_rpo_vn
        ../../gcc/tree-ssa-sccvn.c:7657
0xd47f8a execute
        ../../gcc/tree-ssa-sccvn.c:7811



Configured with --enable-checking=yes :

$ gfortran-11-20200524 -c z1.f90 -O1 -ff2c
z1.f90:6:0:

    6 |       real :: g
      |
Error: non-trivial conversion in 'component_ref'
real(kind=8)
real(kind=4)
D.3943 = __result.g;
z1.f90:6:0: internal compiler error: 'verify_gimple' failed
0xd9b27d verify_gimple_in_seq(gimple*)
        ../../gcc/tree-cfg.c:5113
0xa526b1 gimplify_body(tree_node*, bool)
        ../../gcc/gimplify.c:14919
0xa52967 gimplify_function_tree(tree_node*)
        ../../gcc/gimplify.c:14990
0x88d9e7 cgraph_node::analyze()
        ../../gcc/cgraphunit.c:671
0x890e21 analyze_functions
        ../../gcc/cgraphunit.c:1231
0x892042 symbol_table::finalize_compilation_unit()
        ../../gcc/cgraphunit.c:2975

[Bug fortran/95338] [9/10/11 Regression] ICE non-trivial conversion in component_ref

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Target Milestone|---                         |9.4
   Last reconfirmed|                            |2020-05-27
     Ever confirmed|0                           |1
           Priority|P3                          |P4
            Summary|[9/10/11 Regression] ICE in |[9/10/11 Regression] ICE
                   |eliminate_stmt, at          |non-trivial conversion in
                   |tree-ssa-sccvn.c:5974       |component_ref

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Looks like FE wrong-code.

Error: non-trivial conversion in ?component_ref?
real(kind=8)
real(kind=4)
D.3943 = __result.g;

so the FE outputs an assignment from float to double without the appropriate
conversion.  Confirmed.

[Bug fortran/95338] [9/10/11 Regression] ICE non-trivial conversion in component_ref

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

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

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
All releases I have (4.8.0) fail in verifier:

Error: non-trivial conversion in ‘component_ref’
real(kind=8)
real(kind=4)

[Bug fortran/95338] [9/10/11/12 Regression] ICE non-trivial conversion in component_ref

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9.4 is being released, retargeting bugs to GCC 9.5.

[Bug fortran/95338] [10/11/12/13 Regression] ICE non-trivial conversion in component_ref

[rguenth at gcc dot gnu.org]

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

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

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

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

[Bug fortran/95338] [10/11/12/13 Regression] ICE non-trivial conversion in component_ref

[jakub at gcc dot gnu.org]

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

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

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

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

[Bug fortran/95338] [11/12/13/14 Regression] ICE non-trivial conversion in component_ref

[rguenth at gcc dot gnu.org]

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

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

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

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