From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 2B7B33858C60; Thu, 16 Feb 2023 17:34:55 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2B7B33858C60 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1676568895; bh=Hi9DvUCWNSMKlTzaOH8zp9Fl4UOUGVAGN0iygP5/6BQ=; h=From:To:Subject:Date:From; b=jElLu2veByMGYie0t9EwQA3KC3Ufle2qS7PHGvdAy0O3f5ovTcnPTeRhHnhLOr0Im WW/IdJcXeq1Oiu087hOePCsbPKXMF9el8nhng2bA6zi/o/16EoHLqCEvVwjFrb2ojj odw4FreRnpQAd71OqVPYhTs1oQfe5vsLTl7mulrY= From: "dcb314 at hotmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/108825] New: error during GIMPLE pass: unrolljam Date: Thu, 16 Feb 2023 17:34:54 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: dcb314 at hotmail 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 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=3D108825 Bug ID: 108825 Summary: error during GIMPLE pass: unrolljam Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: dcb314 at hotmail dot com Target Milestone: --- For this C code:=20 safe_mul_func_uint8_t_u_u_ui2, g_231, g_277_1, g_568, func_35___trans_tmp_1= 0; g_81[7]; g_96[]; char func_35___trans_tmp_11; safe_add_func_int32_t_s_s(si1, si2) { return si1 > 647 - si2 ?: si1; } func_35() { for (; g_277_1; g_277_1 +=3D 1) { g_231 =3D 0; for (; g_231 <=3D 6; g_231 +=3D 1) { func_35___trans_tmp_10 =3D safe_add_func_int32_t_s_s(g_81[g_231], g_568 || g_96[1]); func_35___trans_tmp_11 =3D func_35___trans_tmp_10 * safe_mul_func_uint8_t_u_u_ui2; g_81[g_231] =3D func_35___trans_tmp_11; } } } compiled by recent gcc, does this: $ ~/gcc/results/bin/gcc -c -O3 -w bug885.c bug885.c: In function =E2=80=98func_35=E2=80=99: bug885.c:6:1: error: definition in block 43 does not dominate use in block = 44 6 | func_35() { | ^~~~~~~ for SSA_NAME: _96 in statement: _99 =3D (char) _96; during GIMPLE pass: unrolljam bug885.c:6:1: internal compiler error: verify_ssa failed 0x1027185 verify_ssa(bool, bool) ../../trunk.d1/gcc/tree-ssa.cc:1211 The bug first seems to occur sometime between g:4acc4c2be84d6607, dated 20221101 and g:d0a3d55ae4a2656f, dated 20221130.=