[Bug ada/126621] New: Other occurence of ICE with -gnateV.

[p.p11 at orange dot fr via Gcc-bugs]

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

            Bug ID: 126621
           Summary: Other occurence of ICE with -gnateV.
           Product: gcc
           Version: 16.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: p.p11 at orange dot fr
                CC: dkm at gcc dot gnu.org
  Target Milestone: ---

Created attachment 65228
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65228&action=edit
Reproducer.

Actual behavior:
(full source code in attached file)

gcc -c -gnateV objsrc.ads
+===========================GNAT BUG DETECTED==============================+
| 16.1.0 (x86_64-apple-darwin24.6.0) Program_Error sem_ch4.adb:6177 explicit
raise|
| Error detected at a-cdlili.ads:156:14 [objsrc.ads:38:4]                  |