]> git.ipfire.org Git - thirdparty/gcc.git/commit
Ada: Fix profile conformance glitch with limited_with and incomplete type
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 2 Feb 2026 18:40:33 +0000 (19:40 +0100)
committerEric Botcazou <ebotcazou@adacore.com>
Mon, 2 Feb 2026 18:43:08 +0000 (19:43 +0100)
commitdda809f25ee115af1566a44340d7570f2bde09d8
treee427a30cb247315ecd41e2e01a504b878fc63245
parente02eba0dc7d1aa62c5edf7108e641bcb5c5584b8
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.
gcc/ada/sem_ch6.adb
gcc/testsuite/gnat.dg/limited_with8.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/limited_with8_pkg1.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/limited_with8_pkg2.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/limited_with8_pkg2.ads [new file with mode: 0644]