From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 8877F3858C29; Sat, 2 Dec 2023 02:24:03 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 8877F3858C29 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1701483843; bh=b1QfZtl5S7o/8EEm7uFpOkhfcAhw25hPTQKOUP8kzoE=; h=From:To:Subject:Date:From; b=HRov5AeQdDLsLQ7m3tHiiRMAJCTwwj5c3mvx/5nS0rLoWwtZLApJjOpJ6YWPCvouR F+rUzISWIX5noRXJZL2IzjV9szBqVnU45wTWpUIcl4bX8ZuVHnuNAcgz6T8/Eus8EB G2AZ4ZpKnr7B4QBb4nXtBBd4wzHIbGUVoWtpXUhk= From: "seurer at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug middle-end/112822] New: [14 regression] ICE: invalid RHS for gimple memory store after r14-5831-gaae723d360ca26 Date: Sat, 02 Dec 2023 02:24:03 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: middle-end X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: seurer at gcc dot gnu.org 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 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=3D112822 Bug ID: 112822 Summary: [14 regression] ICE: invalid RHS for gimple memory store after r14-5831-gaae723d360ca26 Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: seurer at gcc dot gnu.org Target Milestone: --- g:aae723d360ca26cd9fd0b039fb0a616bd0eae363, r14-5831-gaae723d360ca26 commit aae723d360ca26cd9fd0b039fb0a616bd0eae363 (HEAD) Author: Martin Jambor Date: Fri Nov 24 17:32:35 2023 +0100 sra: SRA of non-escaped aggregates passed by reference to calls This is a huge C++ program that I have not cut down yet. I will look at th= at on Monday if need be. seurer@ltcden2-lp1:~/tst$ ~/gcc/git/install/gcc-test/bin/g++ -w -O3 -c smal= l.i small.i: In function 'std::enable_if_t<(!((((((((Rows =3D=3D 1) && (Depth != =3D 1)) && (OA =3D=3D Eigen::ColMajor)) || (((Depth =3D=3D 1) && (Rows !=3D 1)) && (OA= =3D=3D Eigen::RowMajor))) || (((Cols =3D=3D 1) && (Depth !=3D 1)) && (OB =3D=3D Eigen::RowMajor))) || (((Depth =3D=3D 1) && (Cols !=3D 1)) && (OB =3D=3D Eigen::ColMajor))) || (((Rows =3D=3D 1) && (Cols !=3D 1)) && (OC =3D=3D Eigen::ColMajor))) || (((Cols =3D=3D 1) && (Rows !=3D 1)) && (OC =3D=3D Eigen::RowMajor)))), void> test_lazy_single(int, int, int) [with T =3D std::complex; int Rows =3D 1; int Cols =3D 4; int Depth =3D 6; int = OC =3D 1; int OA =3D 1; int OB =3D 1]': small.i:133795:1: error: invalid RHS for gimple memory store: 'view_convert_expr' 133795 | test_lazy_single(int rows, int cols, int depth) | ^~~~~~~~~~~~~~~~ D$_M_value VIEW_CONVERT_EXPR<_ComplexT>(C_1302); # .MEM_1318 =3D VDEF <.MEM_1313> D$_M_value =3D VIEW_CONVERT_EXPR<_ComplexT>(C_1302); small.i:133795:1: error: invalid RHS for gimple memory store: 'view_convert_expr' D$16$_M_value VIEW_CONVERT_EXPR<_ComplexT>(C$16_1303); # .MEM_1319 =3D VDEF <.MEM_1318> D$16$_M_value =3D VIEW_CONVERT_EXPR<_ComplexT>(C$16_1303); small.i:133795:1: error: invalid RHS for gimple memory store: 'view_convert_expr' D$32$_M_value VIEW_CONVERT_EXPR<_ComplexT>(C$32_1304); # .MEM_1320 =3D VDEF <.MEM_1319> D$32$_M_value =3D VIEW_CONVERT_EXPR<_ComplexT>(C$32_1304); small.i:133795:1: error: invalid RHS for gimple memory store: 'view_convert_expr' D$48$_M_value VIEW_CONVERT_EXPR<_ComplexT>(C$48_1309); # .MEM_1323 =3D VDEF <.MEM_1320> D$48$_M_value =3D VIEW_CONVERT_EXPR<_ComplexT>(C$48_1309); during GIMPLE pass: sra small.i:133795:1: internal compiler error: verify_gimple failed 0x11136103 verify_gimple_in_cfg(function*, bool, bool) /home/seurer/gcc/git/gcc-test/gcc/tree-cfg.cc:5662 0x10f27edf execute_function_todo /home/seurer/gcc/git/gcc-test/gcc/passes.cc:2088 0x10f28eab do_per_function /home/seurer/gcc/git/gcc-test/gcc/passes.cc:1687 0x10f290cb execute_todo /home/seurer/gcc/git/gcc-test/gcc/passes.cc:2142=