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 EDC613858C52; Sat, 15 Apr 2023 22:49:10 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org EDC613858C52
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1681598950;
	bh=4Rc3JbMCuPUEgSvaPxSQG8PA0CUubhQ2xUZqpRQwi14=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=ZlXQ2AU12UAYKEj3crmNEIz3hLF3Cr/OsE5JL+A9gaP7pVTya/rd1DFZSVjlowGSR
	 rXUInQoKYiPbCfRwLz4PPVFszveEqdedVwjBeNJCxGGMcdVSwE2DuAYZhM2/oWLHme
	 4MPz9L3q1ZsqZK818iZdnHRiyLoWw6f+RY17BbfQ=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/109524] [13 Regression] ICE: SIGSEGV in
 remove_unreachable::remove_and_update_globals (tree-vrp.cc:136) with -O3
 -fno-tree-forwprop -fnon-call-exceptions -fno-tree-ccp -fno-tree-fre
Date: Sat, 15 Apr 2023 22:49:10 +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: 13.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-109524-4-jnSxfI4pBY@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109524-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109524-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=3D109524

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The edge in question has been removed in
#2  0x00000000025b0e32 in free_edge (fn=3D0x7fffea2ed7e8, e=3D<error reading
variable: Cannot access memory at address 0xa5a5a5a5a5a5a5f9>) at
../../gcc/cfg.cc:93
#3  0x00000000025b1631 in remove_edge_raw (e=3D<error reading variable: Can=
not
access memory at address 0xa5a5a5a5a5a5a5f9>) at ../../gcc/cfg.cc:367
#4  0x00000000009e447c in remove_edge (e=3D<error reading variable: Cannot =
access
memory at address 0xa5a5a5a5a5a5a5f9>) at ../../gcc/cfghooks.cc:464
#5  0x00000000009e49b5 in delete_basic_block (bb=3D<basic_block 0x7fffea30c=
240
(8)>) at ../../gcc/cfghooks.cc:636
#6  0x000000000112b193 in remove_edge_and_dominated_blocks (e=3D<edge
0x7fffea30b600 (3 -> 6)>) at ../../gcc/tree-cfg.cc:8958
#7  0x000000000112b34f in gimple_purge_dead_eh_edges (bb=3D<basic_block
0x7fffea2dbea0 (3)>) at ../../gcc/tree-cfg.cc:9002
#8  0x000000000112b412 in gimple_purge_all_dead_eh_edges (blocks=3D0x39d0cb=
8) at
../../gcc/tree-cfg.cc:9029
#9  0x000000000131281a in substitute_and_fold_engine::substitute_and_fold
(this=3D0x7fffffffd960, block=3D<basic_block 0x0>) at
../../gcc/tree-ssa-propagate.cc:998
#10 0x000000000145ef6b in execute_ranger_vrp (fun=3D0x7fffea2ed7e8,
warn_array_bounds_p=3Dtrue, final_p=3Dfalse) at ../../gcc/tree-vrp.cc:1102
and
#0  0x00000000009d9c1b in bb_seq_addr (bb=3D<error reading variable: Cannot
access memory at address 0xa5a5a5a5a5a5a5f9>) at ../../gcc/gimple.h:1820
#1  0x00000000009f7325 in gsi_last_bb (bb=3D<error reading variable: Cannot
access memory at address 0xa5a5a5a5a5a5a5f9>) at
../../gcc/gimple-iterator.h:160
#2  0x0000000000c7fe17 in gsi_last_nondebug_bb (bb=3D<error reading variabl=
e:
Cannot access memory at address 0xa5a5a5a5a5a5a5f9>) at
../../gcc/gimple-iterator.h:321
#3  0x000000000265dca9 in gimple_outgoing_range_stmt_p (bb=3D<error reading
variable: Cannot access memory at address 0xa5a5a5a5a5a5a5f9>) at
../../gcc/gimple-range-edge.cc:42
#4  0x000000000145b54d in remove_unreachable::remove_and_update_globals
(this=3D0x7fffffffd970, final_p=3Dfalse) at ../../gcc/tree-vrp.cc:136
#5  0x000000000145ef87 in execute_ranger_vrp (fun=3D0x7fffea2ed7e8,
warn_array_bounds_p=3Dtrue, final_p=3Dfalse) at ../../gcc/tree-vrp.cc:1104
then tries to access the already freed edge which was kept in some list of
edges across the gimple_purge_all_dead_eh_edges.=