https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78238
janus at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |ice-on-valid-code CC| |janus at gcc dot gnu.org Summary|[7 Regression] ICE: |[7 Regression] [OOP] ICE: |verify_gimple failed, with |verify_gimple failed, with |-fdefault-integer-8 |-fdefault-integer-8 --- Comment #6 from janus at gcc dot gnu.org --- I can also confirm this. Stripping away the parts necessary at runtime, I arrived at this minimal test case to reproduce the ICE: class(*), allocatable :: q select type (x => q) type is (real) end select end