From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 53AEC3858289; Tue,  9 Jan 2024 17:14:17 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 53AEC3858289
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1704820457;
	bh=ceiuVpr48c8Ht07He4EQZJyE81ju/bHlFF9Iiib5xbg=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=T9kFrHcH7YW1IyTR292YlW13EEpmeAXFdGivmamPZv7OavVBOZQYj/7j35GclaYQ2
	 VSv+LRlkIKRHPJ1Mk3o3KeaW5oRv6KQeNMCN/BIv6Zz6Sq8x5c8xSq2xbVWBzHUUVI
	 3y66FPAbxQghZ19KW9jzbCNC6XEu6i9WCdLFwe+c=
From: "jamborm at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/113144] [14 regression] ICE when building
 dpkg-1.21.15 in verify_dominators (error: dominator of 9 should be 48, not
 12)
Date: Tue, 09 Jan 2024 17:14:16 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jamborm at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: tnfchris at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-113144-4-8lQ0sMoiNi@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-113144-4@http.gcc.gnu.org/bugzilla/>
References: <bug-113144-4@http.gcc.gnu.org/bugzilla/>
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: <gcc-bugs.sourceware.org>

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

--- Comment #13 from Martin Jambor <jamborm at gcc dot gnu.org> ---
The testcase below segfaults when compiled with master configured with
release checking.  However, it is very likely affected by this bug (it
fails with checking compiler like testcases for this issue do) and so
I did not want to file a new bug for a testcase where we know we're
currently having problems keeping dominance information.

Tamar, after you fix this issue, can you please check if the following
segfaults when compiled with -std=3Dgnu99 -fpermissive -fgnu89-inline
-Ofast -march=3Dznver2 -fprofile-generate -S ?

Thanks!

replace_reg_with_saved_mem_i, replace_reg_with_saved_mem_nregs,
    replace_reg_with_saved_mem_mem_1;
replace_reg_with_saved_mem_mode() {
  if (replace_reg_with_saved_mem_i)
    return;
  while (++replace_reg_with_saved_mem_i < replace_reg_with_saved_mem_nregs)
    if (replace_reg_with_saved_mem_i)
      break;
  if (replace_reg_with_saved_mem_i)
    if (replace_reg_with_saved_mem_mem_1)
      adjust_address_1();
  replace_reg_with_saved_mem_mem_1 ? fancy_abort() : 0;
}=