annotate gcc/ada/switch-b.adb @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
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 W I T C H - B --
kono
parents:
diff changeset
6 -- --
kono
parents:
diff changeset
7 -- B o d y --
kono
parents:
diff changeset
8 -- --
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
9 -- Copyright (C) 2001-2019, 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. See the GNU General Public License --
kono
parents:
diff changeset
17 -- for more details. You should have received a copy of the GNU General --
kono
parents:
diff changeset
18 -- Public License distributed with GNAT; see file COPYING3. If not, go to --
kono
parents:
diff changeset
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
kono
parents:
diff changeset
20 -- --
kono
parents:
diff changeset
21 -- GNAT was originally developed by the GNAT team at New York University. --
kono
parents:
diff changeset
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
kono
parents:
diff changeset
23 -- --
kono
parents:
diff changeset
24 ------------------------------------------------------------------------------
kono
parents:
diff changeset
25
kono
parents:
diff changeset
26 with Bindgen;
kono
parents:
diff changeset
27 with Debug; use Debug;
kono
parents:
diff changeset
28 with Osint; use Osint;
kono
parents:
diff changeset
29 with Opt; use Opt;
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 with System.OS_Lib; use System.OS_Lib;
kono
parents:
diff changeset
32 with System.WCh_Con; use System.WCh_Con;
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 package body Switch.B is
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 --------------------------
kono
parents:
diff changeset
37 -- Scan_Binder_Switches --
kono
parents:
diff changeset
38 --------------------------
kono
parents:
diff changeset
39
kono
parents:
diff changeset
40 procedure Scan_Binder_Switches (Switch_Chars : String) is
kono
parents:
diff changeset
41 Max : constant Integer := Switch_Chars'Last;
kono
parents:
diff changeset
42 Ptr : Integer := Switch_Chars'First;
kono
parents:
diff changeset
43 C : Character := ' ';
kono
parents:
diff changeset
44
kono
parents:
diff changeset
45 function Get_Optional_Filename return String_Ptr;
kono
parents:
diff changeset
46 -- If current character is '=', return a newly allocated string that
kono
parents:
diff changeset
47 -- contains the remainder of the current switch (after the '='), else
kono
parents:
diff changeset
48 -- return null.
kono
parents:
diff changeset
49
kono
parents:
diff changeset
50 function Get_Stack_Size (S : Character) return Int;
kono
parents:
diff changeset
51 -- Used for -d and -D to scan stack size including handling k/m. S is
kono
parents:
diff changeset
52 -- set to 'd' or 'D' to indicate the switch being scanned.
kono
parents:
diff changeset
53
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
54 procedure Scan_Debug_Switches;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
55 -- Scan out debug switches
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
56
111
kono
parents:
diff changeset
57 ---------------------------
kono
parents:
diff changeset
58 -- Get_Optional_Filename --
kono
parents:
diff changeset
59 ---------------------------
kono
parents:
diff changeset
60
kono
parents:
diff changeset
61 function Get_Optional_Filename return String_Ptr is
kono
parents:
diff changeset
62 Result : String_Ptr;
kono
parents:
diff changeset
63
kono
parents:
diff changeset
64 begin
kono
parents:
diff changeset
65 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
kono
parents:
diff changeset
66 if Ptr = Max then
kono
parents:
diff changeset
67 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
68 else
kono
parents:
diff changeset
69 Result := new String'(Switch_Chars (Ptr + 1 .. Max));
kono
parents:
diff changeset
70 Ptr := Max + 1;
kono
parents:
diff changeset
71 return Result;
kono
parents:
diff changeset
72 end if;
kono
parents:
diff changeset
73 end if;
kono
parents:
diff changeset
74
kono
parents:
diff changeset
75 return null;
kono
parents:
diff changeset
76 end Get_Optional_Filename;
kono
parents:
diff changeset
77
kono
parents:
diff changeset
78 --------------------
kono
parents:
diff changeset
79 -- Get_Stack_Size --
kono
parents:
diff changeset
80 --------------------
kono
parents:
diff changeset
81
kono
parents:
diff changeset
82 function Get_Stack_Size (S : Character) return Int is
kono
parents:
diff changeset
83 Result : Int;
kono
parents:
diff changeset
84
kono
parents:
diff changeset
85 begin
kono
parents:
diff changeset
86 Scan_Pos (Switch_Chars, Max, Ptr, Result, S);
kono
parents:
diff changeset
87
kono
parents:
diff changeset
88 -- In the following code, we enable overflow checking since the
kono
parents:
diff changeset
89 -- multiplication by K or M may cause overflow, which is an error.
kono
parents:
diff changeset
90
kono
parents:
diff changeset
91 declare
kono
parents:
diff changeset
92 pragma Unsuppress (Overflow_Check);
kono
parents:
diff changeset
93
kono
parents:
diff changeset
94 begin
kono
parents:
diff changeset
95 -- Check for additional character 'k' (for kilobytes) or 'm' (for
kono
parents:
diff changeset
96 -- Megabytes), but only if we have not reached the end of the
kono
parents:
diff changeset
97 -- switch string. Note that if this appears before the end of the
kono
parents:
diff changeset
98 -- string we will get an error when we test to make sure that the
kono
parents:
diff changeset
99 -- string is exhausted (at the end of the case).
kono
parents:
diff changeset
100
kono
parents:
diff changeset
101 if Ptr <= Max then
kono
parents:
diff changeset
102 if Switch_Chars (Ptr) = 'k' then
kono
parents:
diff changeset
103 Result := Result * 1024;
kono
parents:
diff changeset
104 Ptr := Ptr + 1;
kono
parents:
diff changeset
105
kono
parents:
diff changeset
106 elsif Switch_Chars (Ptr) = 'm' then
kono
parents:
diff changeset
107 Result := Result * (1024 * 1024);
kono
parents:
diff changeset
108 Ptr := Ptr + 1;
kono
parents:
diff changeset
109 end if;
kono
parents:
diff changeset
110 end if;
kono
parents:
diff changeset
111
kono
parents:
diff changeset
112 exception
kono
parents:
diff changeset
113 when Constraint_Error =>
kono
parents:
diff changeset
114 Osint.Fail ("numeric value out of range for switch: " & S);
kono
parents:
diff changeset
115 end;
kono
parents:
diff changeset
116
kono
parents:
diff changeset
117 return Result;
kono
parents:
diff changeset
118 end Get_Stack_Size;
kono
parents:
diff changeset
119
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
120 -------------------------
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
121 -- Scan_Debug_Switches --
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
122 -------------------------
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
123
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
124 procedure Scan_Debug_Switches is
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
125 Dot : Boolean := False;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
126 Underscore : Boolean := False;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
127
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
128 begin
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
129 while Ptr <= Max loop
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
130 C := Switch_Chars (Ptr);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
131
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
132 -- Binder debug flags come in the following forms:
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
133 --
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
134 -- letter
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
135 -- . letter
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
136 -- _ letter
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
137 --
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
138 -- digit
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
139 -- . digit
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
140 -- _ digit
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
141 --
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
142 -- Note that the processing of switch -d aleady takes care of the
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
143 -- case where the first flag is a digit (default stack size).
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
144
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
145 if C in '1' .. '9' or else
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
146 C in 'a' .. 'z' or else
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
147 C in 'A' .. 'Z'
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
148 then
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
149 -- . letter
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
150 -- . digit
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
151
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
152 if Dot then
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
153 Set_Dotted_Debug_Flag (C);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
154 Dot := False;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
155
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
156 -- _ letter
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
157 -- _ digit
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
158
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
159 elsif Underscore then
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
160 Set_Underscored_Debug_Flag (C);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
161 Underscore := False;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
162
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
163 -- letter
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
164 -- digit
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
165
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
166 else
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
167 Set_Debug_Flag (C);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
168 end if;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
169
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
170 elsif C = '.' then
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
171 Dot := True;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
172
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
173 elsif C = '_' then
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
174 Underscore := True;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
175
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
176 else
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
177 Bad_Switch (Switch_Chars);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
178 end if;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
179
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
180 Ptr := Ptr + 1;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
181 end loop;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
182 end Scan_Debug_Switches;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
183
111
kono
parents:
diff changeset
184 -- Start of processing for Scan_Binder_Switches
kono
parents:
diff changeset
185
kono
parents:
diff changeset
186 begin
kono
parents:
diff changeset
187 -- Skip past the initial character (must be the switch character)
kono
parents:
diff changeset
188
kono
parents:
diff changeset
189 if Ptr = Max then
kono
parents:
diff changeset
190 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
191 else
kono
parents:
diff changeset
192 Ptr := Ptr + 1;
kono
parents:
diff changeset
193 end if;
kono
parents:
diff changeset
194
kono
parents:
diff changeset
195 -- A little check, "gnat" at the start of a switch is not allowed except
kono
parents:
diff changeset
196 -- for the compiler
kono
parents:
diff changeset
197
kono
parents:
diff changeset
198 if Max >= Ptr + 3
kono
parents:
diff changeset
199 and then Switch_Chars (Ptr .. Ptr + 3) = "gnat"
kono
parents:
diff changeset
200 then
kono
parents:
diff changeset
201 Osint.Fail ("invalid switch: """ & Switch_Chars & """"
kono
parents:
diff changeset
202 & " (gnat not needed here)");
kono
parents:
diff changeset
203 end if;
kono
parents:
diff changeset
204
kono
parents:
diff changeset
205 -- Loop to scan through switches given in switch string
kono
parents:
diff changeset
206
kono
parents:
diff changeset
207 Check_Switch : begin
kono
parents:
diff changeset
208 C := Switch_Chars (Ptr);
kono
parents:
diff changeset
209
kono
parents:
diff changeset
210 case C is
kono
parents:
diff changeset
211
kono
parents:
diff changeset
212 -- Processing for a switch
kono
parents:
diff changeset
213
kono
parents:
diff changeset
214 when 'a' =>
kono
parents:
diff changeset
215 Ptr := Ptr + 1;
kono
parents:
diff changeset
216 Use_Pragma_Linker_Constructor := True;
kono
parents:
diff changeset
217
kono
parents:
diff changeset
218 -- Processing for A switch
kono
parents:
diff changeset
219
kono
parents:
diff changeset
220 when 'A' =>
kono
parents:
diff changeset
221 Ptr := Ptr + 1;
kono
parents:
diff changeset
222 Output_ALI_List := True;
kono
parents:
diff changeset
223 ALI_List_Filename := Get_Optional_Filename;
kono
parents:
diff changeset
224
kono
parents:
diff changeset
225 -- Processing for b switch
kono
parents:
diff changeset
226
kono
parents:
diff changeset
227 when 'b' =>
kono
parents:
diff changeset
228 Ptr := Ptr + 1;
kono
parents:
diff changeset
229 Brief_Output := True;
kono
parents:
diff changeset
230
kono
parents:
diff changeset
231 -- Processing for c switch
kono
parents:
diff changeset
232
kono
parents:
diff changeset
233 when 'c' =>
kono
parents:
diff changeset
234 Ptr := Ptr + 1;
kono
parents:
diff changeset
235 Check_Only := True;
kono
parents:
diff changeset
236
kono
parents:
diff changeset
237 -- Processing for d switch
kono
parents:
diff changeset
238
kono
parents:
diff changeset
239 when 'd' =>
kono
parents:
diff changeset
240 if Ptr = Max then
kono
parents:
diff changeset
241 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
242 end if;
kono
parents:
diff changeset
243
kono
parents:
diff changeset
244 Ptr := Ptr + 1;
kono
parents:
diff changeset
245 C := Switch_Chars (Ptr);
kono
parents:
diff changeset
246
kono
parents:
diff changeset
247 -- Case where character after -d is a digit (default stack size)
kono
parents:
diff changeset
248
kono
parents:
diff changeset
249 if C in '0' .. '9' then
kono
parents:
diff changeset
250
kono
parents:
diff changeset
251 -- In this case, we process the default primary stack size
kono
parents:
diff changeset
252
kono
parents:
diff changeset
253 Default_Stack_Size := Get_Stack_Size ('d');
kono
parents:
diff changeset
254
kono
parents:
diff changeset
255 -- Case where character after -d is not digit (debug flags)
kono
parents:
diff changeset
256
kono
parents:
diff changeset
257 else
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
258 Scan_Debug_Switches;
111
kono
parents:
diff changeset
259 end if;
kono
parents:
diff changeset
260
kono
parents:
diff changeset
261 -- Processing for D switch
kono
parents:
diff changeset
262
kono
parents:
diff changeset
263 when 'D' =>
kono
parents:
diff changeset
264 if Ptr = Max then
kono
parents:
diff changeset
265 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
266 end if;
kono
parents:
diff changeset
267
kono
parents:
diff changeset
268 Ptr := Ptr + 1;
kono
parents:
diff changeset
269 Default_Sec_Stack_Size := Get_Stack_Size ('D');
kono
parents:
diff changeset
270
kono
parents:
diff changeset
271 -- Processing for e switch
kono
parents:
diff changeset
272
kono
parents:
diff changeset
273 when 'e' =>
kono
parents:
diff changeset
274 Ptr := Ptr + 1;
kono
parents:
diff changeset
275 Elab_Dependency_Output := True;
kono
parents:
diff changeset
276
kono
parents:
diff changeset
277 -- Processing for E switch
kono
parents:
diff changeset
278
kono
parents:
diff changeset
279 when 'E' =>
kono
parents:
diff changeset
280
kono
parents:
diff changeset
281 -- -E is equivalent to -Ea (see below)
kono
parents:
diff changeset
282
kono
parents:
diff changeset
283 Exception_Tracebacks := True;
kono
parents:
diff changeset
284 Ptr := Ptr + 1;
kono
parents:
diff changeset
285
kono
parents:
diff changeset
286 if Ptr <= Max then
kono
parents:
diff changeset
287 case Switch_Chars (Ptr) is
kono
parents:
diff changeset
288
kono
parents:
diff changeset
289 -- -Ea sets Exception_Tracebacks
kono
parents:
diff changeset
290
kono
parents:
diff changeset
291 when 'a' => null;
kono
parents:
diff changeset
292
kono
parents:
diff changeset
293 -- -Es sets both Exception_Tracebacks and
kono
parents:
diff changeset
294 -- Exception_Tracebacks_Symbolic.
kono
parents:
diff changeset
295
kono
parents:
diff changeset
296 when 's' => Exception_Tracebacks_Symbolic := True;
kono
parents:
diff changeset
297 when others => Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
298 end case;
kono
parents:
diff changeset
299
kono
parents:
diff changeset
300 Ptr := Ptr + 1;
kono
parents:
diff changeset
301 end if;
kono
parents:
diff changeset
302
kono
parents:
diff changeset
303 -- Processing for f switch
kono
parents:
diff changeset
304
kono
parents:
diff changeset
305 when 'f' =>
kono
parents:
diff changeset
306 if Ptr = Max then
kono
parents:
diff changeset
307 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
308 end if;
kono
parents:
diff changeset
309
kono
parents:
diff changeset
310 Force_Elab_Order_File :=
kono
parents:
diff changeset
311 new String'(Switch_Chars (Ptr + 1 .. Max));
kono
parents:
diff changeset
312
kono
parents:
diff changeset
313 Ptr := Max + 1;
kono
parents:
diff changeset
314
kono
parents:
diff changeset
315 if not Is_Read_Accessible_File (Force_Elab_Order_File.all) then
kono
parents:
diff changeset
316 Osint.Fail (Force_Elab_Order_File.all & ": file not found");
kono
parents:
diff changeset
317 end if;
kono
parents:
diff changeset
318
kono
parents:
diff changeset
319 -- Processing for F switch
kono
parents:
diff changeset
320
kono
parents:
diff changeset
321 when 'F' =>
kono
parents:
diff changeset
322 Ptr := Ptr + 1;
kono
parents:
diff changeset
323 Force_Checking_Of_Elaboration_Flags := True;
kono
parents:
diff changeset
324
kono
parents:
diff changeset
325 -- Processing for g switch
kono
parents:
diff changeset
326
kono
parents:
diff changeset
327 when 'g' =>
kono
parents:
diff changeset
328 Ptr := Ptr + 1;
kono
parents:
diff changeset
329
kono
parents:
diff changeset
330 if Ptr <= Max then
kono
parents:
diff changeset
331 C := Switch_Chars (Ptr);
kono
parents:
diff changeset
332
kono
parents:
diff changeset
333 if C in '0' .. '3' then
kono
parents:
diff changeset
334 Debugger_Level :=
kono
parents:
diff changeset
335 Character'Pos
kono
parents:
diff changeset
336 (Switch_Chars (Ptr)) - Character'Pos ('0');
kono
parents:
diff changeset
337 Ptr := Ptr + 1;
kono
parents:
diff changeset
338 end if;
kono
parents:
diff changeset
339
kono
parents:
diff changeset
340 else
kono
parents:
diff changeset
341 Debugger_Level := 2;
kono
parents:
diff changeset
342 end if;
kono
parents:
diff changeset
343
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
344 -- Processing for G switch
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
345
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
346 when 'G' =>
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
347 Ptr := Ptr + 1;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
348 Generate_C_Code := True;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
349
111
kono
parents:
diff changeset
350 -- Processing for h switch
kono
parents:
diff changeset
351
kono
parents:
diff changeset
352 when 'h' =>
kono
parents:
diff changeset
353 Ptr := Ptr + 1;
kono
parents:
diff changeset
354 Usage_Requested := True;
kono
parents:
diff changeset
355
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
356 -- Processing for H switch
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
357
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
358 when 'H' =>
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
359 Ptr := Ptr + 1;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
360 Legacy_Elaboration_Order := True;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
361
111
kono
parents:
diff changeset
362 -- Processing for i switch
kono
parents:
diff changeset
363
kono
parents:
diff changeset
364 when 'i' =>
kono
parents:
diff changeset
365 if Ptr = Max then
kono
parents:
diff changeset
366 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
367 end if;
kono
parents:
diff changeset
368
kono
parents:
diff changeset
369 Ptr := Ptr + 1;
kono
parents:
diff changeset
370 C := Switch_Chars (Ptr);
kono
parents:
diff changeset
371
kono
parents:
diff changeset
372 if C in '1' .. '5'
kono
parents:
diff changeset
373 or else C = '8'
kono
parents:
diff changeset
374 or else C = 'p'
kono
parents:
diff changeset
375 or else C = 'f'
kono
parents:
diff changeset
376 or else C = 'n'
kono
parents:
diff changeset
377 or else C = 'w'
kono
parents:
diff changeset
378 then
kono
parents:
diff changeset
379 Identifier_Character_Set := C;
kono
parents:
diff changeset
380 Ptr := Ptr + 1;
kono
parents:
diff changeset
381 else
kono
parents:
diff changeset
382 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
383 end if;
kono
parents:
diff changeset
384
kono
parents:
diff changeset
385 -- Processing for K switch
kono
parents:
diff changeset
386
kono
parents:
diff changeset
387 when 'K' =>
kono
parents:
diff changeset
388 Ptr := Ptr + 1;
kono
parents:
diff changeset
389 Output_Linker_Option_List := True;
kono
parents:
diff changeset
390
kono
parents:
diff changeset
391 -- Processing for l switch
kono
parents:
diff changeset
392
kono
parents:
diff changeset
393 when 'l' =>
kono
parents:
diff changeset
394 Ptr := Ptr + 1;
kono
parents:
diff changeset
395 Elab_Order_Output := True;
kono
parents:
diff changeset
396
kono
parents:
diff changeset
397 -- Processing for m switch
kono
parents:
diff changeset
398
kono
parents:
diff changeset
399 when 'm' =>
kono
parents:
diff changeset
400 if Ptr = Max then
kono
parents:
diff changeset
401 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
402 end if;
kono
parents:
diff changeset
403
kono
parents:
diff changeset
404 Ptr := Ptr + 1;
kono
parents:
diff changeset
405 Scan_Pos (Switch_Chars, Max, Ptr, Maximum_Messages, C);
kono
parents:
diff changeset
406
kono
parents:
diff changeset
407 -- Processing for n switch
kono
parents:
diff changeset
408
kono
parents:
diff changeset
409 when 'n' =>
kono
parents:
diff changeset
410 Ptr := Ptr + 1;
kono
parents:
diff changeset
411 Bind_Main_Program := False;
kono
parents:
diff changeset
412
kono
parents:
diff changeset
413 -- Note: The -L option of the binder also implies -n, so
kono
parents:
diff changeset
414 -- any change here must also be reflected in the processing
kono
parents:
diff changeset
415 -- for -L that is found in Gnatbind.Scan_Bind_Arg.
kono
parents:
diff changeset
416
kono
parents:
diff changeset
417 -- Processing for o switch
kono
parents:
diff changeset
418
kono
parents:
diff changeset
419 when 'o' =>
kono
parents:
diff changeset
420 Ptr := Ptr + 1;
kono
parents:
diff changeset
421
kono
parents:
diff changeset
422 if Output_File_Name_Present then
kono
parents:
diff changeset
423 Osint.Fail ("duplicate -o switch");
kono
parents:
diff changeset
424 else
kono
parents:
diff changeset
425 Output_File_Name_Present := True;
kono
parents:
diff changeset
426 end if;
kono
parents:
diff changeset
427
kono
parents:
diff changeset
428 -- Processing for O switch
kono
parents:
diff changeset
429
kono
parents:
diff changeset
430 when 'O' =>
kono
parents:
diff changeset
431 Ptr := Ptr + 1;
kono
parents:
diff changeset
432 Output_Object_List := True;
kono
parents:
diff changeset
433 Object_List_Filename := Get_Optional_Filename;
kono
parents:
diff changeset
434
kono
parents:
diff changeset
435 -- Processing for p switch
kono
parents:
diff changeset
436
kono
parents:
diff changeset
437 when 'p' =>
kono
parents:
diff changeset
438 Ptr := Ptr + 1;
kono
parents:
diff changeset
439 Pessimistic_Elab_Order := True;
kono
parents:
diff changeset
440
kono
parents:
diff changeset
441 -- Processing for P switch
kono
parents:
diff changeset
442
kono
parents:
diff changeset
443 when 'P' =>
kono
parents:
diff changeset
444 Ptr := Ptr + 1;
kono
parents:
diff changeset
445 CodePeer_Mode := True;
kono
parents:
diff changeset
446
kono
parents:
diff changeset
447 -- Processing for q switch
kono
parents:
diff changeset
448
kono
parents:
diff changeset
449 when 'q' =>
kono
parents:
diff changeset
450 Ptr := Ptr + 1;
kono
parents:
diff changeset
451 Quiet_Output := True;
kono
parents:
diff changeset
452
kono
parents:
diff changeset
453 -- Processing for Q switch
kono
parents:
diff changeset
454
kono
parents:
diff changeset
455 when 'Q' =>
kono
parents:
diff changeset
456 if Ptr = Max then
kono
parents:
diff changeset
457 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
458 end if;
kono
parents:
diff changeset
459
kono
parents:
diff changeset
460 Ptr := Ptr + 1;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
461 Scan_Nat
111
kono
parents:
diff changeset
462 (Switch_Chars, Max, Ptr,
kono
parents:
diff changeset
463 Quantity_Of_Default_Size_Sec_Stacks, C);
kono
parents:
diff changeset
464
kono
parents:
diff changeset
465 -- Processing for r switch
kono
parents:
diff changeset
466
kono
parents:
diff changeset
467 when 'r' =>
kono
parents:
diff changeset
468 Ptr := Ptr + 1;
kono
parents:
diff changeset
469 List_Restrictions := True;
kono
parents:
diff changeset
470
kono
parents:
diff changeset
471 -- Processing for R switch
kono
parents:
diff changeset
472
kono
parents:
diff changeset
473 when 'R' =>
kono
parents:
diff changeset
474 Ptr := Ptr + 1;
kono
parents:
diff changeset
475 List_Closure := True;
kono
parents:
diff changeset
476
kono
parents:
diff changeset
477 if Ptr <= Max and then Switch_Chars (Ptr) = 'a' then
kono
parents:
diff changeset
478 Ptr := Ptr + 1;
kono
parents:
diff changeset
479 List_Closure_All := True;
kono
parents:
diff changeset
480 end if;
kono
parents:
diff changeset
481
kono
parents:
diff changeset
482 -- Processing for s switch
kono
parents:
diff changeset
483
kono
parents:
diff changeset
484 when 's' =>
kono
parents:
diff changeset
485 Ptr := Ptr + 1;
kono
parents:
diff changeset
486 All_Sources := True;
kono
parents:
diff changeset
487 Check_Source_Files := True;
kono
parents:
diff changeset
488
kono
parents:
diff changeset
489 -- Processing for t switch
kono
parents:
diff changeset
490
kono
parents:
diff changeset
491 when 't' =>
kono
parents:
diff changeset
492 Ptr := Ptr + 1;
kono
parents:
diff changeset
493 Tolerate_Consistency_Errors := True;
kono
parents:
diff changeset
494
kono
parents:
diff changeset
495 -- Processing for T switch
kono
parents:
diff changeset
496
kono
parents:
diff changeset
497 when 'T' =>
kono
parents:
diff changeset
498 if Ptr = Max then
kono
parents:
diff changeset
499 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
500 end if;
kono
parents:
diff changeset
501
kono
parents:
diff changeset
502 Ptr := Ptr + 1;
kono
parents:
diff changeset
503 Time_Slice_Set := True;
kono
parents:
diff changeset
504 Scan_Nat (Switch_Chars, Max, Ptr, Time_Slice_Value, C);
kono
parents:
diff changeset
505 Time_Slice_Value := Time_Slice_Value * 1_000;
kono
parents:
diff changeset
506
kono
parents:
diff changeset
507 -- Processing for u switch
kono
parents:
diff changeset
508
kono
parents:
diff changeset
509 when 'u' =>
kono
parents:
diff changeset
510 if Ptr = Max then
kono
parents:
diff changeset
511 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
512 end if;
kono
parents:
diff changeset
513
kono
parents:
diff changeset
514 Ptr := Ptr + 1;
kono
parents:
diff changeset
515 Dynamic_Stack_Measurement := True;
kono
parents:
diff changeset
516 Scan_Nat
kono
parents:
diff changeset
517 (Switch_Chars,
kono
parents:
diff changeset
518 Max,
kono
parents:
diff changeset
519 Ptr,
kono
parents:
diff changeset
520 Dynamic_Stack_Measurement_Array_Size,
kono
parents:
diff changeset
521 C);
kono
parents:
diff changeset
522
kono
parents:
diff changeset
523 -- Processing for v switch
kono
parents:
diff changeset
524
kono
parents:
diff changeset
525 when 'v' =>
kono
parents:
diff changeset
526 Ptr := Ptr + 1;
kono
parents:
diff changeset
527 Verbose_Mode := True;
kono
parents:
diff changeset
528
kono
parents:
diff changeset
529 -- Processing for V switch
kono
parents:
diff changeset
530
kono
parents:
diff changeset
531 when 'V' =>
kono
parents:
diff changeset
532 declare
kono
parents:
diff changeset
533 Eq : Integer;
kono
parents:
diff changeset
534 begin
kono
parents:
diff changeset
535 Ptr := Ptr + 1;
kono
parents:
diff changeset
536 Eq := Ptr;
kono
parents:
diff changeset
537 while Eq <= Max and then Switch_Chars (Eq) /= '=' loop
kono
parents:
diff changeset
538 Eq := Eq + 1;
kono
parents:
diff changeset
539 end loop;
kono
parents:
diff changeset
540 if Eq = Ptr or else Eq = Max then
kono
parents:
diff changeset
541 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
542 end if;
kono
parents:
diff changeset
543 Bindgen.Set_Bind_Env
kono
parents:
diff changeset
544 (Key => Switch_Chars (Ptr .. Eq - 1),
kono
parents:
diff changeset
545 Value => Switch_Chars (Eq + 1 .. Max));
kono
parents:
diff changeset
546 Ptr := Max + 1;
kono
parents:
diff changeset
547 end;
kono
parents:
diff changeset
548
kono
parents:
diff changeset
549 -- Processing for w switch
kono
parents:
diff changeset
550
kono
parents:
diff changeset
551 when 'w' =>
kono
parents:
diff changeset
552 if Ptr = Max then
kono
parents:
diff changeset
553 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
554 end if;
kono
parents:
diff changeset
555
kono
parents:
diff changeset
556 -- For the binder we only allow suppress/error cases
kono
parents:
diff changeset
557
kono
parents:
diff changeset
558 Ptr := Ptr + 1;
kono
parents:
diff changeset
559
kono
parents:
diff changeset
560 case Switch_Chars (Ptr) is
kono
parents:
diff changeset
561 when 'e' =>
kono
parents:
diff changeset
562 Warning_Mode := Treat_As_Error;
kono
parents:
diff changeset
563
kono
parents:
diff changeset
564 when 'E' =>
kono
parents:
diff changeset
565 Warning_Mode := Treat_Run_Time_Warnings_As_Errors;
kono
parents:
diff changeset
566
kono
parents:
diff changeset
567 when 's' =>
kono
parents:
diff changeset
568 Warning_Mode := Suppress;
kono
parents:
diff changeset
569
kono
parents:
diff changeset
570 when others =>
kono
parents:
diff changeset
571 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
572 end case;
kono
parents:
diff changeset
573
kono
parents:
diff changeset
574 Ptr := Ptr + 1;
kono
parents:
diff changeset
575
kono
parents:
diff changeset
576 -- Processing for W switch
kono
parents:
diff changeset
577
kono
parents:
diff changeset
578 when 'W' =>
kono
parents:
diff changeset
579 Ptr := Ptr + 1;
kono
parents:
diff changeset
580
kono
parents:
diff changeset
581 if Ptr > Max then
kono
parents:
diff changeset
582 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
583 end if;
kono
parents:
diff changeset
584
kono
parents:
diff changeset
585 begin
kono
parents:
diff changeset
586 Wide_Character_Encoding_Method :=
kono
parents:
diff changeset
587 Get_WC_Encoding_Method (Switch_Chars (Ptr));
kono
parents:
diff changeset
588 exception
kono
parents:
diff changeset
589 when Constraint_Error =>
kono
parents:
diff changeset
590 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
591 end;
kono
parents:
diff changeset
592
kono
parents:
diff changeset
593 Wide_Character_Encoding_Method_Specified := True;
kono
parents:
diff changeset
594
kono
parents:
diff changeset
595 Upper_Half_Encoding :=
kono
parents:
diff changeset
596 Wide_Character_Encoding_Method in WC_Upper_Half_Encoding_Method;
kono
parents:
diff changeset
597
kono
parents:
diff changeset
598 Ptr := Ptr + 1;
kono
parents:
diff changeset
599
kono
parents:
diff changeset
600 -- Processing for x switch
kono
parents:
diff changeset
601
kono
parents:
diff changeset
602 when 'x' =>
kono
parents:
diff changeset
603 Ptr := Ptr + 1;
kono
parents:
diff changeset
604 All_Sources := False;
kono
parents:
diff changeset
605 Check_Source_Files := False;
kono
parents:
diff changeset
606
kono
parents:
diff changeset
607 -- Processing for X switch
kono
parents:
diff changeset
608
kono
parents:
diff changeset
609 when 'X' =>
kono
parents:
diff changeset
610 if Ptr = Max then
kono
parents:
diff changeset
611 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
612 end if;
kono
parents:
diff changeset
613
kono
parents:
diff changeset
614 Ptr := Ptr + 1;
kono
parents:
diff changeset
615 Scan_Pos (Switch_Chars, Max, Ptr, Default_Exit_Status, C);
kono
parents:
diff changeset
616
kono
parents:
diff changeset
617 -- Processing for y switch
kono
parents:
diff changeset
618
kono
parents:
diff changeset
619 when 'y' =>
kono
parents:
diff changeset
620 Ptr := Ptr + 1;
kono
parents:
diff changeset
621 Leap_Seconds_Support := True;
kono
parents:
diff changeset
622
kono
parents:
diff changeset
623 -- Processing for z switch
kono
parents:
diff changeset
624
kono
parents:
diff changeset
625 when 'z' =>
kono
parents:
diff changeset
626 Ptr := Ptr + 1;
kono
parents:
diff changeset
627 No_Main_Subprogram := True;
kono
parents:
diff changeset
628
kono
parents:
diff changeset
629 -- Processing for Z switch
kono
parents:
diff changeset
630
kono
parents:
diff changeset
631 when 'Z' =>
kono
parents:
diff changeset
632 Ptr := Ptr + 1;
kono
parents:
diff changeset
633 Zero_Formatting := True;
kono
parents:
diff changeset
634
kono
parents:
diff changeset
635 -- Processing for --RTS
kono
parents:
diff changeset
636
kono
parents:
diff changeset
637 when '-' =>
kono
parents:
diff changeset
638
kono
parents:
diff changeset
639 if Ptr + 4 <= Max and then
kono
parents:
diff changeset
640 Switch_Chars (Ptr + 1 .. Ptr + 3) = "RTS"
kono
parents:
diff changeset
641 then
kono
parents:
diff changeset
642 Ptr := Ptr + 4;
kono
parents:
diff changeset
643
kono
parents:
diff changeset
644 if Switch_Chars (Ptr) /= '=' or else Ptr = Max then
kono
parents:
diff changeset
645 Osint.Fail ("missing path for --RTS");
kono
parents:
diff changeset
646
kono
parents:
diff changeset
647 else
kono
parents:
diff changeset
648 -- Valid --RTS switch
kono
parents:
diff changeset
649
kono
parents:
diff changeset
650 Opt.No_Stdinc := True;
kono
parents:
diff changeset
651 Opt.RTS_Switch := True;
kono
parents:
diff changeset
652
kono
parents:
diff changeset
653 declare
kono
parents:
diff changeset
654 Src_Path_Name : constant String_Ptr :=
kono
parents:
diff changeset
655 Get_RTS_Search_Dir
kono
parents:
diff changeset
656 (Switch_Chars (Ptr + 1 .. Max),
kono
parents:
diff changeset
657 Include);
kono
parents:
diff changeset
658 Lib_Path_Name : constant String_Ptr :=
kono
parents:
diff changeset
659 Get_RTS_Search_Dir
kono
parents:
diff changeset
660 (Switch_Chars (Ptr + 1 .. Max),
kono
parents:
diff changeset
661 Objects);
kono
parents:
diff changeset
662
kono
parents:
diff changeset
663 begin
kono
parents:
diff changeset
664 if Src_Path_Name /= null and then
kono
parents:
diff changeset
665 Lib_Path_Name /= null
kono
parents:
diff changeset
666 then
kono
parents:
diff changeset
667 -- Set the RTS_*_Path_Name variables, so that the
kono
parents:
diff changeset
668 -- correct directories will be set when a subsequent
kono
parents:
diff changeset
669 -- call Osint.Add_Default_Search_Dirs is made.
kono
parents:
diff changeset
670
kono
parents:
diff changeset
671 RTS_Src_Path_Name := Src_Path_Name;
kono
parents:
diff changeset
672 RTS_Lib_Path_Name := Lib_Path_Name;
kono
parents:
diff changeset
673
kono
parents:
diff changeset
674 Ptr := Max + 1;
kono
parents:
diff changeset
675
kono
parents:
diff changeset
676 elsif Src_Path_Name = null
kono
parents:
diff changeset
677 and then Lib_Path_Name = null
kono
parents:
diff changeset
678 then
kono
parents:
diff changeset
679 Osint.Fail
kono
parents:
diff changeset
680 ("RTS path not valid: missing adainclude and "
kono
parents:
diff changeset
681 & "adalib directories");
kono
parents:
diff changeset
682 elsif Src_Path_Name = null then
kono
parents:
diff changeset
683 Osint.Fail
kono
parents:
diff changeset
684 ("RTS path not valid: missing adainclude directory");
kono
parents:
diff changeset
685 elsif Lib_Path_Name = null then
kono
parents:
diff changeset
686 Osint.Fail
kono
parents:
diff changeset
687 ("RTS path not valid: missing adalib directory");
kono
parents:
diff changeset
688 end if;
kono
parents:
diff changeset
689 end;
kono
parents:
diff changeset
690 end if;
kono
parents:
diff changeset
691
kono
parents:
diff changeset
692 else
kono
parents:
diff changeset
693 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
694 end if;
kono
parents:
diff changeset
695
kono
parents:
diff changeset
696 -- Anything else is an error (illegal switch character)
kono
parents:
diff changeset
697
kono
parents:
diff changeset
698 when others =>
kono
parents:
diff changeset
699 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
700 end case;
kono
parents:
diff changeset
701
kono
parents:
diff changeset
702 if Ptr <= Max then
kono
parents:
diff changeset
703 Bad_Switch (Switch_Chars);
kono
parents:
diff changeset
704 end if;
kono
parents:
diff changeset
705 end Check_Switch;
kono
parents:
diff changeset
706 end Scan_Binder_Switches;
kono
parents:
diff changeset
707
kono
parents:
diff changeset
708 end Switch.B;