annotate gcc/testsuite/gnat.dg/array7.adb @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 -- { dg-do compile }
kono
parents:
diff changeset
2 -- { dg-options "-O -gnatp -fdump-tree-optimized" }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 package body Array7 is
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 package body Range_Subtype is
kono
parents:
diff changeset
7 function Get_Arr (Nbr : My_Range) return Arr_Acc is
kono
parents:
diff changeset
8 begin
kono
parents:
diff changeset
9 return new Arr (1 .. Nbr);
kono
parents:
diff changeset
10 end;
kono
parents:
diff changeset
11 end;
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 package body Range_Type is
kono
parents:
diff changeset
14 function Get_Arr (Nbr : My_Range) return Arr_Acc is
kono
parents:
diff changeset
15 begin
kono
parents:
diff changeset
16 return new Arr (1 .. Nbr);
kono
parents:
diff changeset
17 end;
kono
parents:
diff changeset
18 end;
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 end Array7;
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 -- { dg-final { scan-tree-dump-not "MAX_EXPR" "optimized" } }