blob: 4875c894dbf4e28f0ddb70b98a675e40195cab7b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
-- The aim of this test is to check that Ada types appear in the proper
-- context in the debug info.
--
-- Checking this directly would be really tedious just scanning for assembly
-- lines, so instead we rely on DWARFv4's .debug_types sections, which must be
-- created only for global-scope types. Checking the number of .debug_types is
-- some hackish way to check that types are output in the proper context (i.e.
-- at global or local scope).
--
-- { dg-options "-cargs -gdwarf-4 -fdebug-types-section -dA -margs" }
-- { dg-final { scan-assembler-times "\\(DIE \\(0x\[a-f0-9\]*\\) DW_TAG_type_unit\\)" 0 } }
procedure Debug9 is
type Array_Type is array (Natural range <>) of Integer;
type Record_Type (L1, L2 : Natural) is record
I1 : Integer;
A1 : Array_Type (1 .. L1);
I2 : Integer;
A2 : Array_Type (1 .. L2);
I3 : Integer;
end record;
function Get (L1, L2 : Natural) return Record_Type is
Result : Record_Type (L1, L2);
begin
Result.I1 := 1;
for I in Result.A1'Range loop
Result.A1 (I) := I;
end loop;
Result.I2 := 2;
for I in Result.A2'Range loop
Result.A2 (I) := I;
end loop;
Result.I3 := 3;
return Result;
end Get;
R1 : Record_Type := Get (0, 0);
R2 : Record_Type := Get (1, 0);
R3 : Record_Type := Get (0, 1);
R4 : Record_Type := Get (2, 2);
procedure Process (R : Record_Type) is
begin
null;
end Process;
begin
Process (R1);
Process (R2);
Process (R3);
Process (R4);
end Debug9;
|
