gcc/testsuite/gnat.dg/array7.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O -gnatp -fdump-tree-optimized" }
   3
   4 package body Array7 is
   5
   6    package body Range_Subtype is
   7       function Get_Arr (Nbr : My_Range) return Arr_Acc is
   8       begin
   9          return new Arr (1 .. Nbr);
  10       end;
  11    end;
  12
  13    package body Range_Type is
  14       function Get_Arr (Nbr : My_Range) return Arr_Acc is
  15       begin
  16          return new Arr (1 .. Nbr);
  17       end;
  18    end;
  19
  20 end Array7;
  21
  22 -- { dg-final { scan-tree-dump-not "MAX_EXPR" "optimized" } }
  23 -- { dg-final { cleanup-tree-dump "optimized" } }