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 407FF3858438; Tue,  9 Jan 2024 09:31:38 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 407FF3858438
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1704792698;
	bh=+JoKMiSRmdvMN2siUSiB30r5/aiivoJb/sn+8upyvvk=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=uqemiK8Is9DSF2ig+/xRKUe3uVSm3orpFRqTy6onzMgd5fKThLggmZjUwTa+JLYL2
	 ZNQ5e/U1KMpO4u7ceI6Wl0vsUw61UbDiG87mUgwwqzdydpD1GLYgLMMFTeJAiLRtvE
	 nPIA075AMuGAd08S6PulpAODWodN5WMl/b4cgtTI=
From: "ebotcazou at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ada/113195] [13/14 regression] internal error on anonymous
 access type equality
Date: Tue, 09 Jan 2024 09:31:37 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ada
X-Bugzilla-Version: 13.2.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ebotcazou at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Resolution: FIXED
X-Bugzilla-Priority: P4
X-Bugzilla-Assigned-To: ebotcazou at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.3
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-113195-4-86psuL60oO@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-113195-4@http.gcc.gnu.org/bugzilla/>
References: <bug-113195-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=3D113195

--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
https://gcc.gnu.org/g:4d3fd59953bcf423dd0859a2c6b95b5260aed71d

commit r14-7029-g4d3fd59953bcf423dd0859a2c6b95b5260aed71d
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Tue Jan 9 10:21:51 2024 +0100

    Fix internal error on anonymous access type equality

    This is a small regression present on the mainline and 13 branch, in the
    form of an internal error in gigi on anonymous access type equality.  We
    now need to also accept them for anonymous access types that point to
    compatible object subtypes in the language sense.

    gcc/ada/
            * gcc-interface/utils2.cc (build_binary_op) <EQ_EXPR>: Relax
            assertion for regular pointer types.

    gcc/testsuite/
            * gnat.dg/specs/anon4.ads: New test.=