[Bug ada/115349] GNAT infers the wrong Accum_Type for a Reducer expression

[simon at pushface dot org via Gcc-bugs]

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.