annotate gcc/ada/libgnat/s-stalib.adb @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 ------------------------------------------------------------------------------
kono
parents:
diff changeset
2 -- --
kono
parents:
diff changeset
3 -- GNAT COMPILER COMPONENTS --
kono
parents:
diff changeset
4 -- --
kono
parents:
diff changeset
5 -- S Y S T E M . S T A N D A R D _ L I B R A R Y --
kono
parents:
diff changeset
6 -- --
kono
parents:
diff changeset
7 -- B o d y --
kono
parents:
diff changeset
8 -- --
kono
parents:
diff changeset
9 -- Copyright (C) 1995-2017, Free Software Foundation, Inc. --
kono
parents:
diff changeset
10 -- --
kono
parents:
diff changeset
11 -- GNAT is free software; you can redistribute it and/or modify it under --
kono
parents:
diff changeset
12 -- terms of the GNU General Public License as published by the Free Soft- --
kono
parents:
diff changeset
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
kono
parents:
diff changeset
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
kono
parents:
diff changeset
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
kono
parents:
diff changeset
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
kono
parents:
diff changeset
17 -- --
kono
parents:
diff changeset
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
kono
parents:
diff changeset
19 -- additional permissions described in the GCC Runtime Library Exception, --
kono
parents:
diff changeset
20 -- version 3.1, as published by the Free Software Foundation. --
kono
parents:
diff changeset
21 -- --
kono
parents:
diff changeset
22 -- You should have received a copy of the GNU General Public License and --
kono
parents:
diff changeset
23 -- a copy of the GCC Runtime Library Exception along with this program; --
kono
parents:
diff changeset
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
kono
parents:
diff changeset
25 -- <http://www.gnu.org/licenses/>. --
kono
parents:
diff changeset
26 -- --
kono
parents:
diff changeset
27 -- GNAT was originally developed by the GNAT team at New York University. --
kono
parents:
diff changeset
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
kono
parents:
diff changeset
29 -- --
kono
parents:
diff changeset
30 ------------------------------------------------------------------------------
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32 pragma Compiler_Unit_Warning;
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 -- The purpose of this body is simply to ensure that the two with'ed units
kono
parents:
diff changeset
35 -- are properly included in the link. They are not with'ed from the spec
kono
parents:
diff changeset
36 -- of System.Standard_Library, since this would cause order of elaboration
kono
parents:
diff changeset
37 -- problems (Elaborate_Body would have the same problem).
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 pragma Polling (Off);
kono
parents:
diff changeset
40 -- We must turn polling off for this unit, because otherwise we get
kono
parents:
diff changeset
41 -- elaboration circularities with Ada.Exceptions if polling is on.
kono
parents:
diff changeset
42
kono
parents:
diff changeset
43 pragma Warnings (Off);
kono
parents:
diff changeset
44 -- Kill warnings from unused withs. These unused with's are here to make
kono
parents:
diff changeset
45 -- sure the relevant units are loaded and properly elaborated.
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 with System.Soft_Links;
kono
parents:
diff changeset
48 -- Referenced directly from generated code using external symbols so it
kono
parents:
diff changeset
49 -- must always be present in a build, even if no unit has a direct with
kono
parents:
diff changeset
50 -- of this unit. Also referenced from exception handling routines.
kono
parents:
diff changeset
51 -- This is needed for programs that don't use exceptions explicitly but
kono
parents:
diff changeset
52 -- direct calls to Ada.Exceptions are generated by gigi (for example,
kono
parents:
diff changeset
53 -- by calling __gnat_raise_constraint_error directly).
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 with System.Memory;
kono
parents:
diff changeset
56 -- Referenced directly from generated code using external symbols, so it
kono
parents:
diff changeset
57 -- must always be present in a build, even if no unit has a direct with
kono
parents:
diff changeset
58 -- of this unit.
kono
parents:
diff changeset
59
kono
parents:
diff changeset
60 pragma Warnings (On);
kono
parents:
diff changeset
61
kono
parents:
diff changeset
62 package body System.Standard_Library is
kono
parents:
diff changeset
63
kono
parents:
diff changeset
64 Runtime_Finalized : Boolean := False;
kono
parents:
diff changeset
65 -- Set to True when adafinal is called. Used to ensure that subsequent
kono
parents:
diff changeset
66 -- calls to adafinal after the first have no effect.
kono
parents:
diff changeset
67
kono
parents:
diff changeset
68 --------------------------
kono
parents:
diff changeset
69 -- Abort_Undefer_Direct --
kono
parents:
diff changeset
70 --------------------------
kono
parents:
diff changeset
71
kono
parents:
diff changeset
72 procedure Abort_Undefer_Direct is
kono
parents:
diff changeset
73 begin
kono
parents:
diff changeset
74 System.Soft_Links.Abort_Undefer.all;
kono
parents:
diff changeset
75 end Abort_Undefer_Direct;
kono
parents:
diff changeset
76
kono
parents:
diff changeset
77 --------------
kono
parents:
diff changeset
78 -- Adafinal --
kono
parents:
diff changeset
79 --------------
kono
parents:
diff changeset
80
kono
parents:
diff changeset
81 procedure Adafinal is
kono
parents:
diff changeset
82 begin
kono
parents:
diff changeset
83 if not Runtime_Finalized then
kono
parents:
diff changeset
84 Runtime_Finalized := True;
kono
parents:
diff changeset
85 System.Soft_Links.Adafinal.all;
kono
parents:
diff changeset
86 end if;
kono
parents:
diff changeset
87 end Adafinal;
kono
parents:
diff changeset
88
kono
parents:
diff changeset
89 -----------------
kono
parents:
diff changeset
90 -- Break_Start --
kono
parents:
diff changeset
91 -----------------
kono
parents:
diff changeset
92
kono
parents:
diff changeset
93 procedure Break_Start;
kono
parents:
diff changeset
94 pragma Export (C, Break_Start, "__gnat_break_start");
kono
parents:
diff changeset
95 -- This is a dummy procedure that is called at the start of execution.
kono
parents:
diff changeset
96 -- Its sole purpose is to provide a well defined point for the placement
kono
parents:
diff changeset
97 -- of a main program breakpoint. This is not used anymore but kept for
kono
parents:
diff changeset
98 -- bootstrapping issues (still referenced by old gnatbind generated files).
kono
parents:
diff changeset
99
kono
parents:
diff changeset
100 procedure Break_Start is
kono
parents:
diff changeset
101 begin
kono
parents:
diff changeset
102 null;
kono
parents:
diff changeset
103 end Break_Start;
kono
parents:
diff changeset
104
kono
parents:
diff changeset
105 end System.Standard_Library;