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 E03AC3858C2F; Wed, 13 Dec 2023 13:53:13 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E03AC3858C2F
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1702475593;
	bh=gs13hxqC2vQrOl9PQ8onaXKho9s/l5fK0ZCX0sXlQZA=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=uC1fLrdEzv7GzJHH3F/GhBPCTDFq5CDckgug1w5Q/iNmVq10nqLpCMiuFNTwHmoRi
	 z0mwSyI2ZaxmbBqacrrS6bKCFlRBHCO8CBiTK++wWeRMSFbY2iYLryuLgDydfODZSh
	 N7Gu/UU2y7g2d2BkN7HFfGPDIDGrvLC5H8xZJSZ4=
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/111515] [14 Regression] Missed Dead Code
 Elimination since r14-4089-gd45ddc2c04e
Date: Wed, 13 Dec 2023 13:53:13 +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: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-111515-4-tndZxKAJ8R@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-111515-4@http.gcc.gnu.org/bugzilla/>
References: <bug-111515-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=3D111515

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
OTOH the eliminated branch is

  if (aj_6 < 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  __builtin_unreachable ();

which isn't too interesting to eliminate as we'll remove it from all
paths later anyway.  Possibly worth special-casing and might avoid
some threading around assert() calls implemented this way.  Threads
around abort () are still useful as we keep them.  So not sure if
relevant in practice and thus worth the trouble.=