]>
Commit | Line | Data |
---|---|---|
38cbfe40 | 1 | ------------------------------------------------------------------------------ |
579847c2 | 2 | -- -- |
38cbfe40 RK |
3 | -- GNAT COMPILER COMPONENTS -- |
4 | -- -- | |
5 | -- O P T -- | |
6 | -- -- | |
7 | -- S p e c -- | |
8 | -- -- | |
71140fc6 | 9 | -- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- |
38cbfe40 RK |
10 | -- -- |
11 | -- GNAT is free software; you can redistribute it and/or modify it under -- | |
12 | -- terms of the GNU General Public License as published by the Free Soft- -- | |
748086b7 | 13 | -- ware Foundation; either version 3, or (at your option) any later ver- -- |
38cbfe40 RK |
14 | -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- |
15 | -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- | |
748086b7 JJ |
16 | -- or FITNESS FOR A PARTICULAR PURPOSE. -- |
17 | -- -- | |
18 | -- As a special exception under Section 7 of GPL version 3, you are granted -- | |
19 | -- additional permissions described in the GCC Runtime Library Exception, -- | |
20 | -- version 3.1, as published by the Free Software Foundation. -- | |
21 | -- -- | |
22 | -- You should have received a copy of the GNU General Public License and -- | |
23 | -- a copy of the GCC Runtime Library Exception along with this program; -- | |
24 | -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- | |
25 | -- <http://www.gnu.org/licenses/>. -- | |
38cbfe40 RK |
26 | -- -- |
27 | -- GNAT was originally developed by the GNAT team at New York University. -- | |
71ff80dc | 28 | -- Extensive contributions were provided by Ada Core Technologies Inc. -- |
38cbfe40 RK |
29 | -- -- |
30 | ------------------------------------------------------------------------------ | |
31 | ||
f81e6250 RD |
32 | -- This package contains global flags set by the initialization routine from |
33 | -- the command line and referenced throughout the compiler, the binder, or | |
34 | -- other GNAT tools. The comments indicate which options are used by which | |
dacc3457 | 35 | -- programs (GNAT, GNATBIND, GNATLINK, GNATMAKE, etc). |
38cbfe40 | 36 | |
395b5080 VC |
37 | -- Some flags are labelled "PROJECT MANAGER". These are used by tools that |
38 | -- use the Project Manager. These tools include gnatmake, gnatname, the gnat | |
39 | -- driver, gnatclean, gprbuild and gprclean. | |
40 | ||
fbf5a39b AC |
41 | with Hostparm; use Hostparm; |
42 | with Types; use Types; | |
43 | ||
9e9df9da | 44 | pragma Warnings (Off); |
ce09f8b3 | 45 | -- This package is used also by gnatcoll |
fbe627af | 46 | with System.Strings; use System.Strings; |
ce09f8b3 | 47 | with System.WCh_Con; use System.WCh_Con; |
9e9df9da | 48 | pragma Warnings (On); |
38cbfe40 RK |
49 | |
50 | package Opt is | |
51 | ||
dc718e52 RD |
52 | ---------------------- |
53 | -- Checksum Control -- | |
54 | ---------------------- | |
55 | ||
56 | -- Checksums are computed for sources to check for sources being the same | |
57 | -- from a compilation point of view (e.g. spelling of identifiers and | |
58 | -- white space layout do not count in this computation). | |
59 | ||
60 | -- The way the checksum is computed has evolved across the various versions | |
61 | -- of GNAT. When gprbuild is called with -m, the checksums must be computed | |
62 | -- the same way in gprbuild as it was in the GNAT version of the compiler. | |
63 | -- The different ways are | |
64 | ||
65 | -- Version 6.4 and later: | |
66 | ||
67 | -- The Accumulate_Token_Checksum procedure is called after each numeric | |
68 | -- literal and each identifier/keyword. For keywords, Tok_Identifier is | |
69 | -- used in the call to Accumulate_Token_Checksum. | |
70 | ||
71 | -- Versions 5.04 to 6.3: | |
72 | ||
73 | -- For keywords, the token value were used in the call to procedure | |
74 | -- Accumulate_Token_Checksum. Type Token_Type did not include Tok_Some. | |
75 | ||
76 | -- Versions 5.03: | |
77 | ||
78 | -- For keywords, the token value were used in the call to | |
79 | -- Accumulate_Token_Checksum. Type Token_Type did not include | |
80 | -- Tok_Interface, Tok_Overriding, Tok_Synchronized and Tok_Some. | |
81 | ||
82 | -- Versions 5.02 and before: | |
83 | ||
84 | -- No calls to procedure Accumulate_Token_Checksum (the checksum | |
85 | -- mechanism was introduced in version 5.03). | |
86 | ||
87 | -- To signal to the scanner whether Accumulate_Token_Checksum needs to be | |
88 | -- called and what versions to call, the following Boolean flags are used: | |
89 | ||
90 | Checksum_Accumulate_Token_Checksum : Boolean := True; | |
91 | -- GPRBUILD | |
7675ad4f AC |
92 | -- Set to False by gprbuild when the version of GNAT is 5.02 or before. If |
93 | -- this switch is False, then we do not call Accumulate_Token_Checksum, so | |
94 | -- the setting of the following two flags is irrelevant. | |
dc718e52 RD |
95 | |
96 | Checksum_GNAT_6_3 : Boolean := False; | |
97 | -- GPRBUILD | |
98 | -- Set to True by gprbuild when the version of GNAT is 6.3 or before. | |
99 | ||
100 | Checksum_GNAT_5_03 : Boolean := False; | |
101 | -- GPRBUILD | |
102 | -- Set to True by gprbuild when the version of GNAT is 5.03 or before. | |
103 | ||
38cbfe40 RK |
104 | ---------------------------------------------- |
105 | -- Settings of Modes for Current Processing -- | |
106 | ---------------------------------------------- | |
107 | ||
108 | -- The following mode values represent the current state of processing. | |
109 | -- The values set here are the default values. Unless otherwise noted, | |
dec55d76 | 110 | -- the value may be reset in Switch-? with an appropriate switch. In |
38cbfe40 RK |
111 | -- some cases, the values can also be modified by pragmas, and in the |
112 | -- case of some binder variables, Gnatbind.Scan_Bind_Arg may modify | |
113 | -- the default values. | |
114 | ||
0791fbe9 | 115 | type Ada_Version_Type is (Ada_83, Ada_95, Ada_2005, Ada_2012); |
bd29d519 | 116 | pragma Ordered (Ada_Version_Type); |
0ab80019 AC |
117 | -- Versions of Ada for Ada_Version below. Note that these are ordered, |
118 | -- so that tests like Ada_Version >= Ada_95 are legitimate and useful. | |
0791fbe9 BD |
119 | -- Think twice before using "="; Ada_Version >= Ada_2012 is more likely |
120 | -- what you want, because it will apply to future versions of the language. | |
0ab80019 | 121 | |
165bdb4b | 122 | Ada_Version_Default : constant Ada_Version_Type := Ada_2012; |
0eed45bb | 123 | pragma Warnings (Off, Ada_Version_Default); |
38cbfe40 | 124 | -- GNAT |
0eed45bb AC |
125 | -- Default Ada version if no switch given. The Warnings off is to kill |
126 | -- constant condition warnings. | |
38cbfe40 | 127 | |
0ab80019 | 128 | Ada_Version : Ada_Version_Type := Ada_Version_Default; |
38cbfe40 | 129 | -- GNAT |
f81e6250 RD |
130 | -- Current Ada version for compiler, as set by configuration pragmas, |
131 | -- compiler switches, or implicitly (to Ada_Version_Runtime) when a | |
132 | -- predefined or internal file is compiled. | |
133 | ||
fb620b37 AC |
134 | Ada_Version_Pragma : Node_Id := Empty; |
135 | -- Reflects the Ada_xxx pragma that resulted in setting Ada_Version. Used | |
136 | -- to specialize error messages complaining about the Ada version in use. | |
137 | ||
f81e6250 RD |
138 | Ada_Version_Explicit : Ada_Version_Type := Ada_Version_Default; |
139 | -- GNAT | |
e9daba51 AC |
140 | -- Like Ada_Version, but does not get set implicitly for predefined or |
141 | -- internal units, so it reflects the Ada version explicitly set using | |
142 | -- configuration pragmas or compiler switches (or if neither appears, it | |
143 | -- remains set to Ada_Version_Default). This is used in the rare cases | |
144 | -- (notably pragma Obsolescent) where we want the explicit version set. | |
38cbfe40 | 145 | |
dbe945f1 | 146 | Ada_Version_Runtime : Ada_Version_Type := Ada_2012; |
c885d7a1 | 147 | -- GNAT |
f81e6250 RD |
148 | -- Ada version used to compile the runtime. Used to set Ada_Version (but |
149 | -- not Ada_Version_Explicit) when compiling predefined or internal units. | |
c885d7a1 | 150 | |
38cbfe40 | 151 | Ada_Final_Suffix : constant String := "final"; |
1f6a2b51 | 152 | Ada_Final_Name : String_Ptr := new String'("ada" & Ada_Final_Suffix); |
38cbfe40 RK |
153 | -- GNATBIND |
154 | -- The name of the procedure that performs the finalization at the end of | |
155 | -- execution. This variable may be modified by Gnatbind.Scan_Bind_Arg. | |
156 | ||
157 | Ada_Init_Suffix : constant String := "init"; | |
1f6a2b51 | 158 | Ada_Init_Name : String_Ptr := new String'("ada" & Ada_Init_Suffix); |
38cbfe40 RK |
159 | -- GNATBIND |
160 | -- The name of the procedure that performs initialization at the start | |
161 | -- of execution. This variable may be modified by Gnatbind.Scan_Bind_Arg. | |
162 | ||
163 | Ada_Main_Name_Suffix : constant String := "main"; | |
164 | -- GNATBIND | |
165 | -- The suffix for Ada_Main_Name. Defined as a constant here so that it | |
166 | -- can be referenced in a uniform manner to create either the default | |
167 | -- value of Ada_Main_Name (declared below), or the non-default name | |
168 | -- set by Gnatbind.Scan_Bind_Arg. | |
169 | ||
170 | Ada_Main_Name : String_Ptr := new String'("ada_" & Ada_Main_Name_Suffix); | |
171 | -- GNATBIND | |
172 | -- The name of the Ada package generated by the binder (when in Ada mode). | |
173 | -- This variable may be modified by Gnatbind.Scan_Bind_Arg. | |
174 | ||
175 | Address_Clause_Overlay_Warnings : Boolean := True; | |
176 | -- GNAT | |
685bc70f AC |
177 | -- Set False to disable address clause warnings. Modified by use of |
178 | -- -gnatwo/O. | |
38cbfe40 | 179 | |
0b6eb8e1 RD |
180 | Address_Is_Private : Boolean := False; |
181 | -- GNAT, GNATBIND | |
182 | -- Set True if package System has the line "type Address is private;" | |
183 | ||
38cbfe40 RK |
184 | All_Errors_Mode : Boolean := False; |
185 | -- GNAT | |
186 | -- Flag set to force display of multiple errors on a single line and | |
187 | -- also repeated error messages for references to undefined identifiers | |
4ecc031c | 188 | -- and certain other repeated error messages. Set by use of -gnatf. |
38cbfe40 | 189 | |
818b578d AC |
190 | Allow_Integer_Address : Boolean := False; |
191 | -- GNAT | |
192 | -- Allow use of integer expression in a context requiring System.Address. | |
d8a764c4 AC |
193 | -- Set by the use of configuration pragma Allow_Integer_Address Also set |
194 | -- in relaxed semantics mode for use by CodePeer or when -gnatd.M is used. | |
818b578d | 195 | |
38cbfe40 RK |
196 | All_Sources : Boolean := False; |
197 | -- GNATBIND | |
198 | -- Set to True to require all source files to be present. This flag is | |
199 | -- directly modified by gnatmake to affect the shared binder routines. | |
200 | ||
201 | Alternate_Main_Name : String_Ptr := null; | |
07fc65c4 | 202 | -- GNATBIND |
38cbfe40 RK |
203 | -- Set to non null when Bind_Alternate_Main_Name is True. This value |
204 | -- is modified as needed by Gnatbind.Scan_Bind_Arg. | |
205 | ||
fbf5a39b AC |
206 | ASIS_Mode : Boolean := False; |
207 | -- GNAT | |
208 | -- Enable semantic checks and tree transformations that are important | |
209 | -- for ASIS but that are usually skipped if Operating_Mode is set to | |
210 | -- Check_Semantics. This flag does not have the corresponding option to set | |
211 | -- it ON. It is set ON when Tree_Output is set ON, it can also be set ON | |
212 | -- from the code of GNSA-based tool (a client may need to set ON the | |
213 | -- Back_Annotate_Rep_Info flag in this case. At the moment this does not | |
383b2b42 | 214 | -- make very much sense, because GNSA cannot do back annotation). |
fbf5a39b | 215 | |
2743d81d AC |
216 | Assertions_Enabled : Boolean := False; |
217 | -- GNAT | |
1a83142e RD |
218 | -- Indicates default policy (True = Check, False = Ignore) to be applied |
219 | -- to all assertion aspects and pragmas, and to pragma Debug, if there is | |
220 | -- no overriding Assertion_Policy, Check_Policy, or Debug_Policy pragma. | |
221 | -- Set True by use of -gnata. | |
2743d81d | 222 | |
c800f862 | 223 | Assume_No_Invalid_Values : Boolean := False; |
324ac540 AC |
224 | -- GNAT Normally, in accordance with (RM 13.9.1 (9-11)) the front end |
225 | -- assumes that values could have invalid representations, unless it can | |
226 | -- clearly prove that the values are valid. If this switch is set (by | |
2b4c962d | 227 | -- pragma Assume_No_Invalid_Values (On)), then the compiler assumes values |
c800f862 RD |
228 | -- are valid and in range of their representations. This feature is now |
229 | -- fully enabled in the compiler. | |
4351c21b | 230 | |
38cbfe40 RK |
231 | Back_Annotate_Rep_Info : Boolean := False; |
232 | -- GNAT | |
fbf5a39b AC |
233 | -- If set True, enables back annotation of representation information |
234 | -- by gigi, even in -gnatc mode. This is set True by the use of -gnatR | |
235 | -- (list representation information) or -gnatt (generate tree). It is | |
236 | -- also set true if certain Unchecked_Conversion instantiations require | |
237 | -- checking based on annotated values. | |
38cbfe40 | 238 | |
305caf42 AC |
239 | Back_End_Handles_Limited_Types : Boolean; |
240 | -- This flag is set true if the back end can properly handle limited or | |
241 | -- other by reference types, and avoid copies. If this flag is False, then | |
9b16cb57 | 242 | -- the front end does special expansion for if/case expressions to make |
305caf42 | 243 | -- sure that no copy occurs. If the flag is True, then the expansion for |
9b16cb57 | 244 | -- if and case expressions relies on the back end properly handling things. |
305caf42 | 245 | -- Currently the default is False for all cases (set in gnat1drv). The |
9b16cb57 RD |
246 | -- default can be modified using -gnatd.L (sets the flag True). This is |
247 | -- used to test the possibility of having the backend handle this. | |
305caf42 | 248 | |
f087ea44 AC |
249 | Back_End_Inlining : Boolean := False; |
250 | -- GNAT | |
a21d245c AC |
251 | -- Set True to activate inlining by back-end expansion. This is the normal |
252 | -- default mode for gcc targets, so it is True on such targets unless the | |
253 | -- switches -gnatN or -gnatd.z are used. See circuitry in gnat1drv for the | |
254 | -- exact conditions for setting this switch. | |
f087ea44 | 255 | |
38cbfe40 RK |
256 | Bind_Alternate_Main_Name : Boolean := False; |
257 | -- GNATBIND | |
07fc65c4 GB |
258 | -- True if main should be called Alternate_Main_Name.all. |
259 | -- This variable may be set to True by Gnatbind.Scan_Bind_Arg. | |
38cbfe40 RK |
260 | |
261 | Bind_Main_Program : Boolean := True; | |
262 | -- GNATBIND | |
f81e6250 | 263 | -- Set to False if not binding main Ada program |
38cbfe40 RK |
264 | |
265 | Bind_For_Library : Boolean := False; | |
266 | -- GNATBIND | |
a5d83d61 AC |
267 | -- Set to True if the binder needs to generate a file designed for building |
268 | -- a library. May be set to True by Gnatbind.Scan_Bind_Arg. | |
38cbfe40 | 269 | |
7ffa903f | 270 | Bind_Only : Boolean := False; |
dacc3457 | 271 | -- GNATMAKE, GPRBUILD |
7ffa903f VC |
272 | -- Set to True to skip compile and link steps |
273 | -- (except when Compile_Only and/or Link_Only are True). | |
274 | ||
fbf5a39b AC |
275 | Blank_Deleted_Lines : Boolean := False; |
276 | -- GNAT, GNATPREP | |
277 | -- Output empty lines for each line of preprocessed input that is deleted | |
278 | -- in the output, including preprocessor lines starting with a '#'. | |
279 | ||
38cbfe40 RK |
280 | Brief_Output : Boolean := False; |
281 | -- GNAT, GNATBIND | |
282 | -- Force brief error messages to standard error, even if verbose mode is | |
283 | -- set (so that main error messages go to standard output). | |
284 | ||
91b1417d AC |
285 | Build_Bind_And_Link_Full_Project : Boolean := False; |
286 | -- GNATMAKE | |
287 | -- Set to True to build, bind and link all the sources of a project file | |
288 | -- (switch -B) | |
289 | ||
e8dde875 AC |
290 | Check_Aliasing_Of_Parameters : Boolean := False; |
291 | -- GNAT | |
292 | -- Set to True to detect whether subprogram parameters and function results | |
293 | -- alias the same object(s). | |
294 | ||
347c766a RD |
295 | Check_Float_Overflow : Boolean := False; |
296 | -- GNAT | |
297 | -- Set to True to check that operations on predefined unconstrained float | |
298 | -- types (e.g. Float, Long_Float) do not overflow and generate infinities | |
299 | -- or invalid values. Set by the Check_Float_Overflow pragma, or by use | |
fab62a15 | 300 | -- of the -gnateF switch. |
347c766a | 301 | |
38cbfe40 RK |
302 | Check_Object_Consistency : Boolean := False; |
303 | -- GNATBIND, GNATMAKE | |
1a83142e RD |
304 | -- Set to True to check whether every object file is consistent with its |
305 | -- corresponding ada library information (ALI) file. An object file is | |
306 | -- inconsistent with the corresponding ALI file if the object file does | |
307 | -- not exist or if it has an older time stamp than the ALI file. Default | |
308 | -- above is for GNATBIND. GNATMAKE overrides this default to True (see | |
309 | -- Make.Initialize) since we normally do need to check source consistencies | |
310 | -- in gnatmake. | |
38cbfe40 RK |
311 | |
312 | Check_Only : Boolean := False; | |
313 | -- GNATBIND | |
f81e6250 | 314 | -- Set to True to do checks only, no output of binder file |
38cbfe40 | 315 | |
ce4a6e84 RD |
316 | Check_Policy_List : Node_Id := Empty; |
317 | -- GNAT | |
318 | -- This points to the list of N_Pragma nodes for Check_Policy pragmas | |
319 | -- that are linked through the Next_Pragma fields, with the list being | |
51bf9bdf AC |
320 | -- terminated by Empty. The order is most recently processed first. Note |
321 | -- that Push_Scope and Pop_Scope in Sem_Ch8 save and restore the value | |
322 | -- of this variable, implementing the required scope control for pragmas | |
16d3a853 | 323 | -- appearing in a declarative part. |
ce4a6e84 | 324 | |
38cbfe40 RK |
325 | Check_Readonly_Files : Boolean := False; |
326 | -- GNATMAKE | |
f81e6250 | 327 | -- Set to True to check readonly files during the make process |
38cbfe40 RK |
328 | |
329 | Check_Source_Files : Boolean := True; | |
07fc65c4 | 330 | -- GNATBIND, GNATMAKE |
38cbfe40 RK |
331 | -- Set to True to enable consistency checking for any source files that |
332 | -- are present (i.e. date must match the date in the library info file). | |
333 | -- Set to False for object file consistency check only. This flag is | |
334 | -- directly modified by gnatmake, to affect the shared binder routines. | |
335 | ||
336 | Check_Switches : Boolean := False; | |
dacc3457 | 337 | -- GNATMAKE, GPBUILD |
f81e6250 | 338 | -- Set to True to check compiler options during the make process |
38cbfe40 RK |
339 | |
340 | Check_Unreferenced : Boolean := False; | |
341 | -- GNAT | |
07fc65c4 GB |
342 | -- Set to True to enable checking for unreferenced entities other |
343 | -- than formal parameters (for which see Check_Unreferenced_Formals) | |
685bc70f | 344 | -- Modified by use of -gnatwu/U. |
07fc65c4 GB |
345 | |
346 | Check_Unreferenced_Formals : Boolean := False; | |
347 | -- GNAT | |
e8dde875 | 348 | -- Set to True to check for unreferenced formals. This is turned on by |
f81e6250 | 349 | -- -gnatwa/wf/wu and turned off by -gnatwA/wF/wU. |
38cbfe40 | 350 | |
e8dde875 AC |
351 | Check_Validity_Of_Parameters : Boolean := False; |
352 | -- GNAT | |
353 | -- Set to True to check for proper scalar initialization of subprogram | |
c5a26133 | 354 | -- parameters on both entry and exit. Turned on by??? turned off by??? |
e8dde875 | 355 | |
38cbfe40 RK |
356 | Check_Withs : Boolean := False; |
357 | -- GNAT | |
358 | -- Set to True to enable checking for unused withs, and also the case | |
359 | -- of withing a package and using none of the entities in the package. | |
685bc70f | 360 | -- Modified by use of -gnatwu/U. |
38cbfe40 | 361 | |
76efd572 | 362 | CodePeer_Mode : Boolean := False; |
aab45d22 | 363 | -- GNAT, GNATBIND, GPRBUILD |
76efd572 | 364 | -- Enable full CodePeer mode (SCIL generation, disable switches that |
592574f5 | 365 | -- interact badly with it, etc...). This is turned on by -gnatC. |
76efd572 | 366 | |
4ecc031c RD |
367 | Commands_To_Stdout : Boolean := False; |
368 | -- GNATMAKE | |
369 | -- True if echoed commands to be written to stdout instead of stderr | |
370 | ||
fbf5a39b AC |
371 | Comment_Deleted_Lines : Boolean := False; |
372 | -- GNATPREP | |
373 | -- True if source lines removed by the preprocessor should be commented | |
374 | -- in the output file. | |
38cbfe40 | 375 | |
cc6f5d75 AC |
376 | Compilation_Time : String (1 .. 19); |
377 | -- GNAT | |
378 | -- Compilation date and time in form YYYY-MM-DD HH:MM:SS | |
379 | ||
fbf5a39b | 380 | Compile_Only : Boolean := False; |
dacc3457 AC |
381 | -- GNATMAKE, GNATCLEAN, GPBUILD, GPRCLEAN |
382 | -- GNATMAKE, GPRBUILD: | |
cc6f5d75 | 383 | -- set True to skip bind and link steps (except when Bind_Only is True) |
395b5080 | 384 | -- GNATCLEAN, GPRCLEAN: |
cc6f5d75 AC |
385 | -- set True to delete only the files produced by the compiler but not the |
386 | -- library files or the executable files. | |
38cbfe40 | 387 | |
c86cf714 RD |
388 | Compiler_Unit : Boolean := False; |
389 | -- GNAT1 | |
390 | -- Set True by an occurrence of pragma Compiler_Unit_Warning (or of the | |
391 | -- obsolete pragma Compiler_Unit) in the main unit. Once set True, stays | |
392 | -- True, since any units that are with'ed directly or indirectly by | |
393 | -- a Compiler_Unit_Warning main unit are subject to the same restrictions. | |
394 | -- Such units really should have their own pragmas, but we do not bother to | |
395 | -- check for that, so this transitivity provides extra checking. | |
396 | ||
38cbfe40 RK |
397 | Config_File : Boolean := True; |
398 | -- GNAT | |
399 | -- Set to False to inhibit reading and processing of gnat.adc file | |
400 | ||
fbf5a39b | 401 | Config_File_Names : String_List_Access := null; |
38cbfe40 | 402 | -- GNAT |
fbf5a39b AC |
403 | -- Names of configuration pragmas files (given by switches -gnatec) |
404 | ||
405 | Configurable_Run_Time_Mode : Boolean := False; | |
406 | -- GNAT, GNATBIND | |
407 | -- Set True if the compiler is operating in configurable run-time mode. | |
408 | -- This happens if the flag Targparm.Configurable_Run_TimeMode_On_Target | |
409 | -- is set True, or if pragma No_Run_Time is used. See the spec of Rtsfind | |
410 | -- for details on the handling of the latter pragma. | |
38cbfe40 RK |
411 | |
412 | Constant_Condition_Warnings : Boolean := False; | |
413 | -- GNAT | |
324ac540 AC |
414 | -- Set to True to activate warnings on constant conditions. Modified by |
415 | -- use of -gnatwc/C. | |
38cbfe40 | 416 | |
07fc65c4 | 417 | Create_Mapping_File : Boolean := False; |
dacc3457 | 418 | -- GNATMAKE |
383b2b42 RD |
419 | -- Set to True (-C switch) to indicate that the compiler will be invoked |
420 | -- with a mapping file (-gnatem compiler switch). | |
07fc65c4 | 421 | |
38cbfe40 RK |
422 | subtype Debug_Level_Value is Nat range 0 .. 3; |
423 | Debugger_Level : Debug_Level_Value := 0; | |
0da2c8ac | 424 | -- The value given to the -g parameter. The default value for -g with |
21c51f53 RD |
425 | -- no value is 2. This is not currently used but is retained for possible |
426 | -- future use. | |
38cbfe40 | 427 | |
220d1fd9 AC |
428 | Default_Exit_Status : Int := 0; |
429 | -- GNATBIND | |
430 | -- Set the default exit status value. Set by the -Xnnn switch for the | |
431 | -- binder. | |
432 | ||
38cbfe40 RK |
433 | Debug_Generated_Code : Boolean := False; |
434 | -- GNAT | |
435 | -- Set True (-gnatD switch) to debug generated expanded code instead | |
436 | -- of the original source code. Causes debugging information to be | |
437 | -- written with respect to the generated code file that is written. | |
438 | ||
220d1fd9 AC |
439 | Default_Pool : Node_Id := Empty; |
440 | -- GNAT | |
441 | -- Used to record the storage pool name (or null literal) that is the | |
442 | -- argument of an applicable pragma Default_Storage_Pool. | |
443 | -- Empty: No pragma Default_Storage_Pool applies. | |
444 | -- N_Null node: "pragma Default_Storage_Pool (null);" applies. | |
445 | -- otherwise: "pragma Default_Storage_Pool (X);" applies, and | |
446 | -- this points to the name X. | |
447 | -- Push_Scope and Pop_Scope in Sem_Ch8 save and restore this value. | |
1f6a2b51 RD |
448 | Default_Stack_Size : Int := -1; |
449 | -- GNATBIND | |
450 | -- Set to default primary stack size in units of bytes. Set by | |
451 | -- the -dnnn switch for the binder. A value of -1 indicates that no | |
452 | -- default was set by the binder. | |
453 | ||
91b1417d AC |
454 | Default_Sec_Stack_Size : Int := -1; |
455 | -- GNATBIND | |
1f6a2b51 | 456 | -- Set to default secondary stack size in units of bytes. Set by |
91b1417d AC |
457 | -- the -Dnnn switch for the binder. A value of -1 indicates that no |
458 | -- default was set by the binder, and that the default should be the | |
459 | -- initial value of System.Secondary_Stack.Default_Secondary_Stack_Size. | |
460 | ||
220d1fd9 | 461 | Default_SSO : Character := ' '; |
fab2daeb | 462 | -- GNAT |
220d1fd9 AC |
463 | -- Set if a pragma Default_Scalar_Storage_Order has been given. The value |
464 | -- of ' ' indicates that no default has been set, otherwise the value is | |
465 | -- either 'H' for High_Order_First or 'L' for Lower_Order_First. | |
fab2daeb | 466 | |
0da2c8ac AC |
467 | Detect_Blocking : Boolean := False; |
468 | -- GNAT | |
469 | -- Set True to force the run time to raise Program_Error if calls to | |
470 | -- potentially blocking operations are detected from protected actions. | |
471 | ||
4bc0cadd AC |
472 | Directories_Must_Exist_In_Projects : Boolean := True; |
473 | -- PROJECT MANAGER | |
474 | -- Set to False with switch -f of gnatclean and gprclean | |
475 | ||
38cbfe40 | 476 | Display_Compilation_Progress : Boolean := False; |
dacc3457 | 477 | -- GNATMAKE, GPRBUILD |
38cbfe40 | 478 | -- Set True (-d switch) to display information on progress while compiling |
0da2c8ac | 479 | -- files. Internal flag to be used in conjunction with an IDE (e.g GPS). |
38cbfe40 RK |
480 | |
481 | type Distribution_Stub_Mode_Type is | |
482 | -- GNAT | |
483 | (No_Stubs, | |
484 | -- Normal mode, no generation/compilation of distribution stubs | |
485 | ||
486 | Generate_Receiver_Stub_Body, | |
487 | -- The unit being compiled is the RCI body, and the compiler will | |
488 | -- generate the body for the receiver stubs and compile it. | |
489 | ||
490 | Generate_Caller_Stub_Body); | |
491 | -- The unit being compiled is the RCI spec, and the compiler will | |
492 | -- generate the body for the caller stubs and compile it. | |
493 | ||
494 | Distribution_Stub_Mode : Distribution_Stub_Mode_Type := No_Stubs; | |
495 | -- GNAT | |
496 | -- This enumeration variable indicates the five states of distribution | |
497 | -- annex stub generation/compilation. | |
498 | ||
499 | Do_Not_Execute : Boolean := False; | |
500 | -- GNATMAKE | |
39678b1c | 501 | -- Set to True if no actual compilations should be undertaken |
38cbfe40 | 502 | |
4ecc031c RD |
503 | Dump_Source_Text : Boolean := False; |
504 | -- GNAT | |
505 | -- Set to True (by -gnatL) to dump source text intermingled with generated | |
506 | -- code. Effective only if either of Debug/Print_Generated_Code is true. | |
507 | ||
38cbfe40 RK |
508 | Dynamic_Elaboration_Checks : Boolean := False; |
509 | -- GNAT | |
510 | -- Set True for dynamic elaboration checking mode, as set by the -gnatE | |
511 | -- switch or by the use of pragma Elaboration_Checks (Dynamic). | |
512 | ||
81408d49 DR |
513 | Dynamic_Stack_Measurement : Boolean := False; |
514 | -- GNATBIND | |
515 | -- Set True to enable dynamic stack measurement (-u flag for gnatbind) | |
516 | ||
517 | Dynamic_Stack_Measurement_Array_Size : Nat := 100; | |
518 | -- GNATBIND | |
519 | -- Number of measurements we want to store during dynamic stack analysis. | |
520 | -- When the buffer is full, non-storable results will be output on the fly. | |
521 | -- The value is relevant only if Dynamic_Stack_Measurement is set. Set | |
522 | -- by processing of -u flag for gnatbind. | |
523 | ||
38cbfe40 RK |
524 | Elab_Dependency_Output : Boolean := False; |
525 | -- GNATBIND | |
526 | -- Set to True to output complete list of elaboration constraints | |
527 | ||
528 | Elab_Order_Output : Boolean := False; | |
529 | -- GNATBIND | |
530 | -- Set to True to output chosen elaboration order | |
531 | ||
fe2194df RD |
532 | Elab_Info_Messages : Boolean := False; |
533 | -- GNAT | |
534 | -- Set to True to output info messages for static elabmodel (-gnatel) | |
535 | ||
38cbfe40 RK |
536 | Elab_Warnings : Boolean := False; |
537 | -- GNAT | |
fe2194df | 538 | -- Set to True to generate elaboration warnings (-gnatwl) |
38cbfe40 | 539 | |
4ecc031c RD |
540 | Error_Msg_Line_Length : Nat := 0; |
541 | -- GNAT | |
542 | -- Records the error message line length limit. If this is set to zero, | |
543 | -- then we get the old style behavior, in which each call to the error | |
544 | -- message routines generates one line of output as a separate message. | |
545 | -- If it is set to a non-zero value, then continuation lines are folded | |
546 | -- to make a single long message, and then this message is split up into | |
ce4a6e84 | 547 | -- multiple lines not exceeding the specified length. Set by -gnatj=nn. |
4ecc031c | 548 | |
0247964d AC |
549 | Error_To_Warning : Boolean := False; |
550 | -- GNAT | |
551 | -- If True, then certain error messages (e.g. parameter overlap messages | |
552 | -- for procedure calls in Ada 2012 mode) are treated as warnings instead | |
553 | -- of errors. Set by debug flag -gnatd.E. A search for Error_To_Warning | |
554 | -- will identify affected messages. | |
555 | ||
1f6821b4 AC |
556 | Exception_Handler_Encountered : Boolean := False; |
557 | -- GNAT | |
558 | -- This flag is set true if the parser encounters an exception handler. | |
559 | -- It is used to set Warn_On_Exception_Propagation True if the restriction | |
560 | -- No_Exception_Propagation is set. | |
561 | ||
437f8c1e AC |
562 | Exception_Extra_Info : Boolean := False; |
563 | -- GNAT | |
564 | -- True when switch -gnateE is used. When True, generate extra information | |
565 | -- associated with exception messages (in particular range and index | |
566 | -- checks). | |
567 | ||
fbf5a39b AC |
568 | Exception_Locations_Suppressed : Boolean := False; |
569 | -- GNAT | |
437f8c1e AC |
570 | -- Set to True if a Suppress_Exception_Locations configuration pragma is |
571 | -- currently active. | |
fbf5a39b AC |
572 | |
573 | type Exception_Mechanism_Type is | |
574 | -- Determines the handling of exceptions. See Exp_Ch11 for details | |
575 | -- | |
576 | (Front_End_Setjmp_Longjmp_Exceptions, | |
ae05cdd6 RD |
577 | -- Exceptions use setjmp/longjmp generated explicitly by the front end |
578 | -- (this includes gigi or other equivalent parts of the code generator). | |
579 | -- AT END handlers are converted into exception handlers by the front | |
580 | -- end in this mode. | |
fbf5a39b | 581 | |
6e18b0e5 | 582 | Back_End_Exceptions); |
fbf5a39b | 583 | -- Exceptions are handled by the back end. The front end simply |
ae05cdd6 RD |
584 | -- generates the handlers as they appear in the source, and AT END |
585 | -- handlers are left untouched (they are not converted into exception | |
586 | -- handlers when operating in this mode. | |
07fc65c4 GB |
587 | pragma Convention (C, Exception_Mechanism_Type); |
588 | ||
fbf5a39b AC |
589 | Exception_Mechanism : Exception_Mechanism_Type := |
590 | Front_End_Setjmp_Longjmp_Exceptions; | |
38cbfe40 RK |
591 | -- GNAT |
592 | -- Set to the appropriate value depending on the default as given in | |
164e06c6 AC |
593 | -- system.ads (ZCX_By_Default). The C convention is there to make this |
594 | -- variable accessible to gigi. | |
38cbfe40 RK |
595 | |
596 | Exception_Tracebacks : Boolean := False; | |
597 | -- GNATBIND | |
598 | -- Set to True to store tracebacks in exception occurrences (-E) | |
599 | ||
600 | Extensions_Allowed : Boolean := False; | |
601 | -- GNAT | |
07fc65c4 | 602 | -- Set to True by switch -gnatX if GNAT specific language extensions |
8190087e | 603 | -- are allowed. Currently there are no such defined extensions. |
38cbfe40 RK |
604 | |
605 | type External_Casing_Type is ( | |
606 | As_Is, -- External names cased as they appear in the Ada source | |
607 | Uppercase, -- External names forced to all uppercase letters | |
608 | Lowercase); -- External names forced to all lowercase letters | |
609 | ||
610 | External_Name_Imp_Casing : External_Casing_Type := Lowercase; | |
07fc65c4 GB |
611 | -- GNAT |
612 | -- The setting of this flag determines the casing of external names | |
38cbfe40 RK |
613 | -- when the name is implicitly derived from an entity name (i.e. either |
614 | -- no explicit External_Name or Link_Name argument is used, or, in the | |
615 | -- case of extended DEC pragmas, the external name is given using an | |
616 | -- identifier. The As_Is setting is not permitted here (since this would | |
617 | -- create Ada source programs that were case sensitive). | |
618 | ||
619 | External_Name_Exp_Casing : External_Casing_Type := As_Is; | |
07fc65c4 GB |
620 | -- GNAT |
621 | -- The setting of this flag determines the casing of an external name | |
38cbfe40 RK |
622 | -- specified explicitly with a string literal. As_Is means the string |
623 | -- literal is used as given with no modification to the casing. If | |
624 | -- Lowercase or Uppercase is set, then the string is forced to all | |
625 | -- lowercase or all uppercase letters as appropriate. Note that this | |
626 | -- setting has no effect if the external name is given using an identifier | |
627 | -- in the case of extended DEC import/export pragmas (in this case the | |
628 | -- casing is controlled by External_Name_Imp_Casing), and also has no | |
629 | -- effect if an explicit Link_Name is supplied (a link name is always | |
630 | -- used exactly as given). | |
631 | ||
5950a3ac AC |
632 | External_Unit_Compilation_Allowed : Boolean := False; |
633 | -- GNATMAKE | |
634 | -- When True (set by gnatmake switch -x), allow compilation of sources | |
635 | -- that are not part of any project file. | |
636 | ||
395b5080 VC |
637 | Fast_Math : Boolean := False; |
638 | -- GNAT | |
639 | -- Indicates the current setting of Fast_Math mode, as set by the use | |
9686dbc7 | 640 | -- of a Fast_Math pragma (set True by Fast_Math (On)). |
395b5080 | 641 | |
38cbfe40 RK |
642 | Force_ALI_Tree_File : Boolean := False; |
643 | -- GNAT | |
0c68c613 AC |
644 | -- Force generation of ALI file even if errors are encountered. Also forces |
645 | -- generation of tree file if -gnatt is also set. Set on by use of -gnatQ. | |
38cbfe40 | 646 | |
97ed5872 | 647 | Disable_ALI_File : Boolean := False; |
bb3c784c | 648 | -- GNAT |
97ed5872 AC |
649 | -- Disable generation of ALI file |
650 | ||
f3124d8f HK |
651 | Follow_Links_For_Files : Boolean := False; |
652 | -- PROJECT MANAGER | |
653 | -- Set to True (-eL) to process the project files in trusted mode. If | |
654 | -- Follow_Links is False, it is assumed that the project doesn't contain | |
655 | -- any file duplicated through symbolic links (although the latter are | |
656 | -- still valid if they point to a file which is outside of the project), | |
657 | -- and that no directory has a name which is a valid source name. | |
658 | ||
659 | Follow_Links_For_Dirs : Boolean := False; | |
660 | -- PROJECT MANAGER | |
661 | -- Set to True if directories can be links in this project, and therefore | |
662 | -- additional system calls must be performed to ensure that we always see | |
663 | -- the same full name for each directory. | |
664 | ||
fbf5a39b AC |
665 | Force_Checking_Of_Elaboration_Flags : Boolean := False; |
666 | -- GNATBIND | |
667 | -- True if binding with forced checking of the elaboration flags | |
668 | -- (-F switch set). | |
669 | ||
38cbfe40 | 670 | Force_Compilations : Boolean := False; |
dacc3457 | 671 | -- GNATMAKE, GPRBUILD |
38cbfe40 RK |
672 | -- Set to force recompilations even when the objects are up-to-date. |
673 | ||
f3124d8f HK |
674 | Front_End_Inlining : Boolean := False; |
675 | -- GNAT | |
676 | -- Set True to activate inlining by front-end expansion (even on GCC | |
677 | -- targets, where inlining is normally handled by the back end). Set by | |
678 | -- the flag -gnatN (which is now considered obsolescent, since the GCC | |
679 | -- back end can do a better job of inlining than the front end these days. | |
680 | ||
fbf5a39b | 681 | Full_Path_Name_For_Brief_Errors : Boolean := False; |
395b5080 | 682 | -- PROJECT MANAGER |
6b2963e7 AC |
683 | -- When True, in Brief_Output mode, each error message line will start with |
684 | -- the full path name of the source. When False, only the file name without | |
685 | -- directory information is used. | |
fbf5a39b | 686 | |
38cbfe40 RK |
687 | Full_List : Boolean := False; |
688 | -- GNAT | |
689 | -- Set True to generate full source listing with embedded errors | |
690 | ||
4ecc031c RD |
691 | Full_List_File_Name : String_Ptr := null; |
692 | -- GNAT | |
693 | -- Set to file name to generate full source listing to named file (or if | |
694 | -- the name is of the form .xxx, then to name.xxx where name is the source | |
695 | -- file name with extension stripped. | |
696 | ||
592574f5 AC |
697 | Generate_CodePeer_Messages : Boolean := False; |
698 | -- GNAT | |
6b2963e7 AC |
699 | -- Generate CodePeer messages. Ignored if CodePeer_Mode is false. This is |
700 | -- turned on by -gnateC. | |
592574f5 | 701 | |
a037f912 VC |
702 | Generate_Processed_File : Boolean := False; |
703 | -- GNAT | |
704 | -- True when switch -gnateG is used. When True, create in a file | |
705 | -- <source>.prep, if the source is preprocessed. | |
706 | ||
f3124d8f HK |
707 | Generate_SCIL : Boolean := False; |
708 | -- GNAT | |
709 | -- Set True to activate SCIL code generation. | |
710 | ||
6f12117a RD |
711 | Generate_SCO : Boolean := False; |
712 | -- GNAT | |
cf427f02 AC |
713 | -- True when switch -fdump-scos (or -gnateS) is used. When True, Source |
714 | -- Coverage Obligation (SCO) information is generated and output in the ALI | |
715 | -- file. See unit Par_SCO for full details. | |
716 | ||
717 | Generate_SCO_Instance_Table : Boolean := False; | |
718 | -- GNAT | |
6b2963e7 AC |
719 | -- True when switch -fdump-scos is used. When True, a table of instances is |
720 | -- included in SCOs. | |
6f12117a | 721 | |
fbe627af RD |
722 | Generating_Code : Boolean := False; |
723 | -- GNAT | |
724 | -- True if the frontend finished its work and has called the backend to | |
dec55d76 | 725 | -- process the tree and generate the object file. |
9bc43c53 | 726 | |
8636f52f HK |
727 | type Ghost_Mode_Type is (None, Check, Ignore); |
728 | -- Possible legal modes that can be set by aspect/pragma Ghost as well as | |
729 | -- value None, which indicates that no such aspect/pragma applies. | |
730 | ||
731 | Ghost_Mode : Ghost_Mode_Type := None; | |
732 | -- GNAT | |
733 | -- Current Ghost mode setting | |
734 | ||
38cbfe40 | 735 | Global_Discard_Names : Boolean := False; |
fbf5a39b | 736 | -- GNAT, GNATBIND |
fbe627af RD |
737 | -- True if a pragma Discard_Names appeared as a configuration pragma for |
738 | -- the current compilation unit. | |
38cbfe40 | 739 | |
b3407ce0 AC |
740 | GNAT_Encodings : Int; |
741 | pragma Import (C, GNAT_Encodings, "gnat_encodings"); | |
742 | -- Constant controlling the balance between GNAT encodings and standard | |
743 | -- DWARF to emit in the debug information. See jmissing.c and aamissing.c | |
744 | -- for definitions for dotnet/jgnat and GNAAMP back ends. It accepts the | |
745 | -- following values. | |
746 | ||
747 | DWARF_GNAT_Encodings_All : constant Int := 0; | |
748 | DWARF_GNAT_Encodings_GDB : constant Int := 1; | |
749 | DWARF_GNAT_Encodings_Minimal : constant Int := 2; | |
750 | ||
38cbfe40 RK |
751 | Identifier_Character_Set : Character; |
752 | -- GNAT | |
753 | -- This variable indicates the character set to be used for identifiers. | |
754 | -- The possible settings are: | |
fba9ebfc AC |
755 | -- '1' Latin-1 (ISO-8859-1) |
756 | -- '2' Latin-2 (ISO-8859-2) | |
757 | -- '3' Latin-3 (ISO-8859-3) | |
758 | -- '4' Latin-4 (ISO-8859-4) | |
759 | -- '5' Latin-Cyrillic (ISO-8859-5) | |
760 | -- '9' Latin-9 (ISO-8859-15) | |
38cbfe40 RK |
761 | -- 'p' PC (US, IBM page 437) |
762 | -- '8' PC (European, IBM page 850) | |
763 | -- 'f' Full upper set (all distinct) | |
0ab80019 | 764 | -- 'n' No upper characters (Ada 83 rules) |
38cbfe40 RK |
765 | -- 'w' Latin-1 plus wide characters allowed in identifiers |
766 | -- | |
767 | -- The setting affects the set of letters allowed in identifiers and the | |
768 | -- upper/lower case equivalences. It does not affect the interpretation of | |
769 | -- character and string literals, which are always stored using the actual | |
770 | -- coding in the source program. This variable is initialized to the | |
771 | -- default value appropriate to the system (in Osint.Initialize), and then | |
772 | -- reset if a command line switch is used to change the setting. | |
773 | ||
f3124d8f HK |
774 | Ignore_Pragma_SPARK_Mode : Boolean := False; |
775 | -- GNAT | |
776 | -- Set True to ignore the semantics and effects of pragma SPARK_Mode when | |
777 | -- the pragma appears inside an instance whose enclosing context is subject | |
778 | -- to SPARK_Mode "off". | |
779 | ||
c690a2ec RD |
780 | Ignore_Rep_Clauses : Boolean := False; |
781 | -- GNAT | |
782 | -- Set True to ignore all representation clauses. Useful when compiling | |
783 | -- code from foreign compilers for checking or ASIS purposes. Can be | |
784 | -- set True by use of -gnatI. | |
785 | ||
42f1d661 AC |
786 | Ignore_Style_Checks_Pragmas : Boolean := False; |
787 | -- GNAT | |
788 | -- Set True to ignore all Style_Checks pragmas. Can be set True by use | |
789 | -- of -gnateY. | |
790 | ||
d48cd424 RD |
791 | Ignore_Unrecognized_VWY_Switches : Boolean := False; |
792 | -- GNAT | |
793 | -- Set True to ignore unrecognized y, V, w switches. Can be set True | |
794 | -- by use of -gnateu, causing subsequent unrecognized switches to result | |
795 | -- in a warning rather than an error. | |
796 | ||
c690a2ec RD |
797 | Implementation_Unit_Warnings : Boolean := True; |
798 | -- GNAT | |
799 | -- Set True to active warnings for use of implementation internal units. | |
685bc70f | 800 | -- Modified by use of -gnatwi/-gnatwI. |
c690a2ec RD |
801 | |
802 | Implicit_Packing : Boolean := False; | |
803 | -- GNAT | |
804 | -- If set True, then a Size attribute clause on an array is allowed to | |
805 | -- cause implicit packing instead of generating an error message. Set by | |
806 | -- use of pragma Implicit_Packing. | |
807 | ||
38cbfe40 | 808 | Ineffective_Inline_Warnings : Boolean := False; |
cc6f5d75 AC |
809 | -- GNAT |
810 | -- Set True to activate warnings if front-end inlining (-gnatN) is not able | |
811 | -- to actually inline a particular call (or all calls). Can be controlled | |
812 | -- by use of -gnatwp/-gnatwP. Also set True to activate warnings if | |
813 | -- frontend inlining is not able to inline a subprogram expected to | |
814 | -- be inlined in GNATprove mode. | |
38cbfe40 RK |
815 | |
816 | Init_Or_Norm_Scalars : Boolean := False; | |
fbf5a39b | 817 | -- GNAT, GANTBIND |
38cbfe40 | 818 | -- Set True if a pragma Initialize_Scalars applies to the current unit. |
39678b1c | 819 | -- Also set True if a pragma Restriction (Normalize_Scalars) applies. |
38cbfe40 RK |
820 | |
821 | Initialize_Scalars : Boolean := False; | |
822 | -- GNAT | |
823 | -- Set True if a pragma Initialize_Scalars applies to the current unit. | |
824 | -- Note that Init_Or_Norm_Scalars is also set to True if this is True. | |
825 | ||
fbf5a39b AC |
826 | Initialize_Scalars_Mode1 : Character := 'I'; |
827 | Initialize_Scalars_Mode2 : Character := 'N'; | |
38cbfe40 | 828 | -- GNATBIND |
fbf5a39b AC |
829 | -- Set to two characters from -S switch (IN/LO/HI/EV/xx). The default |
830 | -- is IN (invalid values), used if no -S switch is used. | |
38cbfe40 RK |
831 | |
832 | Inline_Active : Boolean := False; | |
833 | -- GNAT | |
834 | -- Set True to activate pragma Inline processing across modules. Default | |
835 | -- for now is not to inline across module boundaries. | |
836 | ||
4c7be310 AC |
837 | Inline_Level : Nat := 0; |
838 | -- GNAT | |
2137e8a6 RD |
839 | -- Set to indicate the inlining level: 0 means that an appropriate value is |
840 | -- to be computed by the compiler based on the optimization level (-gnatn), | |
841 | -- 1 is for moderate inlining across modules (-gnatn1) and 2 for full | |
842 | -- inlining across modules (-gnatn2). | |
4c7be310 | 843 | |
fbf5a39b AC |
844 | Interface_Library_Unit : Boolean := False; |
845 | -- GNATBIND | |
846 | -- Set to True to indicate that at least one ALI file is an interface ALI: | |
847 | -- then elaboration flag checks are to be generated in the binder | |
848 | -- generated file. | |
849 | ||
ce4a6e84 RD |
850 | Invalid_Value_Used : Boolean := False; |
851 | -- GNAT | |
852 | -- Set True if a valid Invalid_Value attribute is encountered | |
853 | ||
38cbfe40 RK |
854 | Inline_Processing_Required : Boolean := False; |
855 | -- GNAT | |
3c2815d8 RD |
856 | -- Set True if inline processing is required. Inline processing is required |
857 | -- if an active Inline pragma is processed. The flag is set for a pragma | |
858 | -- Inline or Inline_Always that is actually active. | |
38cbfe40 RK |
859 | |
860 | In_Place_Mode : Boolean := False; | |
861 | -- GNATMAKE | |
dec55d76 | 862 | -- Set True to store ALI and object files in place i.e. in the object |
38cbfe40 RK |
863 | -- directory if these files already exist or in the source directory |
864 | -- if not. | |
865 | ||
866 | Keep_Going : Boolean := False; | |
dacc3457 | 867 | -- GNATMAKE, GPRBUILD |
3c2815d8 RD |
868 | -- When True signals to ignore compilation errors and keep processing |
869 | -- sources until there is no more work. | |
38cbfe40 | 870 | |
15ce9ca2 | 871 | Keep_Temporary_Files : Boolean := False; |
b330e3c8 AC |
872 | -- GNATCMD, GNATMAKE, GPRBUILD |
873 | -- When True the temporary files are not deleted. Set by switches -dn or | |
874 | -- --keep-temp-files. | |
15ce9ca2 | 875 | |
d409ec50 HK |
876 | Leap_Seconds_Support : Boolean := False; |
877 | -- GNATBIND | |
878 | -- Set to True to enable leap seconds support in Ada.Calendar and its | |
879 | -- children. | |
880 | ||
7ffa903f | 881 | Link_Only : Boolean := False; |
dacc3457 | 882 | -- GNATMAKE, GPRBUILD |
3c2815d8 RD |
883 | -- Set to True to skip compile and bind steps (except when Bind_Only is |
884 | -- set to True). | |
7ffa903f | 885 | |
98779361 RD |
886 | List_Body_Required_Info : Boolean := False; |
887 | -- GNATMAKE | |
888 | -- List info messages about why a package requires a body. Modified by use | |
889 | -- of -gnatw.y/.Y. | |
890 | ||
b2009d46 | 891 | List_Inherited_Aspects : Boolean := False; |
beacce02 | 892 | -- GNAT |
e606088a | 893 | -- List inherited invariants, preconditions, and postconditions from |
b2009d46 | 894 | -- Invariant'Class, Pre'Class, and Post'Class aspects. Also list inherited |
685bc70f | 895 | -- subtype predicates. Modified by use of -gnatw.l/.L. |
beacce02 | 896 | |
07fc65c4 GB |
897 | List_Restrictions : Boolean := False; |
898 | -- GNATBIND | |
899 | -- Set to True to list restrictions pragmas that could apply to partition | |
900 | ||
38cbfe40 RK |
901 | List_Units : Boolean := False; |
902 | -- GNAT | |
07fc65c4 | 903 | -- List units in the active library for a compilation (-gnatu switch) |
38cbfe40 | 904 | |
fbe627af RD |
905 | List_Closure : Boolean := False; |
906 | -- GNATBIND | |
904aac81 AC |
907 | -- List all sources in the closure of a main (-R or -Ra gnatbind switch) |
908 | ||
909 | List_Closure_All : Boolean := False; | |
910 | -- GNATBIND | |
911 | -- List all sources in closure of main including run-time units (-Ra | |
912 | -- gnatbind switch). | |
fbe627af | 913 | |
38cbfe40 RK |
914 | List_Dependencies : Boolean := False; |
915 | -- GNATMAKE | |
6b2963e7 AC |
916 | -- When True gnatmake verifies that the objects are up to date and outputs |
917 | -- the list of object dependencies (-M switch). Output depends if -a switch | |
918 | -- is used or not. This list can be used directly in a Makefile. | |
38cbfe40 RK |
919 | |
920 | List_Representation_Info : Int range 0 .. 3 := 0; | |
921 | -- GNAT | |
07fc65c4 | 922 | -- Set non-zero by -gnatR switch to list representation information. |
38cbfe40 RK |
923 | -- The settings are as follows: |
924 | -- | |
925 | -- 0 = no listing of representation information (default as above) | |
926 | -- 1 = list rep info for user defined record and array types | |
927 | -- 2 = list rep info for all user defined types and objects | |
928 | -- 3 = like 2, but variable fields are decoded symbolically | |
929 | ||
07fc65c4 GB |
930 | List_Representation_Info_To_File : Boolean := False; |
931 | -- GNAT | |
4bb9c7b9 | 932 | -- Set true by -gnatRs switch. Causes information from -gnatR/1/2/3/m to be |
3c2815d8 RD |
933 | -- written to file.rep (where file is the name of the source file) instead |
934 | -- of stdout. For example, if file x.adb is compiled using -gnatR2s then | |
935 | -- representation info is written to x.adb.ref. | |
07fc65c4 | 936 | |
fbf5a39b AC |
937 | List_Representation_Info_Mechanisms : Boolean := False; |
938 | -- GNAT | |
3c2815d8 RD |
939 | -- Set true by -gnatRm switch. Causes information on mechanisms to be |
940 | -- included in the representation output information. | |
fbf5a39b AC |
941 | |
942 | List_Preprocessing_Symbols : Boolean := False; | |
943 | -- GNAT, GNATPREP | |
944 | -- Set to True if symbols for preprocessing a source are to be listed | |
3c2815d8 RD |
945 | -- before preprocessing occurs. Set to True by switch -s of gnatprep or |
946 | -- -s in preprocessing data file for the compiler. | |
fbf5a39b | 947 | |
fbe627af | 948 | type Create_Repinfo_File_Proc is access procedure (Src : String); |
4ecc031c RD |
949 | type Write_Repinfo_Line_Proc is access procedure (Info : String); |
950 | type Close_Repinfo_File_Proc is access procedure; | |
07fc65c4 GB |
951 | -- Types used for procedure addresses below |
952 | ||
4ecc031c RD |
953 | Create_Repinfo_File_Access : Create_Repinfo_File_Proc := null; |
954 | Write_Repinfo_Line_Access : Write_Repinfo_Line_Proc := null; | |
955 | Close_Repinfo_File_Access : Close_Repinfo_File_Proc := null; | |
07fc65c4 | 956 | -- GNAT |
3c2815d8 RD |
957 | -- These three locations are left null when operating in non-compiler (e.g. |
958 | -- ASIS mode), but when operating in compiler mode, they are set to point | |
959 | -- to the three corresponding procedures in Osint-C. The reason for this | |
960 | -- slightly strange interface is to stop Repinfo from dragging in Osint in | |
961 | -- ASIS mode, which would include lots of unwanted units in the ASIS build. | |
07fc65c4 | 962 | |
4ecc031c RD |
963 | type Create_List_File_Proc is access procedure (S : String); |
964 | type Write_List_Info_Proc is access procedure (S : String); | |
965 | type Close_List_File_Proc is access procedure; | |
966 | -- Types used for procedure addresses below | |
967 | ||
968 | Create_List_File_Access : Create_List_File_Proc := null; | |
969 | Write_List_Info_Access : Write_List_Info_Proc := null; | |
970 | Close_List_File_Access : Close_List_File_Proc := null; | |
971 | -- GNAT | |
972 | -- These three locations are left null when operating in non-compiler | |
973 | -- (e.g. from the binder), but when operating in compiler mode, they are | |
974 | -- set to point to the three corresponding procedures in Osint-C. The | |
975 | -- reason for this slightly strange interface is to prevent Repinfo | |
976 | -- from dragging in Osint-C in the binder, which would include unwanted | |
3c2815d8 | 977 | -- units in the binder. |
4ecc031c | 978 | |
38cbfe40 | 979 | Locking_Policy : Character := ' '; |
fbf5a39b | 980 | -- GNAT, GNATBIND |
3c2815d8 RD |
981 | -- Set to ' ' for the default case (no locking policy specified). Reset to |
982 | -- first character (uppercase) of locking policy name if a valid pragma | |
983 | -- Locking_Policy is encountered. | |
38cbfe40 | 984 | |
fbf5a39b AC |
985 | Locking_Policy_Sloc : Source_Ptr := No_Location; |
986 | -- GNAT, GNATBIND | |
3c2815d8 RD |
987 | -- Remember location of previous Locking_Policy pragma. This is used for |
988 | -- inconsistency error messages. A value of System_Location is used if the | |
989 | -- policy is set in package System. | |
fbf5a39b | 990 | |
38cbfe40 | 991 | Look_In_Primary_Dir : Boolean := True; |
fbf5a39b | 992 | -- GNAT, GNATBIND, GNATMAKE, GNATCLEAN |
3c2815d8 RD |
993 | -- Set to False if a -I- was present on the command line. When True we are |
994 | -- allowed to look in the primary directory to locate other source or | |
995 | -- library files. | |
38cbfe40 | 996 | |
fbf5a39b AC |
997 | Make_Steps : Boolean := False; |
998 | -- GNATMAKE | |
999 | -- Set to True when either Compile_Only, Bind_Only or Link_Only is | |
1000 | -- set to True. | |
1001 | ||
aa720a54 AC |
1002 | Main_Index : Int := 0; |
1003 | -- GNATMAKE | |
1004 | -- This is set to non-zero by gnatmake switch -eInnn to indicate that | |
1005 | -- the main program is the nnn unit in a multi-unit source file. | |
1006 | ||
6510f4c9 GB |
1007 | Mapping_File_Name : String_Ptr := null; |
1008 | -- GNAT | |
1009 | -- File name of mapping between unit names, file names and path names. | |
1010 | -- (given by switch -gnatem) | |
1011 | ||
923e6ff3 | 1012 | Maximum_Messages : Int := 9999; |
38cbfe40 | 1013 | -- GNAT, GNATBIND |
923e6ff3 RD |
1014 | -- Maximum default number of errors before compilation is terminated, or in |
1015 | -- the case of GNAT, maximum number of warnings before further warnings are | |
1016 | -- suppressed. Can be overridden by -gnatm (GNAT) or -m (GNATBIND) switch. | |
38cbfe40 RK |
1017 | |
1018 | Maximum_File_Name_Length : Int; | |
1019 | -- GNAT, GNATBIND | |
1020 | -- Maximum number of characters allowed in a file name, not counting the | |
1021 | -- extension, as set by the appropriate switch. If no switch is given, | |
1022 | -- then this value is initialized by Osint to the appropriate value. | |
1023 | ||
1f163ef7 AC |
1024 | Maximum_Instantiations : Int := 8000; |
1025 | -- GNAT | |
1026 | -- Maximum number of instantiations permitted (to stop runaway cases | |
1027 | -- of nested instantiations). These situations probably only occur in | |
1028 | -- specially concocted test cases. Can be modified by -gnateinn switch. | |
1029 | ||
38cbfe40 | 1030 | Maximum_Processes : Positive := 1; |
dacc3457 | 1031 | -- GNATMAKE, GPRBUILD |
38cbfe40 RK |
1032 | -- Maximum number of processes that should be spawned to carry out |
1033 | -- compilations. | |
1034 | ||
1035 | Minimal_Recompilation : Boolean := False; | |
1036 | -- GNATMAKE | |
f81e6250 | 1037 | -- Set to True if minimal recompilation mode requested |
38cbfe40 | 1038 | |
a0367a97 AC |
1039 | Modify_Tree_For_C : Boolean := False; |
1040 | -- GNAT | |
1041 | -- If this switch is set True (currently it is set only by -gnatd.V), then | |
1042 | -- certain meaning-preserving transformations are applied to the tree to | |
1043 | -- make it easier to interface with back ends that implement C semantics. | |
1044 | -- There is a section in Sinfo which describes the transformations made. | |
1045 | ||
6577bef9 | 1046 | Multiple_Unit_Index : Int := 0; |
2820d220 AC |
1047 | -- GNAT |
1048 | -- This is set non-zero if the current unit is being compiled in multiple | |
1049 | -- unit per file mode, meaning that the current unit is selected from the | |
1050 | -- sequence of units in the current source file, using the value stored | |
1051 | -- in this variable (e.g. 2 = select second unit in file). A value of | |
1052 | -- zero indicates that we are in normal (one unit per file) mode. | |
1053 | ||
165bdb4b AC |
1054 | No_Backup : Boolean := False; |
1055 | -- GNATNAME | |
39678b1c | 1056 | -- Do not create backup copies of project files. Set by switch --no-backup. |
165bdb4b | 1057 | |
9479ded4 AC |
1058 | No_Deletion : Boolean := False; |
1059 | -- GNATPREP | |
1060 | -- Set by preprocessor switch -a. Do not eliminate any source text. Implies | |
1061 | -- Undefined_Symbols_Are_False. Useful to perform a syntax check on all | |
1062 | -- branches of #if constructs. | |
1063 | ||
8bef7ba9 AC |
1064 | No_Elab_Code_All_Pragma : Node_Id := Empty; |
1065 | -- Set to point to a No_Elaboration_Code_All pragma or aspect encountered | |
1066 | -- in the spec of the extended main unit. Used to determine if we need to | |
1067 | -- do special tests for violation of this aspect. | |
1068 | ||
38cbfe40 RK |
1069 | No_Main_Subprogram : Boolean := False; |
1070 | -- GNATMAKE, GNATBIND | |
1071 | -- Set to True if compilation/binding of a program without main | |
1072 | -- subprogram requested. | |
1073 | ||
fbf5a39b AC |
1074 | No_Run_Time_Mode : Boolean := False; |
1075 | -- GNAT, GNATBIND | |
6b2963e7 AC |
1076 | -- This flag is set True if a No_Run_Time pragma is encountered. See spec |
1077 | -- of Rtsfind for a full description of handling of this pragma. | |
fbf5a39b | 1078 | |
90e9a6be AC |
1079 | No_Split_Units : Boolean := False; |
1080 | -- GPRBUILD | |
1081 | -- Set to True with switch --no-split-units. When True, unit sources, spec, | |
39678b1c AC |
1082 | -- body and subunits, must all be in the same project. This is checked |
1083 | -- after each compilation. | |
90e9a6be | 1084 | |
8a6a52dc AC |
1085 | No_Stdinc : Boolean := False; |
1086 | -- GNAT, GNATBIND, GNATMAKE, GNATFIND, GNATXREF | |
39678b1c | 1087 | -- Set to True if no default source search dirs added to search list. |
8a6a52dc AC |
1088 | |
1089 | No_Stdlib : Boolean := False; | |
1090 | -- GNATMAKE, GNATBIND, GNATFIND, GNATXREF | |
39678b1c | 1091 | -- Set to True if no default library search dirs added to search list. |
8a6a52dc AC |
1092 | |
1093 | No_Strict_Aliasing : Boolean := False; | |
1094 | -- GNAT | |
39678b1c | 1095 | -- Set True if pragma No_Strict_Aliasing with no parameters encountered. |
8a6a52dc | 1096 | |
49d41397 RD |
1097 | No_Tagged_Streams : Node_Id := Empty; |
1098 | -- GNAT | |
1099 | -- If a pragma No_Tagged_Streams is active for the current scope, this | |
1100 | -- points to the corresponding pragma. | |
1101 | ||
38cbfe40 | 1102 | Normalize_Scalars : Boolean := False; |
fbf5a39b | 1103 | -- GNAT, GNATBIND |
38cbfe40 RK |
1104 | -- Set True if a pragma Normalize_Scalars applies to the current unit. |
1105 | -- Note that Init_Or_Norm_Scalars is also set to True if this is True. | |
1106 | ||
fbf5a39b AC |
1107 | Object_Directory_Present : Boolean := False; |
1108 | -- GNATMAKE | |
1109 | -- Set to True when an object directory is specified with option -D | |
38cbfe40 | 1110 | |
a1e16658 AC |
1111 | Object_Path_File_Name : String_Ptr := null; |
1112 | -- GNAT2WHY | |
1113 | -- Path of the temporary file that contains a list of object directories | |
347c766a | 1114 | -- passed by -gnateO=<obj_path_file>. |
a1e16658 | 1115 | |
02954c25 AC |
1116 | One_Compilation_Per_Obj_Dir : Boolean := False; |
1117 | -- GNATMAKE, GPRBUILD | |
1118 | -- Set to True with switch --single-compile-per-obj-dir. When True, there | |
1119 | -- cannot be simultaneous compilations with the object files in the same | |
1120 | -- object directory, if project files are used. | |
1121 | ||
38cbfe40 | 1122 | type Operating_Mode_Type is (Check_Syntax, Check_Semantics, Generate_Code); |
8b4230c8 | 1123 | pragma Ordered (Operating_Mode_Type); |
38cbfe40 RK |
1124 | Operating_Mode : Operating_Mode_Type := Generate_Code; |
1125 | -- GNAT | |
1126 | -- Indicates the operating mode of the compiler. The default is generate | |
1127 | -- code, which runs the parser, semantics and backend. Switches can be | |
1128 | -- used to set syntax checking only mode, or syntax and semantics checking | |
1129 | -- only mode. Operating_Mode can also be modified as a result of detecting | |
fbf5a39b AC |
1130 | -- errors during the compilation process. In particular if any serious |
1131 | -- error is detected then this flag is reset from Generate_Code to | |
8b4230c8 AC |
1132 | -- Check_Semantics after generating an error message. This is an ordered |
1133 | -- type with the semantics that each value does more than the previous one. | |
fbf5a39b | 1134 | |
1b24ada5 | 1135 | Optimize_Alignment : Character := 'O'; |
dec55d76 | 1136 | -- Setting of Optimize_Alignment, set to T/S/O for time/space/off. Can |
1b24ada5 RD |
1137 | -- be modified by use of pragma Optimize_Alignment. |
1138 | ||
ce4a6e84 RD |
1139 | Optimize_Alignment_Local : Boolean := False; |
1140 | -- Set True if Optimize_Alignment mode is set by a local configuration | |
1141 | -- pragma that overrides the gnat.adc (or other configuration file) default | |
1142 | -- so that the unit is not dependent on the default setting. Also always | |
1143 | -- set True for internal units, since these always have a default setting | |
1144 | -- of Optimize_Alignment (Off) that is enforced (essentially equivalent to | |
1145 | -- them all having such an explicit pragma in each unit). | |
1146 | ||
fbf5a39b AC |
1147 | Original_Operating_Mode : Operating_Mode_Type := Generate_Code; |
1148 | -- GNAT | |
3c2815d8 RD |
1149 | -- Indicates the original operating mode of the compiler as set by compiler |
1150 | -- options. This is identical to Operating_Mode except that this is not | |
1151 | -- affected by errors. | |
fbf5a39b AC |
1152 | |
1153 | Optimization_Level : Int; | |
1154 | pragma Import (C, Optimization_Level, "optimize"); | |
ce4a6e84 | 1155 | -- Constant reflecting the optimization level (0,1,2,3 for -O0,-O1,-O2,-O3) |
bded454f RD |
1156 | -- See jmissing.c and aamissing.c for definitions for dotnet/jgnat and |
1157 | -- GNAAMP back ends. | |
1158 | ||
1159 | Optimize_Size : Int; | |
1160 | pragma Import (C, Optimize_Size, "optimize_size"); | |
fa702fbd AC |
1161 | -- Constant reflecting setting of -Os (optimize for size). Set to nonzero |
1162 | -- in -Os mode and set to zero otherwise. See jmissing.c and aamissing.c | |
1163 | -- for definitions of "optimize_size" for dotnet/jgnat and GNAAMP backends | |
38cbfe40 RK |
1164 | |
1165 | Output_File_Name_Present : Boolean := False; | |
dacc3457 | 1166 | -- GNATBIND, GNAT, GNATMAKE |
bded454f RD |
1167 | -- Set to True when the output C file name is given with option -o for |
1168 | -- GNATBIND, when the object file name is given with option -gnatO for GNAT | |
dacc3457 | 1169 | -- or when the executable is given with option -o for GNATMAKE. |
38cbfe40 RK |
1170 | |
1171 | Output_Linker_Option_List : Boolean := False; | |
1172 | -- GNATBIND | |
1173 | -- True if output of list of linker options is requested (-K switch set) | |
1174 | ||
12577815 TQ |
1175 | Output_ALI_List : Boolean := False; |
1176 | ALI_List_Filename : String_Ptr; | |
38cbfe40 | 1177 | -- GNATBIND |
12577815 TQ |
1178 | -- True if output of list of ALIs is requested (-A switch set). List is |
1179 | -- output under the given filename, or standard output if not specified. | |
1180 | ||
1181 | Output_Object_List : Boolean := False; | |
1182 | Object_List_Filename : String_Ptr; | |
1183 | -- GNATBIND | |
1184 | -- True if output of list of objects is requested (-O switch set). List is | |
1185 | -- output under the given filename, or standard output if not specified. | |
38cbfe40 | 1186 | |
54f471f0 AC |
1187 | Partition_Elaboration_Policy : Character := ' '; |
1188 | -- GNAT, GNATBIND | |
1189 | -- Set to ' ' for the default case (no elaboration policy specified). Reset | |
1190 | -- to first character (uppercase) of locking policy name if a valid pragma | |
1191 | -- Partition_Elaboration_Policy is encountered. | |
1192 | ||
1193 | Partition_Elaboration_Policy_Sloc : Source_Ptr := No_Location; | |
1194 | -- GNAT, GNATBIND | |
1195 | -- Remember location of previous Partition_Elaboration_Policy pragma. This | |
1196 | -- is used for inconsistency error messages. A value of System_Location is | |
1197 | -- used if the policy is set in package System. | |
1198 | ||
f81e6250 RD |
1199 | Persistent_BSS_Mode : Boolean := False; |
1200 | -- GNAT | |
1201 | -- True if a Persistent_BSS configuration pragma is in effect, causing | |
1202 | -- potentially persistent data to be placed in the persistent_bss section. | |
1203 | ||
38cbfe40 RK |
1204 | Pessimistic_Elab_Order : Boolean := False; |
1205 | -- GNATBIND | |
1206 | -- True if pessimistic elaboration order is to be chosen (-p switch set) | |
1207 | ||
1208 | Polling_Required : Boolean := False; | |
1209 | -- GNAT | |
1210 | -- Set to True if polling for asynchronous abort is enabled by using | |
1211 | -- the -gnatP option for GNAT. | |
1212 | ||
8f819471 RD |
1213 | Prefix_Exception_Messages : Boolean := False; |
1214 | -- GNAT | |
1215 | -- Set True to prefix exception messages with entity-name: | |
1216 | ||
fbf5a39b AC |
1217 | Preprocessing_Data_File : String_Ptr := null; |
1218 | -- GNAT | |
dec55d76 | 1219 | -- Set by switch -gnatep=. The file name of the preprocessing data file. |
fbf5a39b | 1220 | |
499769ec AC |
1221 | Preprocessing_Symbol_Defs : String_List_Access := new String_List (1 .. 4); |
1222 | -- An extensible array to temporarily stores symbol definitions specified | |
6b2963e7 AC |
1223 | -- on the command line with -gnateD switches. The value 4 is an arbitrary |
1224 | -- starting point, if more space is needed it is allocated as required. | |
499769ec AC |
1225 | |
1226 | Preprocessing_Symbol_Last : Natural := 0; | |
1227 | -- Index of last symbol definition in array Symbol_Definitions | |
1228 | ||
38cbfe40 RK |
1229 | Print_Generated_Code : Boolean := False; |
1230 | -- GNAT | |
1231 | -- Set to True to enable output of generated code in source form. This | |
1232 | -- flag is set by the -gnatG switch. | |
1233 | ||
9596236a AC |
1234 | Print_Standard : Boolean := False; |
1235 | -- GNAT | |
1236 | -- Set to true to enable printing of package standard in source form. | |
1237 | -- This flag is set by the -gnatS switch | |
1238 | ||
fbf5a39b AC |
1239 | type Usage is (Unknown, Not_In_Use, In_Use); |
1240 | Project_File_In_Use : Usage := Unknown; | |
38cbfe40 | 1241 | -- GNAT |
3c2815d8 RD |
1242 | -- Indicates if a project file is used or not. Set to In_Use by the first |
1243 | -- SFNP pragma. | |
fbf5a39b AC |
1244 | |
1245 | Queuing_Policy : Character := ' '; | |
1246 | -- GNAT, GNATBIND | |
3c2815d8 RD |
1247 | -- Set to ' ' for the default case (no queuing policy specified). Reset to |
1248 | -- first character (uppercase) of locking policy name if a valid | |
38cbfe40 RK |
1249 | -- Queuing_Policy pragma is encountered. |
1250 | ||
fbf5a39b AC |
1251 | Queuing_Policy_Sloc : Source_Ptr := No_Location; |
1252 | -- GNAT, GNATBIND | |
3c2815d8 RD |
1253 | -- Remember location of previous Queuing_Policy pragma. This is used for |
1254 | -- inconsistency error messages. A value of System_Location is used if the | |
1255 | -- policy is set in package System. | |
fbf5a39b | 1256 | |
38cbfe40 | 1257 | Quiet_Output : Boolean := False; |
dacc3457 | 1258 | -- GNATMAKE, GNATCLEAN, GPRBUILD, GPRCLEAN |
fbf5a39b AC |
1259 | -- Set to True if the tool should not have any output if there are no |
1260 | -- errors or warnings. | |
1261 | ||
9b7424a7 | 1262 | Overriding_Renamings : Boolean := False; |
c91dbd18 | 1263 | -- GNAT |
9b7424a7 AC |
1264 | -- Set to True to enable compatibility mode with Rational compiler, and |
1265 | -- to accept renamings of implicit operations in their own scope. | |
c91dbd18 | 1266 | |
303fbb20 AC |
1267 | Relaxed_RM_Semantics : Boolean := False; |
1268 | -- GNAT | |
6b2963e7 AC |
1269 | -- Set to True to ignore some Ada semantic error to help parse legacy Ada |
1270 | -- code for use in e.g. static analysis (such as CodePeer). This deals | |
1271 | -- with cases where other compilers allow illegal constructs. Tools such as | |
1272 | -- CodePeer are interested in analyzing code rather than enforcing legality | |
1273 | -- rules, so as long as these illegal constructs end up with code that can | |
1274 | -- be handled by the tool in question, there is no reason to reject the | |
1275 | -- code that is considered correct by the other compiler. | |
303fbb20 | 1276 | |
383b2b42 RD |
1277 | Replace_In_Comments : Boolean := False; |
1278 | -- GNATPREP | |
39678b1c | 1279 | -- Set to True if -C switch used. |
383b2b42 | 1280 | |
fbf5a39b AC |
1281 | RTS_Lib_Path_Name : String_Ptr := null; |
1282 | RTS_Src_Path_Name : String_Ptr := null; | |
1283 | -- GNAT | |
1284 | -- Set to the "adalib" and "adainclude" directories of the run time | |
1285 | -- specified by --RTS=. | |
38cbfe40 | 1286 | |
07fc65c4 GB |
1287 | RTS_Switch : Boolean := False; |
1288 | -- GNAT, GNATMAKE, GNATBIND, GNATLS, GNATFIND, GNATXREF | |
1289 | -- Set to True when the --RTS switch is set | |
1290 | ||
fbf5a39b AC |
1291 | Run_Path_Option : Boolean := True; |
1292 | -- GNATMAKE, GNATLINK | |
1293 | -- Set to False when no run_path_option should be issued to the linker | |
1294 | ||
1f6a2b51 RD |
1295 | Search_Directory_Present : Boolean := False; |
1296 | -- GNAT | |
3c2815d8 RD |
1297 | -- Set to True when argument is -I. Reset to False when next argument, a |
1298 | -- search directory path is taken into account. Note that this is quite | |
1299 | -- different from other switches in this section in that it is only set in | |
1300 | -- a transitory manner as a result of scanning a -I switch with no file | |
1301 | -- name, and if set, is an indication that the next argument is to be | |
1302 | -- treated as a file name. | |
1f6a2b51 | 1303 | |
91b1417d AC |
1304 | Sec_Stack_Used : Boolean := False; |
1305 | -- GNAT, GBATBIND | |
3c2815d8 RD |
1306 | -- Set True if generated code uses the System.Secondary_Stack package. For |
1307 | -- the binder, set if any unit uses the secondary stack package. | |
91b1417d | 1308 | |
615cbd95 AC |
1309 | Setup_Projects : Boolean := False; |
1310 | -- GNAT DRIVER | |
1311 | -- Set to True for GNAT SETUP: the Project Manager creates non existing | |
1312 | -- object, library and exec directories. | |
1313 | ||
38cbfe40 RK |
1314 | Shared_Libgnat : Boolean; |
1315 | -- GNATBIND | |
3c2815d8 RD |
1316 | -- Set to True if a shared libgnat is requested by using the -shared option |
1317 | -- for GNATBIND and to False when using the -static option. The value of | |
1318 | -- this flag is set by Gnatbind.Scan_Bind_Arg. | |
38cbfe40 | 1319 | |
6a2afd13 AC |
1320 | Short_Circuit_And_Or : Boolean := False; |
1321 | -- GNAT | |
1322 | -- Set True if a pragma Short_Circuit_And_Or applies to the current unit. | |
1323 | ||
8fdafe44 AC |
1324 | type SPARK_Mode_Type is (None, Off, On); |
1325 | -- Possible legal modes that can be set by aspect/pragma SPARK_Mode, as | |
1326 | -- well as the value None, which indicates no such pragma/aspect applies. | |
43417b90 AC |
1327 | |
1328 | SPARK_Mode : SPARK_Mode_Type := None; | |
1329 | -- GNAT | |
39678b1c | 1330 | -- Current SPARK mode setting. |
43417b90 | 1331 | |
579847c2 AC |
1332 | SPARK_Mode_Pragma : Node_Id := Empty; |
1333 | -- GNAT | |
1334 | -- If the current SPARK_Mode (above) was set by a pragma, this records | |
1335 | -- the pragma that set this mode. | |
1336 | ||
5f0c4d67 AC |
1337 | SPARK_Switches_File_Name : String_Ptr := null; |
1338 | -- GNAT | |
1339 | -- Set to non-null file name by use of the -gnates switch to specify | |
1340 | -- SPARK (gnat2why) specific switches in the given file name. | |
1341 | ||
1f163ef7 AC |
1342 | Special_Exception_Package_Used : Boolean := False; |
1343 | -- GNAT | |
1344 | -- Set to True if either of the unit GNAT.Most_Recent_Exception or | |
1345 | -- GNAT.Exception_Traces is with'ed. Used to inhibit transformation of | |
1346 | -- local raise statements into gotos in the presence of either package. | |
1347 | ||
dcd8728b | 1348 | Sprint_Line_Limit : Nat := 72; |
292beb8f | 1349 | -- GNAT |
5a521b8a AC |
1350 | -- Limit values for chopping long lines in Cprint/Sprint output, can be |
1351 | -- reset by use of NNN parameter with -gnatG or -gnatD switches. | |
dcd8728b | 1352 | |
f27ad2b2 | 1353 | Stack_Checking_Enabled : Boolean := False; |
38cbfe40 | 1354 | -- GNAT |
f27ad2b2 RD |
1355 | -- Set to indicate if stack checking is enabled for the compilation. This |
1356 | -- is set directly from the value in the gcc back end in the body of the | |
1357 | -- gcc version of back_end.adb. | |
38cbfe40 | 1358 | |
38cbfe40 RK |
1359 | Style_Check : Boolean := False; |
1360 | -- GNAT | |
3c2815d8 | 1361 | -- Set True to perform style checks. Activates checks carried out in |
a20f4389 | 1362 | -- package Style (see body of this package for details of checks). This |
7f18b29a AC |
1363 | -- flag is set True by use of either the -gnatg or -gnaty switches, or |
1364 | -- by the Style_Check pragma. | |
1365 | ||
1366 | Style_Check_Main : Boolean := False; | |
1367 | -- GNAT | |
1368 | -- Set True if Style_Check was set for the main unit. This is used to | |
1369 | -- renable style checks for units in the mail extended source that get | |
9686dbc7 AC |
1370 | -- with'ed indirectly. It is set True by use of either the -gnatg or |
1371 | -- -gnaty switches, but not by use of the Style_Checks pragma. | |
38cbfe40 | 1372 | |
17ce1f52 AC |
1373 | Disable_FE_Inline : Boolean := False; |
1374 | Disable_FE_Inline_Always : Boolean := False; | |
1375 | -- GNAT | |
1376 | -- Request to disable front end inlining from pragma Inline or pragma | |
1377 | -- Inline_Always out of the presence of the -fno-inline back end flag | |
1378 | -- on the command line, regardless of any other switches that are set. | |
1379 | -- It remains the back end's reponsibility to honor -fno-inline at the | |
1380 | -- back end level. | |
395b5080 | 1381 | |
9549767b AC |
1382 | Suppress_Control_Flow_Optimizations : Boolean := False; |
1383 | -- GNAT | |
1384 | -- Set by -fpreserve-control-flow. Suppresses control flow optimizations | |
1385 | -- that interfere with coverage analysis based on the object code. | |
1386 | ||
38cbfe40 RK |
1387 | System_Extend_Pragma_Arg : Node_Id := Empty; |
1388 | -- GNAT | |
1389 | -- Set non-empty if and only if a correct Extend_System pragma was present | |
1390 | -- in which case it points to the argument of the pragma, and the name can | |
1391 | -- be located as Chars (Expression (System_Extend_Pragma_Arg)). | |
1392 | ||
fbf5a39b AC |
1393 | System_Extend_Unit : Node_Id := Empty; |
1394 | -- GNAT | |
1395 | -- This is set to Empty if GNAT_Mode is set, since pragma Extend_System | |
1396 | -- is never appropriate in GNAT_Mode (and causes troubles, including | |
1397 | -- bogus circularities, if we try to compile the run-time library with | |
1398 | -- a System extension). If GNAT_Mode is not set, then System_Extend_Unit | |
f81e6250 | 1399 | -- is a copy of the value set in System_Extend_Pragma_Arg. |
fbf5a39b | 1400 | |
38cbfe40 | 1401 | Subunits_Missing : Boolean := False; |
07fc65c4 | 1402 | -- GNAT |
38cbfe40 RK |
1403 | -- This flag is set true if missing subunits are detected with code |
1404 | -- generation active. This causes code generation to be skipped. | |
1405 | ||
07fc65c4 GB |
1406 | Suppress_Checks : Boolean := False; |
1407 | -- GNAT | |
1408 | -- Set to True if -gnatp (suppress all checks) switch present. | |
1409 | ||
3217f71e | 1410 | Suppress_Options : Suppress_Record; |
38cbfe40 | 1411 | -- GNAT |
05b34c18 AC |
1412 | -- Indicates outer level setting of check suppression. This initializes |
1413 | -- the settings of the outer scope level in any unit compiled. This is | |
1414 | -- initialized by Osint.Initialize, and further initialized by the | |
1415 | -- Adjust_Global_Switches flag in Gnat1drv. | |
38cbfe40 RK |
1416 | |
1417 | Table_Factor : Int := 1; | |
07fc65c4 | 1418 | -- GNAT |
38cbfe40 | 1419 | -- Factor by which all initial table sizes set in Alloc are multiplied. |
f81e6250 RD |
1420 | -- Used in Table to calculate initial table sizes (the initial table size |
1421 | -- is the value in Alloc, used as the Table_Initial parameter value, | |
1422 | -- multiplied by the factor given here. The default value is used if no | |
1423 | -- -gnatT switch appears. | |
38cbfe40 | 1424 | |
1f110335 AC |
1425 | Tagged_Type_Expansion : Boolean := True; |
1426 | -- GNAT | |
1427 | -- Set True if tagged types and interfaces should be expanded by the | |
3c2815d8 RD |
1428 | -- front-end. If False, the original tree is left unexpanded for tagged |
1429 | -- types and dispatching calls, assuming the underlying target supports | |
1430 | -- it (e.g. in the JVM case). | |
1f110335 | 1431 | |
340772c0 | 1432 | Target_Dependent_Info_Read_Name : String_Ptr := null; |
289a994b | 1433 | -- GNAT |
340772c0 RD |
1434 | -- Set non-null to override the normal processing in Get_Targ and set the |
1435 | -- necessary information by reading the target dependent information file | |
1436 | -- whose name is given here (see packages Get_Targ and Set_Targ for full | |
1437 | -- details). Set to non-null file name by use of the -gnateT switch. | |
289a994b | 1438 | |
340772c0 | 1439 | Target_Dependent_Info_Write_Name : String_Ptr := null; |
289a994b | 1440 | -- GNAT |
340772c0 RD |
1441 | -- Set non-null to enable a call to Set_Targ.Write_Target_Dependent_Info |
1442 | -- which writes a target independent information file (see packages | |
1443 | -- Get_Targ and Set_Targ for full details) using the name given by | |
1444 | -- this switch. Set to non-null file name by use of the -gnatet switch. | |
289a994b | 1445 | |
1725676d AC |
1446 | type Origin_Of_Target is (Unknown, Default, Specified); |
1447 | ||
1448 | Target_Origin : Origin_Of_Target := Unknown; | |
1449 | -- GPRBUILD | |
1450 | -- Indicates the origin of attribute Target in project files | |
1451 | ||
1452 | Target_Value : String_Access := null; | |
1453 | -- GPRBUILD | |
1454 | -- Indicates the value of attribute Target in project files | |
1455 | ||
38cbfe40 | 1456 | Task_Dispatching_Policy : Character := ' '; |
fbf5a39b | 1457 | -- GNAT, GNATBIND |
38cbfe40 RK |
1458 | -- Set to ' ' for the default case (no task dispatching policy specified). |
1459 | -- Reset to first character (uppercase) of task dispatching policy name | |
1460 | -- if a valid Task_Dispatching_Policy pragma is encountered. | |
1461 | ||
fbf5a39b AC |
1462 | Task_Dispatching_Policy_Sloc : Source_Ptr := No_Location; |
1463 | -- GNAT, GNATBIND | |
1464 | -- Remember location of previous Task_Dispatching_Policy pragma. This is | |
1465 | -- used for inconsistency error messages. A value of System_Location is | |
1466 | -- used if the policy is set in package System. | |
1467 | ||
38cbfe40 RK |
1468 | Tasking_Used : Boolean := False; |
1469 | -- Set True if any tasking construct is encountered. Used to activate the | |
07fc65c4 | 1470 | -- output of the Q, L and T lines in ALI files. |
38cbfe40 RK |
1471 | |
1472 | Time_Slice_Set : Boolean := False; | |
07fc65c4 | 1473 | -- GNATBIND |
38cbfe40 | 1474 | -- Set True if a pragma Time_Slice is processed in the main unit, or |
07fc65c4 | 1475 | -- if the -gnatTnn switch is present to set a time slice value. |
38cbfe40 RK |
1476 | |
1477 | Time_Slice_Value : Nat; | |
07fc65c4 | 1478 | -- GNATBIND |
f81e6250 RD |
1479 | -- Time slice value. Valid only if Time_Slice_Set is True, i.e. if |
1480 | -- Time_Slice pragma has been processed. Set to the time slice value in | |
1481 | -- microseconds. Negative values are stored as zero, and the value is not | |
1482 | -- larger than 1_000_000_000 (1000 seconds). Values larger than this are | |
1483 | -- reset to this maximum. This can also be set with the -gnatTnn switch. | |
38cbfe40 RK |
1484 | |
1485 | Tolerate_Consistency_Errors : Boolean := False; | |
1486 | -- GNATBIND | |
f81e6250 RD |
1487 | -- Tolerate time stamp and other consistency errors. If this flag is set to |
1488 | -- True (-t), then inconsistencies result in warnings rather than errors. | |
38cbfe40 | 1489 | |
ce09f8b3 AC |
1490 | Treat_Categorization_Errors_As_Warnings : Boolean := False; |
1491 | -- Normally categorization errors are true illegalities. If this switch | |
1492 | -- is set, then such errors result in warning messages rather than error | |
51b0e05a AC |
1493 | -- messages. Set True by -gnateP (P for Pure/Preelaborate). Also set in |
1494 | -- Relaxed_RM_Semantics mode since some old Ada 83 compilers treated | |
1495 | -- pragma Preelaborate differently. | |
ce09f8b3 | 1496 | |
23e6615e RD |
1497 | Treat_Restrictions_As_Warnings : Boolean := False; |
1498 | -- GNAT | |
1499 | -- Set True to treat pragma Restrictions as Restriction_Warnings. Set by | |
1500 | -- -gnatr switch. | |
1501 | ||
38cbfe40 RK |
1502 | Tree_Output : Boolean := False; |
1503 | -- GNAT | |
07fc65c4 | 1504 | -- Set to True (-gnatt) to generate output tree file |
38cbfe40 RK |
1505 | |
1506 | Try_Semantics : Boolean := False; | |
1507 | -- GNAT | |
1508 | -- Flag set to force attempt at semantic analysis, even if parser errors | |
1509 | -- occur. This will probably cause blowups at this stage in the game. On | |
1510 | -- the other hand, most such blowups will be caught cleanly and simply | |
9686dbc7 | 1511 | -- say compilation abandoned. This flag is set True by -gnatq or -gnatQ. |
38cbfe40 | 1512 | |
c54ab0b5 AC |
1513 | Unchecked_Shared_Lib_Imports : Boolean := False; |
1514 | -- GPRBUILD | |
1515 | -- Set to True when shared library projects are allowed to import projects | |
0c68c613 | 1516 | -- that are not shared library projects. Set on by use of the switch |
c54ab0b5 AC |
1517 | -- --unchecked-shared-lib-imports. |
1518 | ||
fbf5a39b AC |
1519 | Undefined_Symbols_Are_False : Boolean := False; |
1520 | -- GNAT, GNATPREP | |
1521 | -- Set to True by switch -u of gnatprep or -u in the preprocessing data | |
1522 | -- file for the compiler. Indicates that while preprocessing sources, | |
1523 | -- symbols that are not defined have the value FALSE. | |
1524 | ||
96e90ac1 RD |
1525 | Uneval_Old : Character := 'E'; |
1526 | -- GNAT | |
1527 | -- Set to 'E'/'W'/'A' for use of Error/Warn/Allow in a valid pragma | |
1773d80b AC |
1528 | -- Unevaluated_Use_Of_Old. Default in the absence of the pragma is 'E' |
1529 | -- for the RM default behavior of giving an error. | |
96e90ac1 | 1530 | |
38cbfe40 RK |
1531 | Unique_Error_Tag : Boolean := Tag_Errors; |
1532 | -- GNAT | |
1533 | -- Indicates if error messages are to be prefixed by the string error: | |
1534 | -- Initialized from Tag_Errors, can be forced on with the -gnatU switch. | |
1535 | ||
fbf5a39b AC |
1536 | Universal_Addressing_On_AAMP : Boolean := False; |
1537 | -- GNAAMP | |
f81e6250 RD |
1538 | -- Indicates if library-level objects should be accessed and updated using |
1539 | -- universal addressing instructions on the AAMP architecture. This flag is | |
1540 | -- set to True when pragma Universal_Data is given as a configuration | |
1541 | -- pragma. | |
fbf5a39b | 1542 | |
38cbfe40 RK |
1543 | Unreserve_All_Interrupts : Boolean := False; |
1544 | -- GNAT, GNATBIND | |
f81e6250 RD |
1545 | -- Normally set False, set True if a valid Unreserve_All_Interrupts pragma |
1546 | -- appears anywhere in the main unit for GNAT, or if any ALI file has the | |
1547 | -- corresponding attribute set in GNATBIND. | |
38cbfe40 RK |
1548 | |
1549 | Upper_Half_Encoding : Boolean := False; | |
395b5080 | 1550 | -- GNAT, GNATBIND |
ce4a6e84 | 1551 | -- Normally set False, indicating that upper half ISO 8859-1 characters are |
38cbfe40 | 1552 | -- used in the normal way to represent themselves. If the wide character |
f81e6250 RD |
1553 | -- encoding method uses the upper bit for this encoding, then this flag is |
1554 | -- set True, and upper half characters in the source indicate the start of | |
395b5080 | 1555 | -- a wide character sequence. Set by -gnatW or -W switches. |
38cbfe40 | 1556 | |
b29def53 AC |
1557 | Use_Include_Path_File : Boolean := False; |
1558 | -- GNATMAKE, GPRBUILD | |
1559 | -- When True, create a source search path file, even when a mapping file | |
1560 | -- is used. | |
1561 | ||
38cbfe40 RK |
1562 | Usage_Requested : Boolean := False; |
1563 | -- GNAT, GNATBIND, GNATMAKE | |
07fc65c4 GB |
1564 | -- Set to True if -h (-gnath for the compiler) switch encountered |
1565 | -- requesting usage information | |
38cbfe40 | 1566 | |
df956773 VC |
1567 | Use_Pragma_Linker_Constructor : Boolean := False; |
1568 | -- GNATBIND | |
1569 | -- True if pragma Linker_Constructor applies to adainit | |
1570 | ||
38cbfe40 RK |
1571 | Use_VADS_Size : Boolean := False; |
1572 | -- GNAT | |
1573 | -- Set to True if a valid pragma Use_VADS_Size is processed | |
1574 | ||
1575 | Validity_Checks_On : Boolean := True; | |
07fc65c4 | 1576 | -- GNAT |
38cbfe40 RK |
1577 | -- This flag determines if validity checking is on or off. The initial |
1578 | -- state is on, and the required default validity checks are active. The | |
f81e6250 | 1579 | -- actual set of checks that is performed if Validity_Checks_On is set is |
383b2b42 | 1580 | -- defined by the switches in package Validsw. The Validity_Checks_On flag |
f81e6250 RD |
1581 | -- is controlled by pragma Validity_Checks (On | Off), and also some |
1582 | -- generated compiler code (typically code that has to do with validity | |
1583 | -- check generation) is compiled with this flag set to False. This flag is | |
1584 | -- set to False by the -gnatp switch. | |
38cbfe40 RK |
1585 | |
1586 | Verbose_Mode : Boolean := False; | |
383b2b42 | 1587 | -- GNAT, GNATBIND, GNATMAKE, GNATLINK, GNATLS, GNATNAME, GNATCLEAN, |
dacc3457 | 1588 | -- GPRBUILD, GPRCLEAN |
38cbfe40 RK |
1589 | -- Set to True to get verbose mode (full error message text and location |
1590 | -- information sent to standard output, also header, copyright and summary) | |
1591 | ||
383b2b42 | 1592 | type Verbosity_Level_Type is (None, Low, Medium, High); |
a8930b80 | 1593 | pragma Ordered (Verbosity_Level_Type); |
383b2b42 | 1594 | Verbosity_Level : Verbosity_Level_Type := High; |
dacc3457 AC |
1595 | -- GNATMAKE |
1596 | -- Modified by gnatmake switches -v, -vl, -vm, -vh. Indicates | |
383b2b42 RD |
1597 | -- the level of verbosity of informational messages: |
1598 | -- | |
1599 | -- In Low Verbosity, the reasons why a source is recompiled, the name | |
1600 | -- of the executable and the reason it must be rebuilt is output. | |
1601 | -- | |
1602 | -- In Medium Verbosity, additional lines are output for each ALI file | |
1603 | -- that is checked. | |
1604 | -- | |
1605 | -- In High Verbosity, additional lines are output when the ALI file | |
1606 | -- is part of an Ada library, is read-only or is part of the runtime. | |
1607 | ||
f81e6250 RD |
1608 | Warn_On_Ada_2005_Compatibility : Boolean := True; |
1609 | -- GNAT | |
4ecc031c | 1610 | -- Set to True to generate all warnings on Ada 2005 compatibility issues, |
f81e6250 | 1611 | -- including warnings on Ada 2005 obsolescent features used in Ada 2005 |
685bc70f | 1612 | -- mode. Set by default, modified by use of -gnatwy/Y. |
f81e6250 | 1613 | |
599a7411 AC |
1614 | Warn_On_Ada_2012_Compatibility : Boolean := True; |
1615 | -- GNAT | |
1616 | -- Set to True to generate all warnings on Ada 2012 compatibility issues, | |
1617 | -- including warnings on Ada 2012 obsolescent features used in Ada 2012 | |
685bc70f | 1618 | -- mode. Modified by use of -gnatwy/Y. |
599a7411 | 1619 | |
f9673bb0 | 1620 | Warn_On_All_Unread_Out_Parameters : Boolean := False; |
ce4a6e84 | 1621 | -- GNAT |
f9673bb0 AC |
1622 | -- Set to True to generate warnings in all cases where a variable is |
1623 | -- modified by being passed as to an OUT formal, but the resulting value is | |
685bc70f AC |
1624 | -- never read. The default is that this warning is suppressed. Modified |
1625 | -- by use of gnatw.o/.O. | |
ce4a6e84 | 1626 | |
395b5080 VC |
1627 | Warn_On_Assertion_Failure : Boolean := True; |
1628 | -- GNAT | |
1629 | -- Set to True to activate warnings on assertions that can be determined | |
685bc70f | 1630 | -- at compile time will always fail. Modified by use of -gnatw.a/.A. |
395b5080 | 1631 | |
4ecc031c RD |
1632 | Warn_On_Assumed_Low_Bound : Boolean := True; |
1633 | -- GNAT | |
1634 | -- Set to True to activate warnings for string parameters that are indexed | |
685bc70f AC |
1635 | -- with literals or S'Length, presumably assuming a lower bound of one. |
1636 | -- Modified by use of -gnatww/W. | |
4ecc031c | 1637 | |
12b4d338 AC |
1638 | Warn_On_Atomic_Synchronization : Boolean := False; |
1639 | -- GNAT | |
1640 | -- Set to True to generate information messages for atomic synchronization. | |
324ac540 | 1641 | -- Modified by use of -gnatw.n/.N. |
12b4d338 | 1642 | |
bc5f3720 RD |
1643 | Warn_On_Bad_Fixed_Value : Boolean := False; |
1644 | -- GNAT | |
1645 | -- Set to True to generate warnings for static fixed-point expression | |
1646 | -- values that are not an exact multiple of the small value of the type. | |
324ac540 | 1647 | -- Odd by default, modified by use of -gnatwb/B. |
bc5f3720 | 1648 | |
4ae23b62 AC |
1649 | Warn_On_Biased_Representation : Boolean := True; |
1650 | -- GNAT | |
1651 | -- Set to True to generate warnings for size clauses, component clauses | |
dbfeb4fa RD |
1652 | -- and component_size clauses that force biased representation. Modified |
1653 | -- by use of -gnatw.b/.B. | |
4ae23b62 | 1654 | |
fbf5a39b | 1655 | Warn_On_Constant : Boolean := False; |
38cbfe40 | 1656 | -- GNAT |
fbf5a39b AC |
1657 | -- Set to True to generate warnings for variables that could be declared |
1658 | -- as constants. Modified by use of -gnatwk/K. | |
38cbfe40 | 1659 | |
4ecc031c RD |
1660 | Warn_On_Deleted_Code : Boolean := False; |
1661 | -- GNAT | |
1662 | -- Set to True to generate warnings for code deleted by the front end | |
1663 | -- for conditional statements whose outcome is known at compile time. | |
1664 | -- Modified by use of -gnatwt/T. | |
1665 | ||
07fc65c4 GB |
1666 | Warn_On_Dereference : Boolean := False; |
1667 | -- GNAT | |
1668 | -- Set to True to generate warnings for implicit dereferences for array | |
1669 | -- indexing and record component access. Modified by use of -gnatwd/D. | |
1670 | ||
fbf5a39b AC |
1671 | Warn_On_Export_Import : Boolean := True; |
1672 | -- GNAT | |
1673 | -- Set to True to generate warnings for suspicious use of export or | |
1674 | -- import pragmas. Modified by use of -gnatwx/X. | |
1675 | ||
10dfac72 AC |
1676 | Warn_On_Elab_Access : Boolean := False; |
1677 | -- GNAT | |
1678 | -- Set to True to generate warnings for P'Access in the case where | |
1679 | -- subprogram P is in the same package as the P'Access, and the P'Access is | |
1680 | -- evaluated at package elaboration time, and occurs before the body of P | |
1681 | -- has been elaborated. | |
1682 | ||
38cbfe40 RK |
1683 | Warn_On_Hiding : Boolean := False; |
1684 | -- GNAT | |
1685 | -- Set to True to generate warnings if a declared entity hides another | |
a3633438 AC |
1686 | -- entity. The default is that this warning is suppressed. Modified by |
1687 | -- use of -gnatwh/H. | |
38cbfe40 | 1688 | |
fbf5a39b AC |
1689 | Warn_On_Modified_Unread : Boolean := False; |
1690 | -- GNAT | |
f81e6250 | 1691 | -- Set to True to generate warnings if a variable is assigned but is never |
395b5080 VC |
1692 | -- read. Also controls warnings for similar cases involving out parameters, |
1693 | -- but only if there is only one out parameter for the procedure involved. | |
685bc70f AC |
1694 | -- The default is that this warning is suppressed, modified by use of |
1695 | -- -gnatwm/M. | |
67ce0d7e | 1696 | |
fbf5a39b AC |
1697 | Warn_On_No_Value_Assigned : Boolean := True; |
1698 | -- GNAT | |
1699 | -- Set to True to generate warnings if no value is ever assigned to a | |
1700 | -- variable that is at least partially uninitialized. Set to false to | |
1701 | -- suppress such warnings. The default is that such warnings are enabled. | |
324ac540 | 1702 | -- Modified by use of -gnatwv/V. |
fbf5a39b | 1703 | |
c690a2ec | 1704 | Warn_On_Non_Local_Exception : Boolean := False; |
a9a5b8ac RD |
1705 | -- GNAT |
1706 | -- Set to True to generate warnings for non-local exception raises and also | |
1707 | -- handlers that can never handle a local raise. This warning is only ever | |
1708 | -- generated if pragma Restrictions (No_Exception_Propagation) is set. The | |
1f6821b4 | 1709 | -- default is not to generate the warnings except that if the source has |
991395ab AC |
1710 | -- at least one exception handler, and this restriction is set, and the |
1711 | -- warning was not explicitly turned off, then it is turned on by default. | |
324ac540 | 1712 | -- Modified by use of -gnatw.x/.X. |
1f6821b4 AC |
1713 | |
1714 | No_Warn_On_Non_Local_Exception : Boolean := False; | |
1715 | -- GNAT | |
1716 | -- This is set to True if the above warning is explicitly suppressed. We | |
1717 | -- use this to avoid turning it on by default when No_Exception_Propagation | |
991395ab | 1718 | -- restriction is set and an exception handler is present. |
a9a5b8ac | 1719 | |
f9673bb0 AC |
1720 | Warn_On_Object_Renames_Function : Boolean := False; |
1721 | -- GNAT | |
1722 | -- Set to True to generate warnings when a function result is renamed as | |
dbfeb4fa RD |
1723 | -- an object. The default is that this warning is disabled. Modified by |
1724 | -- use of -gnatw.r/.R. | |
f9673bb0 | 1725 | |
fbf5a39b AC |
1726 | Warn_On_Obsolescent_Feature : Boolean := False; |
1727 | -- GNAT | |
f81e6250 | 1728 | -- Set to True to generate warnings on use of any feature in Annex or if a |
dbfeb4fa RD |
1729 | -- subprogram is called for which a pragma Obsolescent applies. Modified |
1730 | -- by use of -gnatwj/J. | |
fbf5a39b | 1731 | |
110fcc77 AC |
1732 | Warn_On_Overlap : Boolean := False; |
1733 | -- GNAT | |
d3820795 JM |
1734 | -- Set to True to generate warnings when a writable actual overlaps with |
1735 | -- another actual in a subprogram call. This applies only in modes before | |
1736 | -- Ada 2012. Starting with Ada 2012, such overlaps are illegal. | |
685bc70f | 1737 | -- Modified by use of -gnatw.i/.I. |
110fcc77 | 1738 | |
a9a5b8ac | 1739 | Warn_On_Questionable_Missing_Parens : Boolean := True; |
4ecc031c | 1740 | -- GNAT |
dec55d76 | 1741 | -- Set to True to generate warnings for cases where parentheses are missing |
324ac540 AC |
1742 | -- and the usage is questionable, because the intent is unclear. On by |
1743 | -- default, modified by use of -gnatwq/Q. | |
4ecc031c | 1744 | |
f9673bb0 AC |
1745 | Warn_On_Parameter_Order : Boolean := False; |
1746 | -- GNAT | |
1747 | -- Set to True to generate warnings for cases where the argument list for | |
1748 | -- a call is a sequence of identifiers that match the formal identifiers, | |
1749 | -- but are in the wrong order. | |
1750 | ||
38cbfe40 RK |
1751 | Warn_On_Redundant_Constructs : Boolean := False; |
1752 | -- GNAT | |
1753 | -- Set to True to generate warnings for redundant constructs (e.g. useless | |
1754 | -- assignments/conversions). The default is that this warning is disabled. | |
a3633438 | 1755 | -- Modified by use of -gnatwr/R. |
38cbfe40 | 1756 | |
a9a5b8ac RD |
1757 | Warn_On_Reverse_Bit_Order : Boolean := True; |
1758 | -- GNAT | |
1759 | -- Set to True to generate warning (informational) messages for component | |
1760 | -- clauses that are affected by non-standard bit-order. The default is | |
dbfeb4fa | 1761 | -- that this warning is enabled. Modified by -gnatw.v/.V. |
a9a5b8ac | 1762 | |
ca1ffed0 | 1763 | Warn_On_Suspicious_Contract : Boolean := True; |
67c86178 AC |
1764 | -- GNAT |
1765 | -- Set to True to generate warnings for suspicious contracts expressed as | |
71140fc6 YM |
1766 | -- pragmas or aspects precondition and postcondition, as well as other |
1767 | -- suspicious cases of expressions typically found in contracts like | |
1768 | -- quantified expressions and uses of Update attribute. The default is that | |
ca1ffed0 | 1769 | -- this warning is enabled. Modified by use of -gnatw.t/.T. |
67c86178 | 1770 | |
79afa047 AC |
1771 | Warn_On_Suspicious_Modulus_Value : Boolean := True; |
1772 | -- GNAT | |
1773 | -- Set to True to generate warnings for suspicious modulus values. The | |
324ac540 | 1774 | -- default is that this warning is enabled. Modified by -gnatw.m/.M. |
79afa047 | 1775 | |
fbf5a39b AC |
1776 | Warn_On_Unchecked_Conversion : Boolean := True; |
1777 | -- GNAT | |
1778 | -- Set to True to generate warnings for unchecked conversions that may have | |
dbfeb4fa | 1779 | -- non-portable semantics (e.g. because sizes of types differ). Modified |
685bc70f | 1780 | -- by use of -gnatwz/Z. |
fbf5a39b | 1781 | |
bd29d519 AC |
1782 | Warn_On_Unordered_Enumeration_Type : Boolean := False; |
1783 | -- GNAT | |
1784 | -- Set to True to generate warnings for inappropriate uses (comparisons | |
1785 | -- and explicit ranges) on unordered enumeration types (which includes | |
1786 | -- all enumeration types for which pragma Ordered is not given). The | |
324ac540 | 1787 | -- default is that this warning is disabled. Modified by -gnat.u/.U. |
bd29d519 | 1788 | |
fbf5a39b AC |
1789 | Warn_On_Unrecognized_Pragma : Boolean := True; |
1790 | -- GNAT | |
1791 | -- Set to True to generate warnings for unrecognized pragmas. The default | |
324ac540 | 1792 | -- is that this warning is enabled. Modified by use of -gnatwg/G. |
fbf5a39b | 1793 | |
fbe627af RD |
1794 | Warn_On_Unrepped_Components : Boolean := False; |
1795 | -- GNAT | |
1796 | -- Set to True to generate warnings for the case of components of record | |
1797 | -- which have a record representation clause but this component does not | |
dbfeb4fa | 1798 | -- have a component clause. Modified by use of -gnatw.c/.C. |
fbe627af | 1799 | |
1b24ada5 RD |
1800 | Warn_On_Warnings_Off : Boolean := False; |
1801 | -- GNAT | |
1802 | -- Set to True to generate warnings for use of Pragma Warnings (Off, ent), | |
1803 | -- where either the pragma is never used, or it could be replaced by a | |
74c10109 AC |
1804 | -- pragma Unmodified or Unreferenced. Also generates warnings for pragma |
1805 | -- Warning (Off, string) which either has no matching pragma Warning On, | |
1806 | -- or where no warning has been suppressed by the use of the pragma. | |
1807 | -- Modified by use of -gnatw.w/.W. | |
1b24ada5 | 1808 | |
38cbfe40 RK |
1809 | type Warning_Mode_Type is (Suppress, Normal, Treat_As_Error); |
1810 | Warning_Mode : Warning_Mode_Type := Normal; | |
1811 | -- GNAT, GNATBIND | |
1812 | -- Controls treatment of warning messages. If set to Suppress, warning | |
1813 | -- messages are not generated at all. In Normal mode, they are generated | |
b6f36bf8 YM |
1814 | -- but do not count as errors. In Treat_As_Error mode, warning messages are |
1815 | -- generated and are treated as errors. Note that Warning_Mode = Suppress | |
1816 | -- causes pragma Warnings to be ignored (except for legality checks), | |
1817 | -- unless we are in GNATprove_Mode, which requires pragma Warnings to | |
1818 | -- be stored for the formal verification backend. | |
38cbfe40 | 1819 | |
0c3985a9 AC |
1820 | Warnings_As_Errors_Count : Natural; |
1821 | -- GNAT | |
1822 | -- Number of entries stored in Warnings_As_Errors table | |
1823 | ||
38cbfe40 | 1824 | Wide_Character_Encoding_Method : WC_Encoding_Method := WCEM_Brackets; |
395b5080 | 1825 | -- GNAT, GNATBIND |
38cbfe40 RK |
1826 | -- Method used for encoding wide characters in the source program. See |
1827 | -- description of type in unit System.WCh_Con for a list of the methods | |
1828 | -- that are currently supported. Note that brackets notation is always | |
1829 | -- recognized in source programs regardless of the setting of this | |
f81e6250 RD |
1830 | -- variable. The default setting causes only the brackets notation to be |
1831 | -- recognized. If this is the main unit, this setting also controls the | |
1832 | -- output of the W=? parameter in the ALI file, which is used to provide | |
395b5080 VC |
1833 | -- the default for encoding [Wide_[Wide_]]Text_IO files. For the binder, |
1834 | -- the value set here overrides this main unit default. | |
1835 | ||
1836 | Wide_Character_Encoding_Method_Specified : Boolean := False; | |
1837 | -- GNAT, GNATBIND | |
1838 | -- Set True if the value in Wide_Character_Encoding_Method was set as | |
1839 | -- a result of an explicit -gnatW? or -W? switch. False otherwise. | |
38cbfe40 RK |
1840 | |
1841 | Xref_Active : Boolean := True; | |
1842 | -- GNAT | |
07fc65c4 | 1843 | -- Set if cross-referencing is enabled (i.e. xref info in ALI files) |
38cbfe40 | 1844 | |
fbe627af RD |
1845 | Zero_Formatting : Boolean := False; |
1846 | -- GNATBIND | |
1847 | -- Do no formatting (no title, no leading spaces, no empty lines) in | |
1848 | -- auxiliary outputs (-e, -K, -l, -R). | |
1849 | ||
38cbfe40 RK |
1850 | ---------------------------- |
1851 | -- Configuration Settings -- | |
1852 | ---------------------------- | |
1853 | ||
f81e6250 RD |
1854 | -- These are settings that are used to establish the mode at the start of |
1855 | -- each unit. The values defined below can be affected either by command | |
1b24ada5 | 1856 | -- line switches, or by the use of appropriate configuration pragmas in a |
220d1fd9 AC |
1857 | -- configuration pragma file (but NOT by a local use of a configuration |
1858 | -- pragma in a single file). | |
38cbfe40 | 1859 | |
0ab80019 | 1860 | Ada_Version_Config : Ada_Version_Type; |
38cbfe40 | 1861 | -- GNAT |
0ab80019 | 1862 | -- This is the value of the configuration switch for the Ada 83 mode, as |
0c5dba7f AC |
1863 | -- set by the command line switches -gnat83/95/2005/2012, and possibly |
1864 | -- modified by the use of configuration pragmas Ada_*. This switch is used | |
1865 | -- to set the initial value for Ada_Version mode at the start of analysis | |
1866 | -- of a unit. Note however that the setting of this flag is ignored for | |
1867 | -- internal and predefined units (which are always compiled in the most up | |
1868 | -- to date version of Ada). | |
f81e6250 | 1869 | |
fb620b37 AC |
1870 | Ada_Version_Pragma_Config : Node_Id; |
1871 | -- This will be set non empty if it is set by a configuration pragma | |
1872 | ||
f81e6250 RD |
1873 | Ada_Version_Explicit_Config : Ada_Version_Type; |
1874 | -- GNAT | |
1f6a2b51 RD |
1875 | -- This is set in the same manner as Ada_Version_Config. The difference is |
1876 | -- that the setting of this flag is not ignored for internal and predefined | |
1877 | -- units, which for some purposes do indeed access this value, regardless | |
dec55d76 | 1878 | -- of the fact that they are compiled the most up to date ada version). |
f81e6250 RD |
1879 | |
1880 | Assertions_Enabled_Config : Boolean; | |
1881 | -- GNAT | |
1882 | -- This is the value of the configuration switch for assertions enabled | |
1883 | -- mode, as possibly set by the command line switch -gnata, and possibly | |
1884 | -- modified by the use of the configuration pragma Assertion_Policy. | |
38cbfe40 | 1885 | |
4351c21b AC |
1886 | Assume_No_Invalid_Values_Config : Boolean; |
1887 | -- GNAT | |
c75c4293 AC |
1888 | -- This is the value of the configuration switch for assuming "no invalid |
1889 | -- values enabled" mode, as possibly set by the command line switch | |
4351c21b AC |
1890 | -- -gnatB, and possibly modified by the use of the configuration pragma |
1891 | -- Assume_No_Invalid_Values. | |
1892 | ||
347c766a RD |
1893 | Check_Float_Overflow_Config : Boolean; |
1894 | -- GNAT | |
1895 | -- Set to True to check that operations on predefined unconstrained float | |
1896 | -- types (e.g. Float, Long_Float) do not overflow and generate infinities | |
1897 | -- or invalid values. Set by the Check_Float_Overflow pragma, or by use | |
fab62a15 | 1898 | -- of the -gnateF switch. |
347c766a | 1899 | |
ce4a6e84 RD |
1900 | Check_Policy_List_Config : Node_Id; |
1901 | -- GNAT | |
1902 | -- This points to the list of N_Pragma nodes for Check_Policy pragmas | |
1903 | -- that are linked through the Next_Pragma fields, with the list being | |
1904 | -- terminated by Empty. The order is most recently processed first. This | |
1905 | -- list includes only those pragmas in configuration pragma files. | |
1906 | ||
fab2daeb AC |
1907 | Default_Pool_Config : Node_Id := Empty; |
1908 | -- GNAT | |
1909 | -- Same as Default_Pool above, except this is only for Default_Storage_Pool | |
1910 | -- pragmas that are configuration pragmas. | |
1911 | ||
220d1fd9 AC |
1912 | Default_SSO_Config : Character := ' '; |
1913 | -- GNAT | |
1914 | -- Set if a pragma Default_Scalar_Storage_Order appears as a configuration | |
1915 | -- pragma. A value of ' ' means that no pragma was given, otherwise the | |
1916 | -- value is 'H' for High_Order_First or 'L' for Low_Order_First. | |
1917 | ||
38cbfe40 RK |
1918 | Dynamic_Elaboration_Checks_Config : Boolean := False; |
1919 | -- GNAT | |
1920 | -- Set True for dynamic elaboration checking mode, as set by the -gnatE | |
1921 | -- switch or by the use of pragma Elaboration_Checking (Dynamic). | |
1922 | ||
fbf5a39b AC |
1923 | Exception_Locations_Suppressed_Config : Boolean := False; |
1924 | -- GNAT | |
1925 | -- Set True by use of the configuration pragma Suppress_Exception_Messages | |
1926 | ||
38cbfe40 RK |
1927 | Extensions_Allowed_Config : Boolean; |
1928 | -- GNAT | |
f81e6250 RD |
1929 | -- This is the flag that indicates whether extensions are allowed. It can |
1930 | -- be set True either by use of the -gnatX switch, or by use of the | |
1931 | -- configuration pragma Extensions_Allowed (On). It is always set to True | |
1932 | -- for internal GNAT units, since extensions are always permitted in such | |
1933 | -- units. | |
38cbfe40 RK |
1934 | |
1935 | External_Name_Exp_Casing_Config : External_Casing_Type; | |
1936 | -- GNAT | |
f81e6250 RD |
1937 | -- This is the value of the configuration switch that controls casing of |
1938 | -- external symbols for which an explicit external name is given. It can be | |
1939 | -- set to Uppercase by the command line switch -gnatF, and further modified | |
1940 | -- by the use of the configuration pragma External_Name_Casing in the | |
1941 | -- gnat.adc file. This flag is used to set the initial value for | |
1942 | -- External_Name_Exp_Casing at the start of analyzing each unit. Note | |
1943 | -- however that the setting of this flag is ignored for internal and | |
1944 | -- predefined units (which are always compiled with As_Is mode). | |
38cbfe40 RK |
1945 | |
1946 | External_Name_Imp_Casing_Config : External_Casing_Type; | |
1947 | -- GNAT | |
f81e6250 RD |
1948 | -- This is the value of the configuration switch that controls casing of |
1949 | -- external symbols where the external name is implicitly given. It can be | |
1950 | -- set to Uppercase by the command line switch -gnatF, and further modified | |
1951 | -- by the use of the configuration pragma External_Name_Casing in the | |
1952 | -- gnat.adc file. This flag is used to set the initial value for | |
1953 | -- External_Name_Imp_Casing at the start of analyzing each unit. Note | |
1954 | -- however that the setting of this flag is ignored for internal and | |
1955 | -- predefined units (which are always compiled with Lowercase mode). | |
1956 | ||
395b5080 VC |
1957 | Fast_Math_Config : Boolean; |
1958 | -- GNAT | |
1959 | -- This is the value of the configuration switch that controls Fast_Math | |
1960 | -- mode, as set by a Fast_Math pragma in configuration pragmas. It is | |
1961 | -- used to set the initial value of Fast_Math at the start of each new | |
1962 | -- compilation unit. | |
1963 | ||
82878151 AC |
1964 | Initialize_Scalars_Config : Boolean; |
1965 | -- GNAT | |
1966 | -- This is the value of the configuration switch that is set by the | |
1967 | -- pragma Initialize_Scalars when it appears in the gnat.adc file. | |
1968 | -- This switch is not set when the pragma appears ahead of a given | |
1969 | -- unit, so it does not affect the compilation of other units. | |
1970 | ||
3849c246 VC |
1971 | No_Exit_Message : Boolean := False; |
1972 | -- GNATMAKE, GPRBUILD | |
1973 | -- Set with switch --no-exit-message. When True, if there are compilation | |
d77cfab2 | 1974 | -- failures, the builder does not issue an exit error message. |
3849c246 | 1975 | |
1b24ada5 RD |
1976 | Optimize_Alignment_Config : Character; |
1977 | -- GNAT | |
1978 | -- This is the value of the configuration switch that controls the | |
1979 | -- alignment optimization mode, as set by an Optimize_Alignment pragma. | |
1980 | -- It is used to set the initial value of Optimize_Alignment at the start | |
1981 | -- of each new compilation unit, except that it is always set to 'O' (off) | |
1982 | -- for internal units. | |
1983 | ||
f81e6250 RD |
1984 | Persistent_BSS_Mode_Config : Boolean; |
1985 | -- GNAT | |
1986 | -- This is the value of the configuration switch that controls whether | |
1987 | -- potentially persistent data is to be placed in the persistent_bss | |
1988 | -- section. It can be set True by use of the pragma Persistent_BSS. | |
1989 | -- This flag is used to set the initial value of Persistent_BSS_Mode | |
1990 | -- at the start of each compilation unit, except that it is always | |
1991 | -- set False for predefined units. | |
38cbfe40 RK |
1992 | |
1993 | Polling_Required_Config : Boolean; | |
1994 | -- GNAT | |
1995 | -- This is the value of the configuration switch that controls polling | |
1996 | -- mode. It can be set True by the command line switch -gnatP, and then | |
f81e6250 RD |
1997 | -- further modified by the use of pragma Polling in the gnat.adc file. This |
1998 | -- flag is used to set the initial value for Polling_Required at the start | |
1999 | -- of analyzing each unit. | |
38cbfe40 | 2000 | |
8f819471 RD |
2001 | Prefix_Exception_Messages_Config : Boolean; |
2002 | -- The setting of Prefix_Exception_Messages from configuration pragmas | |
2003 | ||
43417b90 | 2004 | SPARK_Mode_Config : SPARK_Mode_Type := None; |
579847c2 | 2005 | -- GNAT |
43417b90 AC |
2006 | -- The setting of SPARK_Mode from configuration pragmas |
2007 | ||
579847c2 AC |
2008 | SPARK_Mode_Pragma_Config : Node_Id := Empty; |
2009 | -- If a SPARK_Mode pragma appeared in the configuration pragmas (setting | |
2010 | -- SPARK_Mode_Config appropriately), then this points to the N_Pragma node. | |
2011 | ||
96e90ac1 RD |
2012 | Uneval_Old_Config : Character; |
2013 | -- GNAT | |
2014 | -- The setting of Uneval_Old from configuration pragmas | |
2015 | ||
38cbfe40 RK |
2016 | Use_VADS_Size_Config : Boolean; |
2017 | -- GNAT | |
f81e6250 | 2018 | -- This is the value of the configuration switch that controls the use of |
dec55d76 | 2019 | -- VADS_Size instead of Size wherever the attribute Size is used. It can |
f81e6250 RD |
2020 | -- be set True by the use of the pragma Use_VADS_Size in the gnat.adc file. |
2021 | -- This flag is used to set the initial value for Use_VADS_Size at the | |
2022 | -- start of analyzing each unit. Note however that the setting of this flag | |
2023 | -- is ignored for internal and predefined units (which are always compiled | |
2024 | -- with the standard Size semantics). | |
38cbfe40 | 2025 | |
0c3985a9 AC |
2026 | Warnings_As_Errors_Count_Config : Natural; |
2027 | -- GNAT | |
2028 | -- Count of pattern strings stored from Warning_As_Error pragmas | |
2029 | ||
38cbfe40 RK |
2030 | type Config_Switches_Type is private; |
2031 | -- Type used to save values of the switches set from Config values | |
2032 | ||
2033 | procedure Save_Opt_Config_Switches (Save : out Config_Switches_Type); | |
2034 | -- This procedure saves the current values of the switches which are | |
f81e6250 RD |
2035 | -- initialized from the above Config values, and then resets these switches |
2036 | -- according to the Config value settings. | |
38cbfe40 | 2037 | |
6e18b0e5 RD |
2038 | procedure Set_Opt_Config_Switches |
2039 | (Internal_Unit : Boolean; | |
2040 | Main_Unit : Boolean); | |
f81e6250 RD |
2041 | -- This procedure sets the switches to the appropriate initial values. The |
2042 | -- parameter Internal_Unit is True for an internal or predefined unit, and | |
6e18b0e5 | 2043 | -- affects the way the switches are set (see above). Main_Unit is true if |
4058ddcc AC |
2044 | -- switches are being set for the main unit or for the spec of the main |
2045 | -- unit. This affects setting of the assert/debug pragma switches, which | |
2046 | -- are normally set false by default for an internal unit, except when the | |
2047 | -- internal unit is the main unit, in which case we use the command line | |
2048 | -- settings). | |
38cbfe40 RK |
2049 | |
2050 | procedure Restore_Opt_Config_Switches (Save : Config_Switches_Type); | |
f81e6250 | 2051 | -- This procedure restores a set of switch values previously saved by a |
0567ae8d | 2052 | -- call to Save_Opt_Config_Switches (Save). |
38cbfe40 RK |
2053 | |
2054 | procedure Register_Opt_Config_Switches; | |
ce4a6e84 RD |
2055 | -- This procedure is called after processing the gnat.adc file and other |
2056 | -- configuration pragma files to record the values of the Config switches, | |
2057 | -- as possibly modified by the use of command line switches and pragmas | |
2058 | -- appearing in these files. | |
38cbfe40 RK |
2059 | |
2060 | ------------------------ | |
2061 | -- Other Global Flags -- | |
2062 | ------------------------ | |
2063 | ||
2064 | Expander_Active : Boolean := False; | |
2065 | -- A flag that indicates if expansion is active (True) or deactivated | |
2066 | -- (False). When expansion is deactivated all calls to expander routines | |
2067 | -- have no effect. Note that the initial setting of False is merely to | |
2068 | -- prevent saving of an undefined value for an initial call to the | |
f81e6250 RD |
2069 | -- Expander_Mode_Save_And_Set procedure. For more information on the use of |
2070 | -- this flag, see package Expander. Indeed this flag might more logically | |
2071 | -- be in the spec of Expander, but it is referenced by Errout, and it | |
2072 | -- really seems wrong for Errout to depend on Expander. | |
38cbfe40 | 2073 | |
c690a2ec RD |
2074 | Static_Dispatch_Tables : Boolean := True; |
2075 | -- This flag indicates if the backend supports generation of statically | |
2076 | -- allocated dispatch tables. If it is True, then the front end will | |
2077 | -- generate static aggregates for dispatch tables that contain forward | |
2078 | -- references to addresses of subprograms not seen yet, and the back end | |
2079 | -- must be prepared to handle this case. If it is False, then the front | |
2080 | -- end generates assignments to initialize the dispatch table, and there | |
2081 | -- are no such forward references. By default we build statically allocated | |
2082 | -- dispatch tables for all library level tagged types in all platforms.This | |
2083 | -- behavior can be disabled using switch -gnatd.t which will set this flag | |
2084 | -- to False and revert to the previous dynamic behavior. | |
2085 | ||
38cbfe40 RK |
2086 | ----------------------- |
2087 | -- Tree I/O Routines -- | |
2088 | ----------------------- | |
2089 | ||
2090 | procedure Tree_Read; | |
2091 | -- Reads switch settings from current tree file using Tree_Read | |
2092 | ||
2093 | procedure Tree_Write; | |
2094 | -- Writes out switch settings to current tree file using Tree_Write | |
2095 | ||
fbf5a39b AC |
2096 | -------------------------- |
2097 | -- ASIS Version Control -- | |
2098 | -------------------------- | |
2099 | ||
2100 | -- These two variables (Tree_Version_String and Tree_ASIS_Version_Number) | |
2101 | -- are supposed to be used in the GNAT/ASIS version check performed in | |
2102 | -- the ASIS code (this package is also a part of the ASIS implementation). | |
2103 | -- They are set by Tree_Read procedure, so they represent the version | |
2104 | -- number (and the version string) of the compiler which has created the | |
2105 | -- tree, and they are supposed to be compared with the corresponding values | |
e29bd38f TQ |
2106 | -- from the Tree_IO and Gnatvsn packages which also are a part of ASIS |
2107 | -- implementation. | |
fbf5a39b | 2108 | |
1f6a2b51 | 2109 | Tree_Version_String : String_Access; |
f81e6250 | 2110 | -- Used to store the compiler version string read from a tree file to check |
1f6a2b51 RD |
2111 | -- if it is from the same date as stored in the version string in Gnatvsn. |
2112 | -- We require that ASIS Pro can be used only with GNAT Pro, but we allow | |
2113 | -- non-Pro ASIS and ASIS-based tools to be used with any version of the | |
2114 | -- GNAT compiler. Therefore, we need the possibility to compare the dates | |
2115 | -- of the corresponding source sets, using version strings that may be | |
2116 | -- of different lengths. | |
fbf5a39b AC |
2117 | |
2118 | Tree_ASIS_Version_Number : Int; | |
2119 | -- Used to store the ASIS version number read from a tree file to check if | |
e29bd38f | 2120 | -- it is the same as stored in the ASIS version number in Tree_IO. |
fbf5a39b | 2121 | |
3597c0e9 RD |
2122 | ----------------------------------- |
2123 | -- Modes for Formal Verification -- | |
2124 | ----------------------------------- | |
607d0635 | 2125 | |
f5da7a97 | 2126 | GNATprove_Mode : Boolean := False; |
aca90db9 AC |
2127 | -- Specific compiling mode targeting formal verification for those parts |
2128 | -- of the input code that belong to the SPARK 2014 subset of Ada. Set True | |
2129 | -- by the gnat2why executable or by use of the -gnatd.F debug switch. Note | |
2130 | -- that this is completely separate from the SPARK restriction defined in | |
2131 | -- GNAT to detect violations of a subset of SPARK 2005 rules. | |
607d0635 | 2132 | |
0c3985a9 AC |
2133 | --------------------------- |
2134 | -- Error/Warning Control -- | |
2135 | --------------------------- | |
2136 | ||
2137 | -- The following array would more reasonably be located in Err_Vars or | |
2138 | -- Errour, but but we put them here to deal with licensing issues (we need | |
2139 | -- this to have the GPL exception licensing, since these variables and | |
2140 | -- subprograms are accessed from units with this licensing). | |
2141 | ||
2142 | Warnings_As_Errors : array (1 .. 10_000) of String_Ptr; | |
2143 | -- Table for recording Warning_As_Error pragmas as they are processed. | |
2144 | -- It would be nicer to use Table, but there are circular elaboration | |
2145 | -- problems if we try to do this, and an attempt to find some other | |
2146 | -- appropriately licensed unit to declare this as a Table failed with | |
2147 | -- various elaboration circularities. Memory is getting cheap these days! | |
2148 | ||
8bef7ba9 AC |
2149 | --------------- |
2150 | -- GNAT_Mode -- | |
2151 | --------------- | |
2152 | ||
2153 | GNAT_Mode : Boolean := False; | |
2154 | -- GNAT | |
2155 | -- True if compiling in GNAT system mode (-gnatg switch) | |
2156 | ||
a43f6434 AC |
2157 | -- Setting this switch has the following effects on the language that is |
2158 | -- accepted. Note that several of the following have the effect of changing | |
2159 | -- an error to a warning. But warnings are usually treated as fatal errors | |
2160 | -- in -gnatg mode, so to actually take advantage of such a change, it is | |
2161 | -- necessary to add an explicit pragma Warnings (Off) in the source and | |
2162 | -- this requires clear documentation of why this is necessary. | |
8bef7ba9 AC |
2163 | |
2164 | -- The identifier character set is set to 'n' (7-bit ASCII) | |
2165 | ||
2166 | -- Pragma Extend_System is ignored | |
2167 | ||
2168 | -- Warning_Mode is set to Treat_As_Error (-gnatwe) | |
2169 | ||
2170 | -- Standard style checks are set (See Set_GNAT_Style_Check_Options) | |
2171 | ||
2172 | -- Standard warnings are turned on (see Set_GNAT_Mode_Warnings) | |
2173 | ||
2174 | -- The Ada version is set to Ada 2012 | |
2175 | ||
2176 | -- Task priorities are always allowed to be in the range Any_Priority | |
2177 | ||
2178 | -- Overflow checks are suppressed, overflow checking set to strict mode | |
2179 | ||
2180 | -- ALI files are always generated for predefined generic packages | |
2181 | ||
2182 | -- Obsolescent feature warnings are suppressed | |
2183 | ||
2184 | -- Recompilation of children of GNAT, System, Ada, Interfaces is allowed | |
2185 | ||
2186 | -- The Scalar_Storage_Order attribute applies to generic types | |
2187 | ||
2188 | -- Categorization errors are treated as warnings rather than errors | |
2189 | ||
2190 | -- Statements in preelaborated units give warnings rather than errors | |
2191 | ||
2192 | -- Private objects are allowed in preelaborated units | |
2193 | ||
2194 | -- Non-static constants in preelaborated units give warnings not errors | |
2195 | ||
2196 | -- The warning about component size being ignored is suppressed | |
2197 | ||
2198 | -- The warning about size clauses being ignored is suppressed | |
2199 | ||
2200 | -- Initializing limited types gives a warning rather than an error | |
2201 | ||
2202 | -- Copying of limited objects is allowed | |
2203 | ||
2204 | -- Returning objects of limited types is allowed | |
2205 | ||
8bef7ba9 AC |
2206 | -- Non-static call in preelaborated unit give a warning, not an error |
2207 | ||
2208 | -- Warnings on possible elaboration errors are suppressed | |
2209 | ||
a43f6434 | 2210 | -- Warnings about packing being ignored are suppressed |
8bef7ba9 AC |
2211 | |
2212 | -- Warnings in internal units are not suppressed (they normally are) | |
2213 | ||
2214 | -- The only special comment sequence allowed is --! | |
2215 | ||
0c3985a9 AC |
2216 | -------------------------- |
2217 | -- Private Declarations -- | |
2218 | -------------------------- | |
2219 | ||
38cbfe40 RK |
2220 | private |
2221 | ||
1f6a2b51 RD |
2222 | -- The following type is used to save and restore settings of switches in |
2223 | -- Opt that represent the configuration (i.e. result of config pragmas). | |
2224 | ||
2225 | -- Note that Ada_Version_Explicit is not included, since this is a sticky | |
2226 | -- flag that once set does not get reset, since the whole idea of this flag | |
2227 | -- is to record the setting for the main unit. | |
2228 | ||
38cbfe40 | 2229 | type Config_Switches_Type is record |
0ab80019 | 2230 | Ada_Version : Ada_Version_Type; |
f81e6250 | 2231 | Ada_Version_Explicit : Ada_Version_Type; |
fb620b37 | 2232 | Ada_Version_Pragma : Node_Id; |
f81e6250 | 2233 | Assertions_Enabled : Boolean; |
4351c21b | 2234 | Assume_No_Invalid_Values : Boolean; |
347c766a | 2235 | Check_Float_Overflow : Boolean; |
ce4a6e84 | 2236 | Check_Policy_List : Node_Id; |
fab2daeb | 2237 | Default_Pool : Node_Id; |
220d1fd9 | 2238 | Default_SSO : Character; |
fbf5a39b AC |
2239 | Dynamic_Elaboration_Checks : Boolean; |
2240 | Exception_Locations_Suppressed : Boolean; | |
2241 | Extensions_Allowed : Boolean; | |
2242 | External_Name_Exp_Casing : External_Casing_Type; | |
2243 | External_Name_Imp_Casing : External_Casing_Type; | |
395b5080 | 2244 | Fast_Math : Boolean; |
82878151 | 2245 | Initialize_Scalars : Boolean; |
f5fc5b9d | 2246 | Normalize_Scalars : Boolean; |
1b24ada5 | 2247 | Optimize_Alignment : Character; |
ce4a6e84 | 2248 | Optimize_Alignment_Local : Boolean; |
f81e6250 | 2249 | Persistent_BSS_Mode : Boolean; |
fbf5a39b | 2250 | Polling_Required : Boolean; |
8f819471 | 2251 | Prefix_Exception_Messages : Boolean; |
43417b90 | 2252 | SPARK_Mode : SPARK_Mode_Type; |
579847c2 | 2253 | SPARK_Mode_Pragma : Node_Id; |
96e90ac1 | 2254 | Uneval_Old : Character; |
fbf5a39b | 2255 | Use_VADS_Size : Boolean; |
0c3985a9 | 2256 | Warnings_As_Errors_Count : Natural; |
38cbfe40 RK |
2257 | end record; |
2258 | ||
fbe627af RD |
2259 | -- The following declarations are for GCC version dependent flags. We do |
2260 | -- not let client code in the compiler test GCC_Version directly, but | |
2261 | -- instead use deferred constants for relevant feature tags. | |
2262 | ||
c690a2ec RD |
2263 | -- Note: there currently are no such constants defined in this section, |
2264 | -- since the compiler front end is currently entirely independent of the | |
2265 | -- GCC version, which is a desirable state of affairs. | |
2266 | ||
fbe627af RD |
2267 | function get_gcc_version return Int; |
2268 | pragma Import (C, get_gcc_version, "get_gcc_version"); | |
2269 | ||
2270 | GCC_Version : constant Nat := get_gcc_version; | |
2271 | -- GNATMAKE | |
2272 | -- Indicates which version of gcc is in use (3 = 3.x, 4 = 4.x). Note that | |
2273 | -- gcc 2.8.1 (which used to be a value of 2) is no longer supported. | |
2274 | ||
38cbfe40 | 2275 | end Opt; |