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 8C60B3858D35; Thu,  7 Sep 2023 15:51:45 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 8C60B3858D35
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1694101905;
	bh=8xvg0ZcFyUjU2qVmSpzF2Nm1X3VIgmnXCargkbkbxSA=;
	h=From:To:Subject:Date:From;
	b=lAsdcYogEsyb2+8cpgsugMA1toCs57QPU57eksKup3868bn3VVScNjrkG72ZOJGN/
	 doBAOY2SfN7hVbd9Th58BQSuRR2Kz5f5btd/2D/v+veNtg6MDy3bPnu3WzU7pi79js
	 88d0nZKw1VCkIIL7Tue4peb9l4Hu3oWR7vO4yGcM=
From: "shaohua.li at inf dot ethz.ch" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/111328] New: ICE: verify_flow_info failed since
 r14-3459-g0c78240fd7d
Date: Thu, 07 Sep 2023 15:51:45 +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: 14.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: shaohua.li at inf dot ethz.ch
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 cc target_milestone
Message-ID: <bug-111328-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=3D111328

            Bug ID: 111328
           Summary: ICE: verify_flow_info failed since
                    r14-3459-g0c78240fd7d
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: shaohua.li at inf dot ethz.ch
                CC: jh at suse dot cz
  Target Milestone: ---

gcc at -O3 crashes on the following testcase.

Bisected to r14-3459-g0c78240fd7d

Compiler explorer: https://godbolt.org/z/G3rPdq6db


$ cat a.c
int a, b, c, d;
short e;
int f(g, h) { return h =3D=3D 0 || g =3D=3D 83647 && h =3D=3D 1 ?: g / h; }
char *i(char *g) {
  if (a)
    do
      if (*g++ =3D=3D 0)
        return 0;
    while (a);
  return g;
}
int j() {
  char k =3D 0, l =3D *i(&k) =3D l;
  for (; b; b++) {
    c =3D 1;
    for (; d + c >=3D 0; c--)
      ;
  }
  for (;;)
    if (f(e))
      break;
}
int main() {}
$ gcc -O2 a.c
<source>: In function 'f':
<source>:3:5: warning: type of 'g' defaults to 'int' [-Wimplicit-int]
    3 | int f(g, h) { return h =3D=3D 0 || g =3D=3D 83647 && h =3D=3D 1 ?: =
g / h; }
      |     ^
<source>:3:5: warning: type of 'h' defaults to 'int' [-Wimplicit-int]
<source>: In function 'j':
<source>:12:5: error: count of bb 32 not initialized
   12 | int j() {
      |     ^
<source>:12:5: error: count of bb 33 not initialized
<source>:12:5: error: count of bb 34 not initialized
<source>:12:5: error: count of bb 35 not initialized
<source>:12:5: error: count of bb 37 not initialized
during GIMPLE pass: vect
<source>:12:5: internal compiler error: verify_flow_info failed
0x21d80ae internal_error(char const*, ...)
        ???:0
0xb8c64f verify_flow_info()
        ???:0
0x112933f cleanup_tree_cfg(unsigned int)
        ???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Compiler returned: 1
$=