[Bug fortran/106934] New: [10/11/12/13 Regression] ICE: verify_gimple failed

[gscfq--- via Gcc-bugs]

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

            Bug ID: 106934
           Summary: [10/11/12/13 Regression] ICE: verify_gimple failed
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gs...@t-online.de
  Target Milestone: ---

Started with r9 :
(gcc configured with --enable-checking=yes)


$ cat z1.f90
subroutine s
   logical(1) :: a = .true.
   logical(2) :: b
   a = transfer(b, a)
end


$ gfortran-13-20220911 -c z1.f90 -O2
z1.f90:5:3:

    5 | end
      |   ^
Error: 'bit_field_ref' of non-mode-precision operand
_12 = BIT_FIELD_REF <b_13(D), 8, 0>;
during GIMPLE pass: ccp
z1.f90:5:3: internal compiler error: verify_gimple failed
0xf92e24 verify_gimple_in_cfg(function*, bool)
        ../../gcc/tree-cfg.cc:5569
0xe391ee execute_function_todo
        ../../gcc/passes.cc:2091
0xe39c72 execute_todo
        ../../gcc/passes.cc:2145