1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
-- { dg-do compile } -- { dg-options "-O" } pragma Overflow_Mode (Minimized); package body Loop_Optimization22 is procedure Foo (X : Discrim_Type) is H : array (1 .. Integer (X.Count) + 1) of Float; begin for I in 1 .. X.Count loop H (Integer(I) + 1):= 0.0; end loop; end; end Loop_Optimization22;