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 22CF43858C41; Tue,  2 Jan 2024 15:48:14 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 22CF43858C41
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1704210494;
	bh=/+g1Rh33JaXBWDoarg7FdOo9YZzuPDv//1VPqa9ljTE=;
	h=From:To:Subject:Date:From;
	b=wJ/gGPYtL9JpmrPfGNAf0Z0YlVDHUnbAOB9ikFYoSVVHXlSKN1N04dc/J00aGjGir
	 2+MDjQPrWpW4aPMNEbxSV/jHtpMeS7RPjyBIQFpwHTXd3+eGC+4QeflhqpXSz5WFnC
	 ICwPy3Lh6DHSrHhGX5xuRlovQi2t5X1VY3rZIlhA=
From: "doko at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/113201] New: [14 Regression] internal compiler
 error: tree check: expected ssa_name, have integer_cst in replace_uses_by, at
 tree-cfg.cc:2058
Date: Tue, 02 Jan 2024 15:48:13 +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: doko 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: <bug-113201-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=3D113201

            Bug ID: 113201
           Summary: [14 Regression] internal compiler error: tree check:
                    expected ssa_name, have integer_cst in
                    replace_uses_by, at tree-cfg.cc:2058
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at gcc dot gnu.org
  Target Milestone: ---

seen with trunk 20240101 on x86_64-linux-gnu, building the
xserver-xorg-video-intel package:

fails with -O1, works with -O0. The unreduced testcase didn't work with -O2
either, the reduced test case works with -O2

$ cat sna_accel.i
void __sigsetjmp();
void kgem_add_reloc() {
  int bh;
  __sigsetjmp();
  while (--bh)
    ;
  kgem_add_reloc();
}

$ gcc -c -O1 sna_accel.i
during GIMPLE pass: sccp
sna_accel.i: In function 'kgem_add_reloc':
sna_accel.i:2:6: internal compiler error: tree check: expected ssa_name, ha=
ve
integer_cst in replace_uses_by, at tree-cfg.cc:2058
    2 | void kgem_add_reloc() {
      |      ^~~~~~~~~~~~~~
0x137f737 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        ../../src/gcc/tree.cc:8952
0xbbd284 tree_check(tree_node*, char const*, int, char const*, tree_code)
        ../../src/gcc/tree.h:3612
0xbbd284 replace_uses_by(tree_node*, tree_node*)
        ../../src/gcc/tree-cfg.cc:2058
0x1fcbdc6 final_value_replacement_loop(loop*)
        ../../src/gcc/tree-scalar-evolution.cc:3885
0x1f62756 execute
        ../../src/gcc/tree-ssa-loop.cc:410
Please submit a full bug report, with preprocessed source (by using
-freport-bug).=