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 E46553858D28; Wed,  3 May 2023 12:56:50 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E46553858D28
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1683118610;
	bh=+c/mjWli9LrtlZOB1Ui6q8npC2pR6Koa6GJgk/FT6vM=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=ptla30wqY0JpHFROegjzGp/0/eCD6Tv6tRpJD1DqHy8HGc0rGjaqueLn+6UjERUQw
	 BDnCd3lllyyvLdlc94nMo4AguyyuqXWRHuHSePFAeeAJLNncEadPfby71LqmmkBqzg
	 1kTANm4IPElVIZnfb36rG78dbkcND9sQOcZ1ytOU=
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/106075] Wrong DSE with -fnon-call-exceptions
Date: Wed, 03 May 2023 12:56:50 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: EH, wrong-code
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: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: attachments.created
Message-ID: <bug-106075-4-1iXPnRelh7@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-106075-4@http.gcc.gnu.org/bugzilla/>
References: <bug-106075-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=3D106075

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Created attachment 54979
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=3D54979&action=3Dedit
patch

This patch fixes the testcase but it causes Ada and Go failures.  I've
isolated the Ada FAILs to the dse.cc change but then I'm not really into
this RTL optimization pass nor the pecularities of Ada (or Go).

                =3D=3D=3D acats tests =3D=3D=3D
FAIL:   c37009a
FAIL:   c37208a
FAIL:   c41103a
FAIL:   c41103b
FAIL:   c41301a
FAIL:   c55c02b
FAIL:   c87b40a
FAIL:   cc1018a=20

                =3D=3D=3D gnat tests =3D=3D=3D


Running target unix/
FAIL: gnat.dg/opt47.adb execution test

                =3D=3D=3D go tests =3D=3D=3D


Running target unix/
FAIL: go.go-torture/execute/names-1.go execution,  -O1
FAIL: go.go-torture/execute/names-1.go execution,  -O2
FAIL: go.go-torture/execute/names-1.go execution,  -O2 -fbounds-check
FAIL: go.go-torture/execute/names-1.go execution,  -O2 -fomit-frame-pointer
-finline-functions
FAIL: go.go-torture/execute/names-1.go execution,  -O2 -fomit-frame-pointer
-finline-functions -funroll-loops
FAIL: go.go-torture/execute/names-1.go execution,  -O3 -g
FAIL: ./index0-out.go execution,  -O0 -g -fno-var-tracking-assignments
FAIL: go.test/test/235.go execution,  -O2 -g
FAIL: go.test/test/chan/sieve1.go execution,  -O2 -g
FAIL: go.test/test/chan/sieve2.go execution,  -O2 -g
FAIL: go.test/test/cmp.go execution,  -O2 -g
FAIL: go.test/test/complit.go execution,  -O2 -g
FAIL: go.test/test/ddd.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/bug187.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/bug204.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/bug447.go execution
FAIL: go.test/test/fixedbugs/bug465.dir/b.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/bug483.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/issue10925.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/issue14553.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/issue15528.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/issue16095.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/issue19113.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/issue22881.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/issue27836.dir/=C3=83~Dfoo.go  -O -I. (test fo=
r excess
errors)
FAIL: go.test/test/fixedbugs/issue27836.dir/=C3=83~Dmain.go  -O -I. (test f=
or excess
errors)
FAIL: go.test/test/fixedbugs/issue39505b.go execution,  -O2 -g
FAIL: go.test/test/fixedbugs/issue4909b.go execution
FAIL: go.test/test/fixedbugs/issue5162.go execution
FAIL: go.test/test/fixedbugs/issue9604b.go execution
FAIL: go.test/test/ken/range.go execution,  -O2 -g
FAIL: go.test/test/slice3.go execution
FAIL: go.test/test/stringrange.go execution,  -O2 -g=20
FAIL: go.test/test/utf.go execution,  -O2 -g=20

(also gotools and libgo fails)=