[Bug ada/111433] bogus error about null exclusion for designated type with incomplete, partial and full views

"p.p11 at orange dot fr via Gcc-bugs" <[email protected]> Mon, 03 Aug 2026 20:09:36 +0000

Newsgroups	gmane.comp.gcc.bugs
Message-ID	<[email protected]/bugzilla/>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D111433

Pascal Pignard <p.p11 at orange dot fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |VERIFIED

--- Comment #7 from Pascal Pignard <p.p11 at orange dot fr> ---
Verified OK with 16.1.=