https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89159
--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:dda809f25ee115af1566a44340d7570f2bde09d8 commit r16-7245-gdda809f25ee115af1566a44340d7570f2bde09d8 Author: Eric Botcazou <[email protected]> Date: Mon Feb 2 19:40:33 2026 +0100 Ada: Fix profile conformance glitch with limited_with and incomplete type That's an old issue, but the fix is quite straightforward. gcc/ada/ PR ada/89159 * sem_ch6.adb (Conforming_Types.Is_Matching_Limited_View): Return true when the type is an incomplete view of the non-limited view. gcc/testsuite/ * gnat.dg/limited_with8.adb: New test. * gnat.dg/limited_with8_pkg1.ads: New helper. * gnat.dg/limited_with8_pkg2.ads: Likewise. * gnat.dg/limited_with8_pkg2.adb: Likewise.
