https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115349
--- Comment #3 from simon at pushface dot org ---
The attachment says, effectively,
V: IntVecs.Vector; -- of Positive
U : Positive;
begin
...
U := V'Reduce ("+", 0);
So if V is empty V’Reduce has to return 0 and the assignment will raise CE.
GCC 15.0.0 20241202 behaves as reported above.
With GCC 14.2, declaring U as Natural results in the same error as reported.
With GCC 15.0.0 20241202, however, the compilation succeeds and runs OK.
