Skip to content

Commit 3fbdddc

Browse files
Jugst3rJugst3r
committed
U204-026-arch-mix: update test
1 parent 9d359e5 commit 3fbdddc

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

42 files changed

+140
-140
lines changed

‎testsuite/tests/U204-026-arch-mix/bin-main_1.trace‎

24 Bytes
Binary file not shown.

‎testsuite/tests/U204-026-arch-mix/bin-main_2.trace‎

0 Bytes
Binary file not shown.

testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-bpkg.ads renamed to testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-bz3791e32c.ads

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -3,22 +3,22 @@ with Interfaces.C; use Interfaces.C;
33
with System;
44
with GNATcov_RTS.Buffers; use GNATcov_RTS.Buffers;
55
with GNATcov_RTS.Buffers.Lists; use GNATcov_RTS.Buffers.Lists;
6-
package GCVRT.Bpkg is
6+
package GCVRT.Bz3791e32c is
77

88
pragma Preelaborate;
99

1010
package Buffers_1 is
1111
Statement_Buffer : Coverage_Buffer_Type (0 .. -1) := (others => False);
1212
Statement_Buffer_Address : constant System.Address := Statement_Buffer'Address;
13-
pragma Export (C, Statement_Buffer_Address, "xcov__buf_stmt__S_pkg_1");
13+
pragma Export (C, Statement_Buffer_Address, "xcov__buf_stmt__S_z3791e32c_1");
1414

1515
Decision_Buffer : Coverage_Buffer_Type (0 .. -1) := (others => False);
1616
Decision_Buffer_Address : constant System.Address := Decision_Buffer'Address;
17-
pragma Export (C, Decision_Buffer_Address, "xcov__buf_dc__S_pkg_1");
17+
pragma Export (C, Decision_Buffer_Address, "xcov__buf_dc__S_z3791e32c_1");
1818

1919
MCDC_Buffer : Coverage_Buffer_Type (0 .. -1) := (others => False);
2020
MCDC_Buffer_Address : constant System.Address := MCDC_Buffer'Address;
21-
pragma Export (C, MCDC_Buffer_Address, "xcov__buf_mcdc__S_pkg_1");
21+
pragma Export (C, MCDC_Buffer_Address, "xcov__buf_mcdc__S_z3791e32c_1");
2222

2323
Unit_Name : constant String := "pkg";
2424

@@ -39,15 +39,15 @@ end Buffers_1;
3939
package Buffers_2 is
4040
Statement_Buffer : Coverage_Buffer_Type (0 .. 2) := (others => False);
4141
Statement_Buffer_Address : constant System.Address := Statement_Buffer'Address;
42-
pragma Export (C, Statement_Buffer_Address, "xcov__buf_stmt__B_pkg_2");
42+
pragma Export (C, Statement_Buffer_Address, "xcov__buf_stmt__B_z3791e32c_2");
4343

4444
Decision_Buffer : Coverage_Buffer_Type (0 .. 1) := (others => False);
4545
Decision_Buffer_Address : constant System.Address := Decision_Buffer'Address;
46-
pragma Export (C, Decision_Buffer_Address, "xcov__buf_dc__B_pkg_2");
46+
pragma Export (C, Decision_Buffer_Address, "xcov__buf_dc__B_z3791e32c_2");
4747

4848
MCDC_Buffer : Coverage_Buffer_Type (0 .. 2) := (others => False);
4949
MCDC_Buffer_Address : constant System.Address := MCDC_Buffer'Address;
50-
pragma Export (C, MCDC_Buffer_Address, "xcov__buf_mcdc__B_pkg_2");
50+
pragma Export (C, MCDC_Buffer_Address, "xcov__buf_mcdc__B_z3791e32c_2");
5151

5252
Unit_Name : constant String := "pkg";
5353

@@ -69,6 +69,6 @@ end Buffers_2;
6969
(1 => Buffers_1.Buffers'Access,
7070
2 => Buffers_2.Buffers'Access);
7171
C_Buffers_Group : aliased constant GNATcov_RTS_Coverage_Buffers_Group := ( 2, Buffers_Group'Address);
72-
pragma Export (C, C_Buffers_Group, "gnatcov_rts_buffers_pkg_buffers");
72+
pragma Export (C, C_Buffers_Group, "gnatcov_rts_buffers_z3791e32c_buffers");
7373

74-
end GCVRT.Bpkg;
74+
end GCVRT.Bz3791e32c;

testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-bmain_1.ads renamed to testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-bz794ac68b.ads

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -3,22 +3,22 @@ with Interfaces.C; use Interfaces.C;
33
with System;
44
with GNATcov_RTS.Buffers; use GNATcov_RTS.Buffers;
55
with GNATcov_RTS.Buffers.Lists; use GNATcov_RTS.Buffers.Lists;
6-
package GCVRT.Bmain_1 is
6+
package GCVRT.Bz794ac68b is
77

88
pragma Preelaborate;
99

1010
package Buffers_1 is
1111
Statement_Buffer : Coverage_Buffer_Type (0 .. 0) := (others => False);
1212
Statement_Buffer_Address : constant System.Address := Statement_Buffer'Address;
13-
pragma Export (C, Statement_Buffer_Address, "xcov__buf_stmt__B_main_1_1");
13+
pragma Export (C, Statement_Buffer_Address, "xcov__buf_stmt__B_z794ac68b_1");
1414

1515
Decision_Buffer : Coverage_Buffer_Type (0 .. -1) := (others => False);
1616
Decision_Buffer_Address : constant System.Address := Decision_Buffer'Address;
17-
pragma Export (C, Decision_Buffer_Address, "xcov__buf_dc__B_main_1_1");
17+
pragma Export (C, Decision_Buffer_Address, "xcov__buf_dc__B_z794ac68b_1");
1818

1919
MCDC_Buffer : Coverage_Buffer_Type (0 .. -1) := (others => False);
2020
MCDC_Buffer_Address : constant System.Address := MCDC_Buffer'Address;
21-
pragma Export (C, MCDC_Buffer_Address, "xcov__buf_mcdc__B_main_1_1");
21+
pragma Export (C, MCDC_Buffer_Address, "xcov__buf_mcdc__B_z794ac68b_1");
2222

2323
Unit_Name : constant String := "main_1";
2424

@@ -39,6 +39,6 @@ end Buffers_1;
3939
Buffers_Group : aliased constant Coverage_Buffers_Group :=
4040
(1 => Buffers_1.Buffers'Access);
4141
C_Buffers_Group : aliased constant GNATcov_RTS_Coverage_Buffers_Group := ( 1, Buffers_Group'Address);
42-
pragma Export (C, C_Buffers_Group, "gnatcov_rts_buffers_main_1_buffers");
42+
pragma Export (C, C_Buffers_Group, "gnatcov_rts_buffers_z794ac68b_buffers");
4343

44-
end GCVRT.Bmain_1;
44+
end GCVRT.Bz794ac68b;

testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-bmain_2.ads renamed to testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-bz794ac68c.ads

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -3,22 +3,22 @@ with Interfaces.C; use Interfaces.C;
33
with System;
44
with GNATcov_RTS.Buffers; use GNATcov_RTS.Buffers;
55
with GNATcov_RTS.Buffers.Lists; use GNATcov_RTS.Buffers.Lists;
6-
package GCVRT.Bmain_2 is
6+
package GCVRT.Bz794ac68c is
77

88
pragma Preelaborate;
99

1010
package Buffers_1 is
1111
Statement_Buffer : Coverage_Buffer_Type (0 .. 0) := (others => False);
1212
Statement_Buffer_Address : constant System.Address := Statement_Buffer'Address;
13-
pragma Export (C, Statement_Buffer_Address, "xcov__buf_stmt__B_main_2_1");
13+
pragma Export (C, Statement_Buffer_Address, "xcov__buf_stmt__B_z794ac68c_1");
1414

1515
Decision_Buffer : Coverage_Buffer_Type (0 .. -1) := (others => False);
1616
Decision_Buffer_Address : constant System.Address := Decision_Buffer'Address;
17-
pragma Export (C, Decision_Buffer_Address, "xcov__buf_dc__B_main_2_1");
17+
pragma Export (C, Decision_Buffer_Address, "xcov__buf_dc__B_z794ac68c_1");
1818

1919
MCDC_Buffer : Coverage_Buffer_Type (0 .. -1) := (others => False);
2020
MCDC_Buffer_Address : constant System.Address := MCDC_Buffer'Address;
21-
pragma Export (C, MCDC_Buffer_Address, "xcov__buf_mcdc__B_main_2_1");
21+
pragma Export (C, MCDC_Buffer_Address, "xcov__buf_mcdc__B_z794ac68c_1");
2222

2323
Unit_Name : constant String := "main_2";
2424

@@ -39,6 +39,6 @@ end Buffers_1;
3939
Buffers_Group : aliased constant Coverage_Buffers_Group :=
4040
(1 => Buffers_1.Buffers'Access);
4141
C_Buffers_Group : aliased constant GNATcov_RTS_Coverage_Buffers_Group := ( 1, Buffers_Group'Address);
42-
pragma Export (C, C_Buffers_Group, "gnatcov_rts_buffers_main_2_buffers");
42+
pragma Export (C, C_Buffers_Group, "gnatcov_rts_buffers_z794ac68c_buffers");
4343

44-
end GCVRT.Bmain_2;
44+
end GCVRT.Bz794ac68c;

testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-db_main_1.adb renamed to testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-db_z794ac68b.adb

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ pragma Style_Checks (Off); pragma Warnings (Off);
22
with GNATcov_RTS.Traces.Output.Base64;
33
with Interfaces.C;
44
with GCVRT.Foo;
5-
package body GCVRT.DB_main_1 is
5+
package body GCVRT.DB_z794ac68b is
66

77
procedure Dump_Buffers is
88
begin
@@ -12,4 +12,4 @@ package body GCVRT.DB_main_1 is
1212
Exec_Date => 0);
1313
end Dump_Buffers;
1414

15-
end GCVRT.DB_main_1;
15+
end GCVRT.DB_z794ac68b;

testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-db_main_1.ads renamed to testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-db_z794ac68b.ads

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
pragma Style_Checks (Off); pragma Warnings (Off);
22
with GNATcov_RTS.Buffers;
3-
package GCVRT.DB_main_1 is
3+
package GCVRT.DB_z794ac68b is
44

55
procedure Dump_Buffers;
66
pragma Convention (C, Dump_Buffers);
77

8-
end GCVRT.DB_main_1;
8+
end GCVRT.DB_z794ac68b;

testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-db_main_2.adb renamed to testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-db_z794ac68c.adb

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ pragma Style_Checks (Off); pragma Warnings (Off);
22
with GNATcov_RTS.Traces.Output.Base64;
33
with Interfaces.C;
44
with GCVRT.Foo;
5-
package body GCVRT.DB_main_2 is
5+
package body GCVRT.DB_z794ac68c is
66

77
procedure Dump_Buffers is
88
begin
@@ -12,4 +12,4 @@ package body GCVRT.DB_main_2 is
1212
Exec_Date => 0);
1313
end Dump_Buffers;
1414

15-
end GCVRT.DB_main_2;
15+
end GCVRT.DB_z794ac68c;

testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-db_main_2.ads renamed to testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-db_z794ac68c.ads

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
pragma Style_Checks (Off); pragma Warnings (Off);
22
with GNATcov_RTS.Buffers;
3-
package GCVRT.DB_main_2 is
3+
package GCVRT.DB_z794ac68c is
44

55
procedure Dump_Buffers;
66
pragma Convention (C, Dump_Buffers);
77

8-
end GCVRT.DB_main_2;
8+
end GCVRT.DB_z794ac68c;

‎testsuite/tests/U204-026-arch-mix/gen/arm-elf-linux/gcvrt-foo.ads‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,23 @@
11
pragma Style_Checks (Off); pragma Warnings (Off);
22
with GNATcov_RTS.Buffers.Lists; use GNATcov_RTS.Buffers.Lists;
3-
with GCVRT.Bmain_1;
4-
with GCVRT.Bmain_2;
5-
with GCVRT.Bpkg;
3+
with GCVRT.Bz794ac68b;
4+
with GCVRT.Bz794ac68c;
5+
with GCVRT.Bz3791e32c;
66

77
package GCVRT.Foo is
88

99
pragma Preelaborate;
1010

11-
gnatcov_rts_buffers_main_1_buffers : aliased constant GNATcov_RTS_Coverage_Buffers_Group;
12-
pragma Import (C, gnatcov_rts_buffers_main_1_buffers,"gnatcov_rts_buffers_main_1_buffers");
13-
gnatcov_rts_buffers_main_2_buffers : aliased constant GNATcov_RTS_Coverage_Buffers_Group;
14-
pragma Import (C, gnatcov_rts_buffers_main_2_buffers,"gnatcov_rts_buffers_main_2_buffers");
15-
gnatcov_rts_buffers_pkg_buffers : aliased constant GNATcov_RTS_Coverage_Buffers_Group;
16-
pragma Import (C, gnatcov_rts_buffers_pkg_buffers,"gnatcov_rts_buffers_pkg_buffers");
11+
gnatcov_rts_buffers_z794ac68b_buffers : aliased constant GNATcov_RTS_Coverage_Buffers_Group;
12+
pragma Import (C, gnatcov_rts_buffers_z794ac68b_buffers,"gnatcov_rts_buffers_z794ac68b_buffers");
13+
gnatcov_rts_buffers_z794ac68c_buffers : aliased constant GNATcov_RTS_Coverage_Buffers_Group;
14+
pragma Import (C, gnatcov_rts_buffers_z794ac68c_buffers,"gnatcov_rts_buffers_z794ac68c_buffers");
15+
gnatcov_rts_buffers_z3791e32c_buffers : aliased constant GNATcov_RTS_Coverage_Buffers_Group;
16+
pragma Import (C, gnatcov_rts_buffers_z3791e32c_buffers,"gnatcov_rts_buffers_z3791e32c_buffers");
1717
List : constant GNATcov_RTS.Buffers.Lists.Coverage_Buffers_Group_Array := (
18-
1 => gnatcov_rts_buffers_main_1_buffers'Access,
19-
2 => gnatcov_rts_buffers_main_2_buffers'Access,
20-
3 => gnatcov_rts_buffers_pkg_buffers'Access);
18+
1 => gnatcov_rts_buffers_z794ac68b_buffers'Access,
19+
2 => gnatcov_rts_buffers_z794ac68c_buffers'Access,
20+
3 => gnatcov_rts_buffers_z3791e32c_buffers'Access);
2121
C_List : constant GNATcov_RTS.Buffers.Lists.GNATcov_RTS_Coverage_Buffers_Group_Array :=
2222
( 3, List'Address);
2323
pragma Export (C, C_List, "gnatcov_rts_buffers_array_Foo");

0 commit comments

Comments
 (0)