[Bug ada/126907] New: Compilation does not complete - potential infinite loop

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

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

            Bug ID: 126907
           Summary: Compilation does not complete - potential infinite
                    loop
           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 65348
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65348&action=edit
Reproducer.

Actual results, steps to reproduce:

With the attached reproducer, execute:

% gcc -c -gnat2022 test_20260816_inf_loop.adb -gnatVaep

Compilation does not complete.


Whereas, without -gnatVaep:

% gcc -c -gnat2022 test_20260816_inf_loop.adb

Compilation finishes.