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 33E513858D32; Wed, 12 Apr 2023 14:31:37 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 33E513858D32
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1681309897;
	bh=gRPC3r8HhKnClwcvMb5j1EdI4oQVkDyZfQhOIkUM/+Y=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=kg17f0grY6KvXufpFrr1Rc3Sk7bKEMV/Hj/3zbPIOx7SUqfWIqHsiWB3bqtUBAz5D
	 9DxD+15+dRA7Zurbb8AhJeivy9CET97wpG5oJx7m4foma9JHgwPM7p4S6bVM1Se4IG
	 7kVjG6DFsGRxOv8vJu0DjzN2muGxIpAnTPegsOTw=
From: "dkm at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ada/109472] [13 regression] False unread/unassigned warning for
 variable in local package
Date: Wed, 12 Apr 2023 14:31:36 +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.0
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dkm at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P4
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-109472-4-O3BnGmBuqr@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109472-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109472-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=3D109472

--- Comment #2 from Marc Poulhi=C3=A8s <dkm at gcc dot gnu.org> ---
Regression starts from:

a8d17a88a52d2f773423adb55399d23ed5ea03c8 is the first bad commit
commit a8d17a88a52d2f773423adb55399d23ed5ea03c8
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Tue Jun 21 10:17:57 2022 +0200

    [Ada] Warn on unset objects in packages with no bodies

    Fix an inconsistency, where GNAT was warning about references to unset
    objects inside generic packages with no bodies but not inside ordinary
    packages with no bodies.

But the issue is probably not this particular change, that simply asks gnat=
 to
warn on unreferenced entities. The error is most probably caused by the
Referenced(N) that returns False for 'X' entity.=