From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 9127D3858D1E; Tue, 4 Oct 2022 04:50:24 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9127D3858D1E DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1664859024; bh=ugt7ZcTTvfVkiMXGEhoFKwEq1E2aKZ0x6RufirBXtwI=; h=From:To:Subject:Date:From; b=Y+Z52ij6hYr0fMAZMdKJiV5lrc8Bw69wB7/xTcIvGEKQYa9i5HNKTVSw9bgIWVSNu nF3cqWb3+43nKPjPcVHGpiAehvptnhjLvyh+jsa/DuWb9Pc/geEhqa/8rVA5vjItj+ 7CxHsAvm9sZTc3IAqZOACaQweGvRCXtXrhpK6n20= From: "asolokha at gmx dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/107143] New: ICE: 'verify_gimple' failed (Error: non-trivial conversion in 'mem_ref') Date: Tue, 04 Oct 2022 04:50:24 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: ice-checking, ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: asolokha at gmx dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status keywords bug_severity priority component assigned_to reporter target_milestone Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D107143 Bug ID: 107143 Summary: ICE: 'verify_gimple' failed (Error: non-trivial conversion in 'mem_ref') Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-checking, ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gfortran 13.0.0 20220925 snapshot (g:77bbf69d2981dafc2ef3e59bfbefb645d88bab= 9d) ICEs when compiling the following testcase w/ -fchecking, reduced from test/Lower/forall/array-pointer.f90 from the flang 15.0.1 test suite: module array_of_pointer_test type ta integer, POINTER :: ip(:) end type ta type tb integer, POINTER :: ip(:,:) end type tb end module array_of_pointer_test subroutine s5(y,z,n1,n2) use array_of_pointer_test type(tb) :: y(:) type(ta), TARGET :: z(:) forall (i=3D1:10) y(i)%ip(1:n1,1:n2) =3D> z(i)%ip end forall end subroutine s5 % gfortran-13.0.0 -fchecking -c cmpwv2kw.f90 cmpwv2kw.f90:11:13: 11 | subroutine s5(y,z,n1,n2) | ^ Error: non-trivial conversion in 'mem_ref' struct array02_integer(kind=3D4) struct array01_integer(kind=3D4) parm.12 =3D *_86; cmpwv2kw.f90:11:13: internal compiler error: 'verify_gimple' failed 0xfbed2d verify_gimple_in_seq(gimple*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/tr= ee-cfg.cc:5237 0xcad8e5 gimplify_body(tree_node*, bool) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/gi= mplify.cc:17548 0xcadaaa gimplify_function_tree(tree_node*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/gi= mplify.cc:17664 0xacb9e7 cgraph_node::analyze() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/cg= raphunit.cc:676 0xace547 analyze_functions =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/cg= raphunit.cc:1240 0xacf1ed symbol_table::finalize_compilation_unit() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/cg= raphunit.cc:2500=