[Bug fortran/81974] New: ICE verify_gimple failed type mismatch in binary expression

[zeccav at gmail dot com]

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

            Bug ID: 81974
           Summary: ICE verify_gimple failed  type mismatch in binary
                    expression
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zeccav at gmail dot com
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu
             Build: trunk 251201

! ICE verify_gimple failed Error: type mismatch in binary expression
! must be compiled with -O option
      COMPLEX(kind=kind(0d0)), DIMENSION(10, 10) :: R
      REAL(kind=kind(0d0)), DIMENSION(10, 10)    :: M
      print *,MATMUL(TRANSPOSE(CONJG(R)), M)
      END
!/home/vitti/f95/gfbug143.f:3:0:

!       COMPLEX(kind=kind(0d0)), DIMENSION(10, 10) :: R

!Error: type mismatch in binary expression
!complex(kind=4)

!complex(kind=8)

!complex(kind=8)

!_26 = _19 * _25;
!/home/vitti/f95/gfbug143.f:3:0: Error: type mismatch in binary expression
!complex(kind=8)

!complex(kind=8)

!complex(kind=4)

!_32 = _12 + _26;
!/home/vitti/f95/gfbug143.f:3:0: internal compiler error: verify_gimple failed
!0xd8595d verify_gimple_in_seq(gimple*)
!       ../../gcc/gcc/tree-cfg.c:4978
!0xb41cad gimplify_body(tree_node*, bool)
!       ../../gcc/gcc/gimplify.c:12593
!0xb41e7c gimplify_function_tree(tree_node*)
!       ../../gcc/gcc/gimplify.c:12683
!0x9dce17 cgraph_node::analyze()
!       ../../gcc/gcc/cgraphunit.c:670
!0x9df5f3 analyze_functions
!       ../../gcc/gcc/cgraphunit.c:1131
!0x9e04b2 symbol_table::finalize_compilation_unit()
!       ../../gcc/gcc/cgraphunit.c:2609
!Please submit a full bug report,
!with preprocessed source if appropriate.
!Please include the complete backtrace with any bug report.
!See <https://gcc.gnu.org/bugs/> for instructions.