testsuite/gnat.dg/loop_optimization4.adb

-- { dg-do run }
-- { dg-options "-O2" }

with Loop_Optimization4_Pkg; use Loop_Optimization4_Pkg;

procedure Loop_Optimization4 is
begin
  Add ("Nothing");
end;