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 E4AB73858426; Sat, 13 Jan 2024 21:45:58 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E4AB73858426
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1705182358;
	bh=MLfu+Y+BWsWjkRrl7lwnxntUWBXcMeWU23yAOy0Y2FM=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=f4VhzYzVZ9oOu8QNy2RLvx6EY8TvRpJgG8wxPfl7WE8/oMgkYRcE0sfJgKqav2k3q
	 8ag3i6SM3oElsIL39AGGXpE/ayLurjPttzB6ZTSSD2+Num0aC4jTmzRxEFDGKXiElY
	 PvIMCJF0F20xGiHz0awRywrKJBnMZ7C9Xk2KlwYQ=
From: "dcb314 at hotmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/113373] [14 regression] ICE in verify_ssa
Date: Sat, 13 Jan 2024 21:45:58 +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: ice-on-valid-code
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: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-113373-4-QTXtu8vccI@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-113373-4@http.gcc.gnu.org/bugzilla/>
References: <bug-113373-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=3D113373

--- Comment #3 from David Binderman <dcb314 at hotmail dot com> ---
Reduced C++ code seems to be:

void __assert_fail(char *, char *, int, const char *)
    __attribute__((__noreturn__));
template <class T> struct asCArray {
  asCArray(int);
  T &operator[](unsigned);
  T *array;
  int length;
};
template <class T> T &asCArray<T>::operator[](unsigned index) {
  index < length ? void() : __assert_fail("", "", 8, __PRETTY_FUNCTION__);
  return array[index];
}
unsigned asCReaderTranslateFunction_bc_1;
int asCReaderTranslateFunction_bcLength;
void asCReaderTranslateFunction() {
  asCArray<unsigned> bcSizes(asCReaderTranslateFunction_bcLength);
  int offset, size;
  for (int num; offset--; num++)
    size +=3D bcSizes[num];
  asCReaderTranslateFunction_bc_1 =3D size;
}=