annotate gcc/ada/libgnat/i-cpoint.adb @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
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 -- I N T E R F A C E S . C . P O I N T E R S --
kono
parents:
diff changeset
6 -- --
kono
parents:
diff changeset
7 -- B o d y --
kono
parents:
diff changeset
8 -- --
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. --
111
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 with Interfaces.C.Strings; use Interfaces.C.Strings;
kono
parents:
diff changeset
33 with System; use System;
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 with Ada.Unchecked_Conversion;
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 package body Interfaces.C.Pointers is
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 type Addr is mod 2 ** System.Parameters.ptr_bits;
kono
parents:
diff changeset
40
kono
parents:
diff changeset
41 function To_Pointer is new Ada.Unchecked_Conversion (Addr, Pointer);
kono
parents:
diff changeset
42 function To_Addr is new Ada.Unchecked_Conversion (Pointer, Addr);
kono
parents:
diff changeset
43 function To_Addr is new Ada.Unchecked_Conversion (ptrdiff_t, Addr);
kono
parents:
diff changeset
44 function To_Ptrdiff is new Ada.Unchecked_Conversion (Addr, ptrdiff_t);
kono
parents:
diff changeset
45
kono
parents:
diff changeset
46 Elmt_Size : constant ptrdiff_t :=
kono
parents:
diff changeset
47 (Element_Array'Component_Size
kono
parents:
diff changeset
48 + Storage_Unit - 1) / Storage_Unit;
kono
parents:
diff changeset
49
kono
parents:
diff changeset
50 subtype Index_Base is Index'Base;
kono
parents:
diff changeset
51
kono
parents:
diff changeset
52 ---------
kono
parents:
diff changeset
53 -- "+" --
kono
parents:
diff changeset
54 ---------
kono
parents:
diff changeset
55
kono
parents:
diff changeset
56 function "+" (Left : Pointer; Right : ptrdiff_t) return Pointer is
kono
parents:
diff changeset
57 begin
kono
parents:
diff changeset
58 if Left = null then
kono
parents:
diff changeset
59 raise Pointer_Error;
kono
parents:
diff changeset
60 end if;
kono
parents:
diff changeset
61
kono
parents:
diff changeset
62 return To_Pointer (To_Addr (Left) + To_Addr (Elmt_Size * Right));
kono
parents:
diff changeset
63 end "+";
kono
parents:
diff changeset
64
kono
parents:
diff changeset
65 function "+" (Left : ptrdiff_t; Right : Pointer) return Pointer is
kono
parents:
diff changeset
66 begin
kono
parents:
diff changeset
67 if Right = null then
kono
parents:
diff changeset
68 raise Pointer_Error;
kono
parents:
diff changeset
69 end if;
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71 return To_Pointer (To_Addr (Elmt_Size * Left) + To_Addr (Right));
kono
parents:
diff changeset
72 end "+";
kono
parents:
diff changeset
73
kono
parents:
diff changeset
74 ---------
kono
parents:
diff changeset
75 -- "-" --
kono
parents:
diff changeset
76 ---------
kono
parents:
diff changeset
77
kono
parents:
diff changeset
78 function "-" (Left : Pointer; Right : ptrdiff_t) return Pointer is
kono
parents:
diff changeset
79 begin
kono
parents:
diff changeset
80 if Left = null then
kono
parents:
diff changeset
81 raise Pointer_Error;
kono
parents:
diff changeset
82 end if;
kono
parents:
diff changeset
83
kono
parents:
diff changeset
84 return To_Pointer (To_Addr (Left) - To_Addr (Right * Elmt_Size));
kono
parents:
diff changeset
85 end "-";
kono
parents:
diff changeset
86
kono
parents:
diff changeset
87 function "-" (Left : Pointer; Right : Pointer) return ptrdiff_t is
kono
parents:
diff changeset
88 begin
kono
parents:
diff changeset
89 if Left = null or else Right = null then
kono
parents:
diff changeset
90 raise Pointer_Error;
kono
parents:
diff changeset
91 end if;
kono
parents:
diff changeset
92
kono
parents:
diff changeset
93 return To_Ptrdiff (To_Addr (Left) - To_Addr (Right)) / Elmt_Size;
kono
parents:
diff changeset
94 end "-";
kono
parents:
diff changeset
95
kono
parents:
diff changeset
96 ----------------
kono
parents:
diff changeset
97 -- Copy_Array --
kono
parents:
diff changeset
98 ----------------
kono
parents:
diff changeset
99
kono
parents:
diff changeset
100 procedure Copy_Array
kono
parents:
diff changeset
101 (Source : Pointer;
kono
parents:
diff changeset
102 Target : Pointer;
kono
parents:
diff changeset
103 Length : ptrdiff_t)
kono
parents:
diff changeset
104 is
kono
parents:
diff changeset
105 T : Pointer;
kono
parents:
diff changeset
106 S : Pointer;
kono
parents:
diff changeset
107
kono
parents:
diff changeset
108 begin
kono
parents:
diff changeset
109 if Source = null or else Target = null then
kono
parents:
diff changeset
110 raise Dereference_Error;
kono
parents:
diff changeset
111
kono
parents:
diff changeset
112 -- Forward copy
kono
parents:
diff changeset
113
kono
parents:
diff changeset
114 elsif To_Addr (Target) <= To_Addr (Source) then
kono
parents:
diff changeset
115 T := Target;
kono
parents:
diff changeset
116 S := Source;
kono
parents:
diff changeset
117 for J in 1 .. Length loop
kono
parents:
diff changeset
118 T.all := S.all;
kono
parents:
diff changeset
119 Increment (T);
kono
parents:
diff changeset
120 Increment (S);
kono
parents:
diff changeset
121 end loop;
kono
parents:
diff changeset
122
kono
parents:
diff changeset
123 -- Backward copy
kono
parents:
diff changeset
124
kono
parents:
diff changeset
125 else
kono
parents:
diff changeset
126 T := Target + Length;
kono
parents:
diff changeset
127 S := Source + Length;
kono
parents:
diff changeset
128 for J in 1 .. Length loop
kono
parents:
diff changeset
129 Decrement (T);
kono
parents:
diff changeset
130 Decrement (S);
kono
parents:
diff changeset
131 T.all := S.all;
kono
parents:
diff changeset
132 end loop;
kono
parents:
diff changeset
133 end if;
kono
parents:
diff changeset
134 end Copy_Array;
kono
parents:
diff changeset
135
kono
parents:
diff changeset
136 ---------------------------
kono
parents:
diff changeset
137 -- Copy_Terminated_Array --
kono
parents:
diff changeset
138 ---------------------------
kono
parents:
diff changeset
139
kono
parents:
diff changeset
140 procedure Copy_Terminated_Array
kono
parents:
diff changeset
141 (Source : Pointer;
kono
parents:
diff changeset
142 Target : Pointer;
kono
parents:
diff changeset
143 Limit : ptrdiff_t := ptrdiff_t'Last;
kono
parents:
diff changeset
144 Terminator : Element := Default_Terminator)
kono
parents:
diff changeset
145 is
kono
parents:
diff changeset
146 L : ptrdiff_t;
kono
parents:
diff changeset
147 S : Pointer := Source;
kono
parents:
diff changeset
148
kono
parents:
diff changeset
149 begin
kono
parents:
diff changeset
150 if Source = null or Target = null then
kono
parents:
diff changeset
151 raise Dereference_Error;
kono
parents:
diff changeset
152 end if;
kono
parents:
diff changeset
153
kono
parents:
diff changeset
154 -- Compute array limited length (including the terminator)
kono
parents:
diff changeset
155
kono
parents:
diff changeset
156 L := 0;
kono
parents:
diff changeset
157 while L < Limit loop
kono
parents:
diff changeset
158 L := L + 1;
kono
parents:
diff changeset
159 exit when S.all = Terminator;
kono
parents:
diff changeset
160 Increment (S);
kono
parents:
diff changeset
161 end loop;
kono
parents:
diff changeset
162
kono
parents:
diff changeset
163 Copy_Array (Source, Target, L);
kono
parents:
diff changeset
164 end Copy_Terminated_Array;
kono
parents:
diff changeset
165
kono
parents:
diff changeset
166 ---------------
kono
parents:
diff changeset
167 -- Decrement --
kono
parents:
diff changeset
168 ---------------
kono
parents:
diff changeset
169
kono
parents:
diff changeset
170 procedure Decrement (Ref : in out Pointer) is
kono
parents:
diff changeset
171 begin
kono
parents:
diff changeset
172 Ref := Ref - 1;
kono
parents:
diff changeset
173 end Decrement;
kono
parents:
diff changeset
174
kono
parents:
diff changeset
175 ---------------
kono
parents:
diff changeset
176 -- Increment --
kono
parents:
diff changeset
177 ---------------
kono
parents:
diff changeset
178
kono
parents:
diff changeset
179 procedure Increment (Ref : in out Pointer) is
kono
parents:
diff changeset
180 begin
kono
parents:
diff changeset
181 Ref := Ref + 1;
kono
parents:
diff changeset
182 end Increment;
kono
parents:
diff changeset
183
kono
parents:
diff changeset
184 -----------
kono
parents:
diff changeset
185 -- Value --
kono
parents:
diff changeset
186 -----------
kono
parents:
diff changeset
187
kono
parents:
diff changeset
188 function Value
kono
parents:
diff changeset
189 (Ref : Pointer;
kono
parents:
diff changeset
190 Terminator : Element := Default_Terminator) return Element_Array
kono
parents:
diff changeset
191 is
kono
parents:
diff changeset
192 P : Pointer;
kono
parents:
diff changeset
193 L : constant Index_Base := Index'First;
kono
parents:
diff changeset
194 H : Index_Base;
kono
parents:
diff changeset
195
kono
parents:
diff changeset
196 begin
kono
parents:
diff changeset
197 if Ref = null then
kono
parents:
diff changeset
198 raise Dereference_Error;
kono
parents:
diff changeset
199
kono
parents:
diff changeset
200 else
kono
parents:
diff changeset
201 H := L;
kono
parents:
diff changeset
202 P := Ref;
kono
parents:
diff changeset
203
kono
parents:
diff changeset
204 loop
kono
parents:
diff changeset
205 exit when P.all = Terminator;
kono
parents:
diff changeset
206 H := Index_Base'Succ (H);
kono
parents:
diff changeset
207 Increment (P);
kono
parents:
diff changeset
208 end loop;
kono
parents:
diff changeset
209
kono
parents:
diff changeset
210 declare
kono
parents:
diff changeset
211 subtype A is Element_Array (L .. H);
kono
parents:
diff changeset
212
kono
parents:
diff changeset
213 type PA is access A;
kono
parents:
diff changeset
214 for PA'Size use System.Parameters.ptr_bits;
kono
parents:
diff changeset
215 function To_PA is new Ada.Unchecked_Conversion (Pointer, PA);
kono
parents:
diff changeset
216
kono
parents:
diff changeset
217 begin
kono
parents:
diff changeset
218 return To_PA (Ref).all;
kono
parents:
diff changeset
219 end;
kono
parents:
diff changeset
220 end if;
kono
parents:
diff changeset
221 end Value;
kono
parents:
diff changeset
222
kono
parents:
diff changeset
223 function Value
kono
parents:
diff changeset
224 (Ref : Pointer;
kono
parents:
diff changeset
225 Length : ptrdiff_t) return Element_Array
kono
parents:
diff changeset
226 is
kono
parents:
diff changeset
227 L : Index_Base;
kono
parents:
diff changeset
228 H : Index_Base;
kono
parents:
diff changeset
229
kono
parents:
diff changeset
230 begin
kono
parents:
diff changeset
231 if Ref = null then
kono
parents:
diff changeset
232 raise Dereference_Error;
kono
parents:
diff changeset
233
kono
parents:
diff changeset
234 -- For length zero, we need to return a null slice, but we can't make
kono
parents:
diff changeset
235 -- the bounds of this slice Index'First, since this could cause a
kono
parents:
diff changeset
236 -- Constraint_Error if Index'First = Index'Base'First.
kono
parents:
diff changeset
237
kono
parents:
diff changeset
238 elsif Length <= 0 then
kono
parents:
diff changeset
239 declare
kono
parents:
diff changeset
240 pragma Warnings (Off); -- kill warnings since X not assigned
kono
parents:
diff changeset
241 X : Element_Array (Index'Succ (Index'First) .. Index'First);
kono
parents:
diff changeset
242 pragma Warnings (On);
kono
parents:
diff changeset
243
kono
parents:
diff changeset
244 begin
kono
parents:
diff changeset
245 return X;
kono
parents:
diff changeset
246 end;
kono
parents:
diff changeset
247
kono
parents:
diff changeset
248 -- Normal case (length non-zero)
kono
parents:
diff changeset
249
kono
parents:
diff changeset
250 else
kono
parents:
diff changeset
251 L := Index'First;
kono
parents:
diff changeset
252 H := Index'Val (Index'Pos (Index'First) + Length - 1);
kono
parents:
diff changeset
253
kono
parents:
diff changeset
254 declare
kono
parents:
diff changeset
255 subtype A is Element_Array (L .. H);
kono
parents:
diff changeset
256
kono
parents:
diff changeset
257 type PA is access A;
kono
parents:
diff changeset
258 for PA'Size use System.Parameters.ptr_bits;
kono
parents:
diff changeset
259 function To_PA is new Ada.Unchecked_Conversion (Pointer, PA);
kono
parents:
diff changeset
260
kono
parents:
diff changeset
261 begin
kono
parents:
diff changeset
262 return To_PA (Ref).all;
kono
parents:
diff changeset
263 end;
kono
parents:
diff changeset
264 end if;
kono
parents:
diff changeset
265 end Value;
kono
parents:
diff changeset
266
kono
parents:
diff changeset
267 --------------------
kono
parents:
diff changeset
268 -- Virtual_Length --
kono
parents:
diff changeset
269 --------------------
kono
parents:
diff changeset
270
kono
parents:
diff changeset
271 function Virtual_Length
kono
parents:
diff changeset
272 (Ref : Pointer;
kono
parents:
diff changeset
273 Terminator : Element := Default_Terminator) return ptrdiff_t
kono
parents:
diff changeset
274 is
kono
parents:
diff changeset
275 P : Pointer;
kono
parents:
diff changeset
276 C : ptrdiff_t;
kono
parents:
diff changeset
277
kono
parents:
diff changeset
278 begin
kono
parents:
diff changeset
279 if Ref = null then
kono
parents:
diff changeset
280 raise Dereference_Error;
kono
parents:
diff changeset
281
kono
parents:
diff changeset
282 else
kono
parents:
diff changeset
283 C := 0;
kono
parents:
diff changeset
284 P := Ref;
kono
parents:
diff changeset
285
kono
parents:
diff changeset
286 while P.all /= Terminator loop
kono
parents:
diff changeset
287 C := C + 1;
kono
parents:
diff changeset
288 Increment (P);
kono
parents:
diff changeset
289 end loop;
kono
parents:
diff changeset
290
kono
parents:
diff changeset
291 return C;
kono
parents:
diff changeset
292 end if;
kono
parents:
diff changeset
293 end Virtual_Length;
kono
parents:
diff changeset
294
kono
parents:
diff changeset
295 end Interfaces.C.Pointers;