| blob | 1627831ab1732e2dfa37161b758b224f729a06cb |
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- O P T --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
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- --
13 -- ware Foundation; either version 2, or (at your option) any later ver- --
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 --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
20 -- MA 02111-1307, USA. --
21 -- --
22 -- As a special exception, if other files instantiate generics from this --
23 -- unit, or you link this unit with other files to produce an executable, --
24 -- this unit does not by itself cause the resulting executable to be --
25 -- covered by the GNU General Public License. This exception does not --
26 -- however invalidate any other reasons why the executable file might be --
27 -- covered by the GNU Public License. --
28 -- --
29 -- GNAT was originally developed by the GNAT team at New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc. --
31 -- --
32 ------------------------------------------------------------------------------
34 -- This package contains global flags set by the initialization
35 -- routine from the command line and referenced throughout the compiler,
36 -- the binder, gnatmake or other GNAT tools. The comments indicate which
37 -- options are used by which programs (GNAT, GNATBIND, GNATMAKE, etc).
48 ----------------------------------------------
49 -- Settings of Modes for Current Processing --
50 ----------------------------------------------
52 -- The following mode values represent the current state of processing.
53 -- The values set here are the default values. Unless otherwise noted,
54 -- the value may be reset in Switch with an appropropiate switch. In
55 -- some cases, the values can also be modified by pragmas, and in the
56 -- case of some binder variables, Gnatbind.Scan_Bind_Arg may modify
57 -- the default values.
60 -- GNATBIND, GNATLINK
61 -- Set True if binder file to be generated in Ada rather than C
64 -- Versions of Ada for Ada_Version below. Note that these are ordered,
65 -- so that tests like Ada_Version >= Ada_95 are legitimate and useful.
68 -- GNAT
69 -- Default Ada version if no switch given
72 -- GNAT
73 -- Current Ada version for compiler
76 -- GNAT
77 -- Ada version used to compile the runtime
81 -- GNATBIND
82 -- The name of the procedure that performs the finalization at the end of
83 -- execution. This variable may be modified by Gnatbind.Scan_Bind_Arg.
85 Ada_Init_Suffix : constant String := "init";
87 -- GNATBIND
88 -- The name of the procedure that performs initialization at the start
89 -- of execution. This variable may be modified by Gnatbind.Scan_Bind_Arg.
92 -- GNATBIND
93 -- The suffix for Ada_Main_Name. Defined as a constant here so that it
94 -- can be referenced in a uniform manner to create either the default
95 -- value of Ada_Main_Name (declared below), or the non-default name
96 -- set by Gnatbind.Scan_Bind_Arg.
99 -- GNATBIND
100 -- The name of the Ada package generated by the binder (when in Ada mode).
101 -- This variable may be modified by Gnatbind.Scan_Bind_Arg.
103 Address_Clause_Overlay_Warnings : Boolean := True;
104 -- GNAT
105 -- Set False to disable address clause warnings
107 All_Errors_Mode : Boolean := False;
108 -- GNAT
109 -- Flag set to force display of multiple errors on a single line and
110 -- also repeated error messages for references to undefined identifiers
111 -- and certain other repeated error messages.
113 All_Sources : Boolean := False;
114 -- GNATBIND
115 -- Set to True to require all source files to be present. This flag is
116 -- directly modified by gnatmake to affect the shared binder routines.
118 Alternate_Main_Name : String_Ptr := null;
119 -- GNATBIND
120 -- Set to non null when Bind_Alternate_Main_Name is True. This value
121 -- is modified as needed by Gnatbind.Scan_Bind_Arg.
123 Assertions_Enabled : Boolean := False;
124 -- GNAT
125 -- Enable assertions made using pragma Assert.
127 ASIS_Mode : Boolean := False;
128 -- GNAT
129 -- Enable semantic checks and tree transformations that are important
130 -- for ASIS but that are usually skipped if Operating_Mode is set to
131 -- Check_Semantics. This flag does not have the corresponding option to set
132 -- it ON. It is set ON when Tree_Output is set ON, it can also be set ON
133 -- from the code of GNSA-based tool (a client may need to set ON the
134 -- Back_Annotate_Rep_Info flag in this case. At the moment this does not
135 -- make very much sense, because GNSA can not do back annotation).
137 Back_Annotate_Rep_Info : Boolean := False;
138 -- GNAT
139 -- If set True, enables back annotation of representation information
140 -- by gigi, even in -gnatc mode. This is set True by the use of -gnatR
141 -- (list representation information) or -gnatt (generate tree). It is
142 -- also set true if certain Unchecked_Conversion instantiations require
143 -- checking based on annotated values.
145 Bind_Alternate_Main_Name : Boolean := False;
146 -- GNATBIND
147 -- True if main should be called Alternate_Main_Name.all.
148 -- This variable may be set to True by Gnatbind.Scan_Bind_Arg.
150 Bind_Main_Program : Boolean := True;
151 -- GNATBIND
152 -- Set to False if not binding main Ada program.
154 Bind_For_Library : Boolean := False;
155 -- GNATBIND
156 -- Set to True if the binder needs to generate a file designed for
157 -- building a library. May be set to True by Gnatbind.Scan_Bind_Arg.
159 Bind_Only : Boolean := False;
160 -- GNATMAKE
161 -- Set to True to skip compile and link steps
162 -- (except when Compile_Only and/or Link_Only are True).
164 Blank_Deleted_Lines : Boolean := False;
165 -- GNAT, GNATPREP
166 -- Output empty lines for each line of preprocessed input that is deleted
169 Brief_Output : Boolean := False;
170 -- GNAT, GNATBIND
171 -- Force brief error messages to standard error, even if verbose mode is
172 -- set (so that main error messages go to standard output).
174 Build_Bind_And_Link_Full_Project : Boolean := False;
175 -- GNATMAKE
176 -- Set to True to build, bind and link all the sources of a project file
177 -- (switch -B)
179 Check_Object_Consistency : Boolean := False;
180 -- GNATBIND, GNATMAKE
181 -- Set to True to check whether every object file is consistent with
182 -- its corresponding ada library information (ALI) file. An object
183 -- file is inconsistent with the corresponding ALI file if the object
184 -- file does not exist or if it has an older time stamp than the ALI file.
185 -- Default above is for GNATBIND. GNATMAKE overrides this default to
186 -- True (see Make.Initialize) since we normally do need to check source
187 -- consistencies in gnatmake.
189 Check_Only : Boolean := False;
190 -- GNATBIND
191 -- Set to True to do checks only, no output of binder file.
193 Check_Readonly_Files : Boolean := False;
194 -- GNATMAKE
195 -- Set to True to check readonly files during the make process.
197 Check_Source_Files : Boolean := True;
198 -- GNATBIND, GNATMAKE
199 -- Set to True to enable consistency checking for any source files that
200 -- are present (i.e. date must match the date in the library info file).
201 -- Set to False for object file consistency check only. This flag is
202 -- directly modified by gnatmake, to affect the shared binder routines.
204 Check_Switches : Boolean := False;
205 -- GNATMAKE
206 -- Set to True to check compiler options during the make process.
208 Check_Unreferenced : Boolean := False;
209 -- GNAT
210 -- Set to True to enable checking for unreferenced entities other
211 -- than formal parameters (for which see Check_Unreferenced_Formals)
213 Check_Unreferenced_Formals : Boolean := False;
214 -- GNAT
215 -- Set True to check for unreferenced formals. This is turned
216 -- on by -gnatwa/wf/wu and turned off by -gnatwA/wF/wU.
218 Check_Withs : Boolean := False;
219 -- GNAT
220 -- Set to True to enable checking for unused withs, and also the case
221 -- of withing a package and using none of the entities in the package.
223 Comment_Deleted_Lines : Boolean := False;
224 -- GNATPREP
225 -- True if source lines removed by the preprocessor should be commented
226 -- in the output file.
228 Compile_Only : Boolean := False;
229 -- GNATMAKE, GNATCLEAN
230 -- GNATMAKE: set to True to skip bind and link steps (except when
231 -- Bind_Only is True).
232 -- GNATCLEAN: set to True to only the files produced by the compiler are to
233 -- be deleted, but not the library files or executable files.
235 Config_File : Boolean := True;
236 -- GNAT
237 -- Set to False to inhibit reading and processing of gnat.adc file
239 Config_File_Names : String_List_Access := null;
240 -- GNAT
241 -- Names of configuration pragmas files (given by switches -gnatec)
243 Configurable_Run_Time_Mode : Boolean := False;
244 -- GNAT, GNATBIND
245 -- Set True if the compiler is operating in configurable run-time mode.
246 -- This happens if the flag Targparm.Configurable_Run_TimeMode_On_Target
247 -- is set True, or if pragma No_Run_Time is used. See the spec of Rtsfind
248 -- for details on the handling of the latter pragma.
250 Constant_Condition_Warnings : Boolean := False;
251 -- GNAT
252 -- Set to True to activate warnings on constant conditions
254 Create_Mapping_File : Boolean := False;
255 -- GNATMAKE
256 -- Set to True (-C switch) to indicate that gnatmake will invoke
257 -- the compiler with a mapping file (-gnatem compiler switch).
259 subtype Debug_Level_Value is Nat range 0 .. 3;
260 Debugger_Level : Debug_Level_Value := 0;
261 -- GNATBIND
262 -- The value given to the -g parameter. The default value for -g with
263 -- no value is 2. This is usually ignored by GNATBIND, except in the
264 -- VMS version where it is passed as an argument to __gnat_initialize
265 -- to trigger the activation of the remote debugging interface.
266 -- Is this still true ???
268 Debug_Generated_Code : Boolean := False;
269 -- GNAT
270 -- Set True (-gnatD switch) to debug generated expanded code instead
271 -- of the original source code. Causes debugging information to be
272 -- written with respect to the generated code file that is written.
274 Default_Exit_Status : Int := 0;
275 -- GNATBIND
276 -- Set the default exit status value. Set by the -Xnnn switch for the
277 -- binder.
279 Default_Sec_Stack_Size : Int := -1;
280 -- GNATBIND
281 -- Set to default secondary stack size in units of kilobytes. Set by
282 -- the -Dnnn switch for the binder. A value of -1 indicates that no
283 -- default was set by the binder, and that the default should be the
284 -- initial value of System.Secondary_Stack.Default_Secondary_Stack_Size.
286 Detect_Blocking : Boolean := False;
287 -- GNAT
288 -- Set True to force the run time to raise Program_Error if calls to
289 -- potentially blocking operations are detected from protected actions.
291 Display_Compilation_Progress : Boolean := False;
292 -- GNATMAKE
293 -- Set True (-d switch) to display information on progress while compiling
294 -- files. Internal flag to be used in conjunction with an IDE (e.g GPS).
296 type Distribution_Stub_Mode_Type is
297 -- GNAT
298 (No_Stubs,
299 -- Normal mode, no generation/compilation of distribution stubs
301 Generate_Receiver_Stub_Body,
302 -- The unit being compiled is the RCI body, and the compiler will
303 -- generate the body for the receiver stubs and compile it.
305 Generate_Caller_Stub_Body);
306 -- The unit being compiled is the RCI spec, and the compiler will
307 -- generate the body for the caller stubs and compile it.
309 Distribution_Stub_Mode : Distribution_Stub_Mode_Type := No_Stubs;
310 -- GNAT
311 -- This enumeration variable indicates the five states of distribution
312 -- annex stub generation/compilation.
314 Do_Not_Execute : Boolean := False;
315 -- GNATMAKE
316 -- Set to True if no actual compilations should be undertaken.
318 Dynamic_Elaboration_Checks : Boolean := False;
319 -- GNAT
320 -- Set True for dynamic elaboration checking mode, as set by the -gnatE
321 -- switch or by the use of pragma Elaboration_Checks (Dynamic).
323 Elab_Dependency_Output : Boolean := False;
324 -- GNATBIND
325 -- Set to True to output complete list of elaboration constraints
327 Elab_Order_Output : Boolean := False;
328 -- GNATBIND
329 -- Set to True to output chosen elaboration order
331 Elab_Warnings : Boolean := False;
332 -- GNAT
333 -- Set to True to generate full elaboration warnings (-gnatwl)
335 Enable_Overflow_Checks : Boolean := False;
336 -- GNAT
337 -- Set to True if -gnato (enable overflow checks) switch is set,
338 -- but not -gnatp.
340 Exception_Locations_Suppressed : Boolean := False;
341 -- GNAT
342 -- This flag is set True if a Suppress_Exception_Locations configuration
343 -- pragma is currently active.
345 type Exception_Mechanism_Type is
346 -- Determines the handling of exceptions. See Exp_Ch11 for details
347 --
348 (Front_End_Setjmp_Longjmp_Exceptions,
349 -- Exceptions use setjmp/longjmp generated explicitly by the
350 -- front end (this includes gigi or other equivalent parts of
351 -- the code generator). AT END handlers are converted into
352 -- exception handlers by the front end in this mode.
354 Front_End_ZCX_Exceptions,
355 -- Exceptions use the zero cost table mechanism with explicit
356 -- tables and exception regions generated by the front end.
357 -- AT END handlers are converted into exception handlers by
358 -- the front end in this mode.
360 Back_End_ZCX_Exceptions);
361 -- Exceptions are handled by the back end. The front end simply
362 -- generates the handlers as they appear in the source, and AT
363 -- END handlers are left untouched (they are not converted into
364 -- exception handlers when operating in this mode. Note that the
365 -- name includes ZCX, since the expectation is that the back end
366 -- mechanism will in fact be a ZCX approach, but nothing in the
367 -- compiler depends on this, so for example if GNAT is run with
368 -- a version of GCC configured for setjmp/longjmp exception handling,
369 -- then everything will work fine.
370 pragma Convention (C, Exception_Mechanism_Type);
372 Exception_Mechanism : Exception_Mechanism_Type :=
373 Front_End_Setjmp_Longjmp_Exceptions;
374 -- GNAT
375 -- Set to the appropriate value depending on the default as given in
376 -- system.ads (ZCX_By_Default, GCC_ZCX_Support, Front_End_ZCX_Support)
377 -- and the use of -gnatL -gnatZ (and -gnatdX). The C convention is
378 -- there to make this variable accessible to gigi.
380 Exception_Tracebacks : Boolean := False;
381 -- GNATBIND
382 -- Set to True to store tracebacks in exception occurrences (-E)
384 Extensions_Allowed : Boolean := False;
385 -- GNAT
386 -- Set to True by switch -gnatX if GNAT specific language extensions
387 -- are allowed. For example, "limited with" is a GNAT extension.
389 type External_Casing_Type is (
390 As_Is, -- External names cased as they appear in the Ada source
391 Uppercase, -- External names forced to all uppercase letters
392 Lowercase); -- External names forced to all lowercase letters
394 External_Name_Imp_Casing : External_Casing_Type := Lowercase;
395 -- GNAT
396 -- The setting of this flag determines the casing of external names
397 -- when the name is implicitly derived from an entity name (i.e. either
398 -- no explicit External_Name or Link_Name argument is used, or, in the
399 -- case of extended DEC pragmas, the external name is given using an
400 -- identifier. The As_Is setting is not permitted here (since this would
401 -- create Ada source programs that were case sensitive).
403 External_Name_Exp_Casing : External_Casing_Type := As_Is;
404 -- GNAT
405 -- The setting of this flag determines the casing of an external name
406 -- specified explicitly with a string literal. As_Is means the string
407 -- literal is used as given with no modification to the casing. If
408 -- Lowercase or Uppercase is set, then the string is forced to all
409 -- lowercase or all uppercase letters as appropriate. Note that this
410 -- setting has no effect if the external name is given using an identifier
411 -- in the case of extended DEC import/export pragmas (in this case the
412 -- casing is controlled by External_Name_Imp_Casing), and also has no
413 -- effect if an explicit Link_Name is supplied (a link name is always
414 -- used exactly as given).
416 External_Unit_Compilation_Allowed : Boolean := False;
417 -- GNATMAKE
418 -- When True (set by gnatmake switch -x), allow compilation of sources
419 -- that are not part of any project file.
422 -- GNAT
423 -- A non-blank value indicates that a Float_Format pragma has been
426 -- versions of GNAT.
429 -- GNAT
430 -- A non-blank value indicates that a Long_Float pragma has been
431 -- processed (this pragma is recognized only in OpenVMS versions
432 -- of GNAT), in which case this variable is set to D or G for
433 -- D_Float or G_Float.
435 Force_ALI_Tree_File : Boolean := False;
436 -- GNAT
437 -- Force generation of ALI file even if errors are encountered.
438 -- Also forces generation of tree file if -gnatt is also set.
440 Force_Checking_Of_Elaboration_Flags : Boolean := False;
441 -- GNATBIND
442 -- True if binding with forced checking of the elaboration flags
443 -- (-F switch set).
445 Force_Compilations : Boolean := False;
446 -- GNATMAKE
447 -- Set to force recompilations even when the objects are up-to-date.
449 Force_RM_Elaboration_Order : Boolean := False;
450 -- GNATBIND
451 -- True if binding with forced RM elaboration order (-f switch set)
452 -- Note: this is considered an obsolescent option, to be removed in
453 -- some future release. It is no longer documented. The proper way
454 -- to get this effect is to use -gnatE and suppress elab checks.
456 Full_Path_Name_For_Brief_Errors : Boolean := False;
457 -- GNAT, GNATMAKE, GNATCLEAN
458 -- When True, in Brief_Output mode, each error message line
459 -- will start with the full path name of the source.
460 -- When False, only the file name without directory information
461 -- is used.
463 Full_List : Boolean := False;
464 -- GNAT
465 -- Set True to generate full source listing with embedded errors
467 function get_gcc_version return Int;
468 pragma Import (C, get_gcc_version, "get_gcc_version");
470 GCC_Version : constant Nat := get_gcc_version;
471 -- GNATMAKE
472 -- Indicates which version of gcc is in use (2 = 2.8.1, 3 = 3.x).
474 Global_Discard_Names : Boolean := False;
475 -- GNAT, GNATBIND
476 -- Set true if a pragma Discard_Names applies to the current unit
478 GNAT_Mode : Boolean := False;
479 -- GNAT
480 -- True if compiling in GNAT system mode (-gnatg switch)
482 HLO_Active : Boolean := False;
483 -- GNAT
484 -- True if High Level Optimizer is activated (-gnatH switch)
486 Implementation_Unit_Warnings : Boolean := True;
487 -- GNAT
488 -- Set True to active warnings for use of implementation internal units.
489 -- Can be controlled by use of -gnatwi/-gnatwI.
491 Identifier_Character_Set : Character;
492 -- GNAT
493 -- This variable indicates the character set to be used for identifiers.
494 -- The possible settings are:
506 --
507 -- The setting affects the set of letters allowed in identifiers and the
508 -- upper/lower case equivalences. It does not affect the interpretation of
509 -- character and string literals, which are always stored using the actual
510 -- coding in the source program. This variable is initialized to the
511 -- default value appropriate to the system (in Osint.Initialize), and then
512 -- reset if a command line switch is used to change the setting.
514 Ineffective_Inline_Warnings : Boolean := False;
515 -- GNAT
516 -- Set True to activate warnings if front-end inlining (-gnatN) is not
517 -- able to actually inline a particular call (or all calls). Can be
518 -- controlled by use of -gnatwp/-gnatwP.
520 Init_Or_Norm_Scalars : Boolean := False;
521 -- GNAT, GANTBIND
522 -- Set True if a pragma Initialize_Scalars applies to the current unit.
523 -- Also set True if a pragma Normalize_Scalars applies.
525 Initialize_Scalars : Boolean := False;
526 -- GNAT
527 -- Set True if a pragma Initialize_Scalars applies to the current unit.
528 -- Note that Init_Or_Norm_Scalars is also set to True if this is True.
532 -- GNATBIND
533 -- Set to two characters from -S switch (IN/LO/HI/EV/xx). The default
534 -- is IN (invalid values), used if no -S switch is used.
536 Inline_Active : Boolean := False;
537 -- GNAT
538 -- Set True to activate pragma Inline processing across modules. Default
539 -- for now is not to inline across module boundaries.
541 Interface_Library_Unit : Boolean := False;
542 -- GNATBIND
543 -- Set to True to indicate that at least one ALI file is an interface ALI:
544 -- then elaboration flag checks are to be generated in the binder
545 -- generated file.
547 Follow_Links : Boolean := False;
548 -- GNATMAKE
549 -- Set to True (-eL) to process the project files in trusted mode
551 Front_End_Inlining : Boolean := False;
552 -- GNAT
553 -- Set True to activate inlining by front-end expansion.
555 Inline_Processing_Required : Boolean := False;
556 -- GNAT
557 -- Set True if inline processing is required. Inline processing is
558 -- required if an active Inline pragma is processed. The flag is set
559 -- for a pragma Inline or Inline_Always that is actually active.
561 In_Place_Mode : Boolean := False;
562 -- GNATMAKE
563 -- Set True to store ALI and object files in place ie in the object
564 -- directory if these files already exist or in the source directory
565 -- if not.
567 Keep_Going : Boolean := False;
568 -- GNATMAKE
569 -- When True signals gnatmake to ignore compilation errors and keep
570 -- processing sources until there is no more work.
572 Keep_Temporary_Files : Boolean := False;
573 -- GNATCMD
574 -- When True the temporary files created by the GNAT driver are not
575 -- deleted. Set by switch -dn or qualifier /KEEP_TEMPORARY_FILES.
577 Link_Only : Boolean := False;
578 -- GNATMAKE
579 -- Set to True to skip compile and bind steps
580 -- (except when Bind_Only is set to True).
582 List_Restrictions : Boolean := False;
583 -- GNATBIND
584 -- Set to True to list restrictions pragmas that could apply to partition
586 List_Units : Boolean := False;
587 -- GNAT
588 -- List units in the active library for a compilation (-gnatu switch)
590 List_Dependencies : Boolean := False;
591 -- GNATMAKE
592 -- When True gnatmake verifies that the objects are up to date and
593 -- outputs the list of object dependencies (-M switch).
594 -- Output depends if -a switch is used or not.
595 -- This list can be used directly in a Makefile.
597 List_Representation_Info : Int range 0 .. 3 := 0;
598 -- GNAT
599 -- Set non-zero by -gnatR switch to list representation information.
600 -- The settings are as follows:
601 --
602 -- 0 = no listing of representation information (default as above)
603 -- 1 = list rep info for user defined record and array types
604 -- 2 = list rep info for all user defined types and objects
605 -- 3 = like 2, but variable fields are decoded symbolically
607 List_Representation_Info_To_File : Boolean := False;
608 -- GNAT
609 -- Set true by -gnatRs switch. Causes information from -gnatR/1/2/3
610 -- to be written to file.rep (where file is the name of the source
611 -- file) instead of stdout. For example, if file x.adb is compiled
612 -- using -gnatR2s then representation info is written to x.adb.ref.
614 List_Representation_Info_Mechanisms : Boolean := False;
615 -- GNAT
616 -- Set true by -gnatRm switch. Causes information on mechanisms to
617 -- be included in the representation output information.
619 List_Preprocessing_Symbols : Boolean := False;
620 -- GNAT, GNATPREP
621 -- Set to True if symbols for preprocessing a source are to be listed
622 -- before preprocessing occurs. Set to True by switch -s of gnatprep
623 -- or -s in preprocessing data file for the compiler.
625 type Creat_Repinfo_File_Proc is access procedure (Src : File_Name_Type);
626 type Write_Repinfo_Line_Proc is access procedure (Info : String);
627 type Close_Repinfo_File_Proc is access procedure;
628 -- Types used for procedure addresses below
630 Creat_Repinfo_File_Access : Creat_Repinfo_File_Proc := null;
631 Write_Repinfo_Line_Access : Write_Repinfo_Line_Proc := null;
632 Close_Repinfo_File_Access : Close_Repinfo_File_Proc := null;
633 -- GNAT
634 -- These three locations are left null when operating in non-compiler
635 -- (e.g. ASIS mode), but when operating in compiler mode, they are
636 -- set to point to the three corresponding procedures in Osint. The
637 -- reason for this slightly strange interface is to prevent Repinfo
638 -- from dragging in Osint in ASIS mode, which would include a lot of
639 -- unwanted units in the ASIS build.
642 -- GNAT, GNATBIND
644 -- Reset to first character (uppercase) of locking policy name if a
645 -- valid pragma Locking_Policy is encountered.
647 Locking_Policy_Sloc : Source_Ptr := No_Location;
648 -- GNAT, GNATBIND
649 -- Remember location of previous Locking_Policy pragma. This is used
650 -- for inconsistency error messages. A value of System_Location is
651 -- used if the policy is set in package System.
653 Look_In_Primary_Dir : Boolean := True;
654 -- GNAT, GNATBIND, GNATMAKE, GNATCLEAN
655 -- Set to False if a -I- was present on the command line.
656 -- When True we are allowed to look in the primary directory to locate
657 -- other source or library files.
659 Make_Steps : Boolean := False;
660 -- GNATMAKE
661 -- Set to True when either Compile_Only, Bind_Only or Link_Only is
662 -- set to True.
664 Main_Index : Int := 0;
665 -- GNATMAKE
666 -- This is set to non-zero by gnatmake switch -eInnn to indicate that
667 -- the main program is the nnn unit in a multi-unit source file.
669 Mapping_File_Name : String_Ptr := null;
670 -- GNAT
671 -- File name of mapping between unit names, file names and path names.
672 -- (given by switch -gnatem)
674 Maximum_Errors : Int := 9999;
675 -- GNAT, GNATBIND
676 -- Maximum default number of errors before compilation is terminated.
677 -- Can be overridden using -gnatm (GNAT) or -m (GNATBIND) switch.
679 Maximum_File_Name_Length : Int;
680 -- GNAT, GNATBIND
681 -- Maximum number of characters allowed in a file name, not counting the
682 -- extension, as set by the appropriate switch. If no switch is given,
683 -- then this value is initialized by Osint to the appropriate value.
685 Max_Line_Length : Int := Hostparm.Max_Line_Length;
686 -- This is a copy of Max_Line_Length used by the scanner. It is usually
687 -- set to be a copy of Hostparm.Max_Line_Length, and is used to check
688 -- the maximum line length in the scanner when style checking is inactive.
689 -- The only time it is set to a different value is during the scanning of
690 -- configuration pragma files, where we want to turn off all checking and
691 -- in particular we want to allow long lines. So we reset this value to
692 -- Column_Number'Last during scanning of configuration pragma files.
694 Maximum_Processes : Positive := 1;
695 -- GNATMAKE
696 -- Maximum number of processes that should be spawned to carry out
697 -- compilations.
699 Minimal_Recompilation : Boolean := False;
700 -- GNATMAKE
701 -- Set to True if minimal recompilation mode requested.
703 Multiple_Unit_Index : Int;
704 -- GNAT
705 -- This is set non-zero if the current unit is being compiled in multiple
706 -- unit per file mode, meaning that the current unit is selected from the
707 -- sequence of units in the current source file, using the value stored
708 -- in this variable (e.g. 2 = select second unit in file). A value of
709 -- zero indicates that we are in normal (one unit per file) mode.
711 No_Main_Subprogram : Boolean := False;
712 -- GNATMAKE, GNATBIND
713 -- Set to True if compilation/binding of a program without main
714 -- subprogram requested.
716 No_Run_Time_Mode : Boolean := False;
717 -- GNAT, GNATBIND
718 -- This flag is set True if a No_Run_Time pragma is encountered. See
719 -- spec of Rtsfind for a full description of handling of this pragma.
721 No_Stdinc : Boolean := False;
722 -- GNAT, GNATBIND, GNATMAKE, GNATFIND, GNATXREF
723 -- Set to True if no default source search dirs added to search list
725 No_Stdlib : Boolean := False;
726 -- GNATMAKE, GNATBIND, GNATFIND, GNATXREF
727 -- Set to True if no default library search dirs added to search list
729 No_Strict_Aliasing : Boolean := False;
730 -- GNAT
731 -- Set True if pragma No_Strict_Aliasing with no parameters encountered
733 Normalize_Scalars : Boolean := False;
734 -- GNAT, GNATBIND
735 -- Set True if a pragma Normalize_Scalars applies to the current unit.
736 -- Note that Init_Or_Norm_Scalars is also set to True if this is True.
738 Object_Directory_Present : Boolean := False;
739 -- GNATMAKE
740 -- Set to True when an object directory is specified with option -D
742 type Operating_Mode_Type is (Check_Syntax, Check_Semantics, Generate_Code);
743 Operating_Mode : Operating_Mode_Type := Generate_Code;
744 -- GNAT
745 -- Indicates the operating mode of the compiler. The default is generate
746 -- code, which runs the parser, semantics and backend. Switches can be
747 -- used to set syntax checking only mode, or syntax and semantics checking
748 -- only mode. Operating_Mode can also be modified as a result of detecting
749 -- errors during the compilation process. In particular if any serious
750 -- error is detected then this flag is reset from Generate_Code to
751 -- Check_Semantics after generating an error message.
753 Original_Operating_Mode : Operating_Mode_Type := Generate_Code;
754 -- GNAT
755 -- Indicates the original operating mode of the compiler as set by
756 -- compiler options. This is identical to Operating_Mode except that
757 -- this is not affected by errors.
759 Optimization_Level : Int;
760 pragma Import (C, Optimization_Level, "optimize");
761 -- This constant reflects the optimization level (0,1,2 for -O0,-O1,-O2)
763 Output_File_Name_Present : Boolean := False;
764 -- GNATBIND, GNAT, GNATMAKE
765 -- Set to True when the output C file name is given with option -o
766 -- for GNATBIND, when the object file name is given with option
767 -- -gnatO for GNAT or when the executable is given with option -o
768 -- for GNATMAKE.
770 Output_Linker_Option_List : Boolean := False;
771 -- GNATBIND
772 -- True if output of list of linker options is requested (-K switch set)
774 Output_Object_List : Boolean := False;
775 -- GNATBIND
776 -- True if output of list of objects is requested (-O switch set)
778 Pessimistic_Elab_Order : Boolean := False;
779 -- GNATBIND
780 -- True if pessimistic elaboration order is to be chosen (-p switch set)
782 Polling_Required : Boolean := False;
783 -- GNAT
784 -- Set to True if polling for asynchronous abort is enabled by using
785 -- the -gnatP option for GNAT.
787 Preprocessing_Data_File : String_Ptr := null;
788 -- GNAT
789 -- Set by switch -gnatep=. The file name of the prepocessing data file.
791 Print_Generated_Code : Boolean := False;
792 -- GNAT
793 -- Set to True to enable output of generated code in source form. This
794 -- flag is set by the -gnatG switch.
796 Print_Standard : Boolean := False;
797 -- GNAT
798 -- Set to true to enable printing of package standard in source form.
799 -- This flag is set by the -gnatS switch
801 Propagate_Exceptions : Boolean := False;
802 -- GNAT
803 -- Indicates if subprogram descriptor exception tables should be
804 -- built for imported subprograms. Set True if a Propagate_Exceptions
805 -- pragma applies to the extended main unit.
807 type Usage is (Unknown, Not_In_Use, In_Use);
808 Project_File_In_Use : Usage := Unknown;
809 -- GNAT
810 -- Indicates if a project file is used or not.
811 -- Set to In_Use by the first SFNP pragma.
814 -- GNAT, GNATBIND
816 -- Reset to first character (uppercase) of locking policy name if a valid
817 -- Queuing_Policy pragma is encountered.
819 Queuing_Policy_Sloc : Source_Ptr := No_Location;
820 -- GNAT, GNATBIND
821 -- Remember location of previous Queuing_Policy pragma. This is used
822 -- for inconsistency error messages. A value of System_Location is
823 -- used if the policy is set in package System.
825 Quiet_Output : Boolean := False;
826 -- GNATMAKE, GNATCLEAN, GPR2MAKE
827 -- Set to True if the tool should not have any output if there are no
828 -- errors or warnings.
830 RTS_Lib_Path_Name : String_Ptr := null;
831 RTS_Src_Path_Name : String_Ptr := null;
832 -- GNAT
833 -- Set to the "adalib" and "adainclude" directories of the run time
834 -- specified by --RTS=.
836 RTS_Switch : Boolean := False;
837 -- GNAT, GNATMAKE, GNATBIND, GNATLS, GNATFIND, GNATXREF
838 -- Set to True when the --RTS switch is set
840 Run_Path_Option : Boolean := True;
841 -- GNATMAKE, GNATLINK
842 -- Set to False when no run_path_option should be issued to the linker
844 Sec_Stack_Used : Boolean := False;
845 -- GNAT, GBATBIND
846 -- Set True if generated code uses the System.Secondary_Stack package.
847 -- For the binder, set if any unit uses the secondary stack package.
849 Setup_Projects : Boolean := False;
850 -- GNAT DRIVER
851 -- Set to True for GNAT SETUP: the Project Manager creates non existing
852 -- object, library and exec directories.
854 Shared_Libgnat : Boolean;
855 -- GNATBIND
856 -- Set to True if a shared libgnat is requested by using the -shared
857 -- option for GNATBIND and to False when using the -static option. The
858 -- value of this flag is set by Gnatbind.Scan_Bind_Arg.
860 Stack_Checking_Enabled : Boolean;
861 -- GNAT
862 -- Set to indicate if -fstack-check switch is set for the compilation.
863 -- True means that the switch is set, so that stack checking is enabled.
864 -- False means that the switch is not set (no stack checking). This
865 -- value is obtained from the external imported value flag_stack_check
866 -- in the gcc backend (see Frontend) and may be referenced throughout
867 -- the compilation phases.
869 Style_Check : Boolean := False;
870 -- GNAT
871 -- Set True to perform style checks. Activates checks carried out
872 -- in package Style (see body of this package for details of checks)
873 -- This flag is set True by either the -gnatg or -gnaty switches.
875 System_Extend_Pragma_Arg : Node_Id := Empty;
876 -- GNAT
877 -- Set non-empty if and only if a correct Extend_System pragma was present
878 -- in which case it points to the argument of the pragma, and the name can
879 -- be located as Chars (Expression (System_Extend_Pragma_Arg)).
881 System_Extend_Unit : Node_Id := Empty;
882 -- GNAT
883 -- This is set to Empty if GNAT_Mode is set, since pragma Extend_System
884 -- is never appropriate in GNAT_Mode (and causes troubles, including
885 -- bogus circularities, if we try to compile the run-time library with
886 -- a System extension). If GNAT_Mode is not set, then System_Extend_Unit
887 -- is a copy of the value set in System_Extend_Pragma_Ary.
889 Subunits_Missing : Boolean := False;
890 -- GNAT
891 -- This flag is set true if missing subunits are detected with code
892 -- generation active. This causes code generation to be skipped.
894 Suppress_Checks : Boolean := False;
895 -- GNAT
896 -- Set to True if -gnatp (suppress all checks) switch present.
898 Suppress_Options : Suppress_Array;
899 -- GNAT
900 -- Flags set True to suppress corresponding check, i.e. add an implicit
901 -- pragma Suppress at the outer level of each unit compiled. Note that
902 -- these suppress actions can be overridden by the use of the Unsuppress
903 -- pragma. This variable is initialized by Osint.Initialize.
905 Suppress_Back_Annotation : Boolean := False;
906 -- GNAT
907 -- This flag is set True if back annotation of representation information
908 -- is to be suppressed. This is set if neither -gnatt or -gnatR0-3 is set.
909 -- This avoids unnecessary time being spent on back annotation.
911 Table_Factor : Int := 1;
912 -- GNAT
913 -- Factor by which all initial table sizes set in Alloc are multiplied.
914 -- Used in Table to calculate initial table sizes (the initial table
915 -- size is the value in Alloc, used as the Table_Initial parameter
916 -- value, multiplied by the factor given here. The default value is
917 -- used if no -gnatT switch appears.
920 -- GNAT, GNATBIND
922 -- Reset to first character (uppercase) of task dispatching policy name
923 -- if a valid Task_Dispatching_Policy pragma is encountered.
925 Task_Dispatching_Policy_Sloc : Source_Ptr := No_Location;
926 -- GNAT, GNATBIND
927 -- Remember location of previous Task_Dispatching_Policy pragma. This is
928 -- used for inconsistency error messages. A value of System_Location is
929 -- used if the policy is set in package System.
931 Tasking_Used : Boolean := False;
932 -- Set True if any tasking construct is encountered. Used to activate the
933 -- output of the Q, L and T lines in ALI files.
935 Time_Slice_Set : Boolean := False;
936 -- GNATBIND
937 -- Set True if a pragma Time_Slice is processed in the main unit, or
938 -- if the -gnatTnn switch is present to set a time slice value.
940 Time_Slice_Value : Nat;
941 -- GNATBIND
942 -- Time slice value. Valid only if Time_Slice_Set is True, i.e. if a
943 -- Time_Slice pragma has been processed. Set to the time slice value
944 -- in microseconds. Negative values are stored as zero, and the value
945 -- is not larger than 1_000_000_000 (1000 seconds). Values larger than
946 -- this are reset to this maximum. This can also be set with the -gnatTnn
947 -- switch.
949 Tolerate_Consistency_Errors : Boolean := False;
950 -- GNATBIND
951 -- Tolerate time stamp and other consistency errors. If this flag is
952 -- set to True (-t), then inconsistencies result in warnings rather than
953 -- errors.
955 Tree_Output : Boolean := False;
956 -- GNAT
957 -- Set to True (-gnatt) to generate output tree file
959 Try_Semantics : Boolean := False;
960 -- GNAT
961 -- Flag set to force attempt at semantic analysis, even if parser errors
962 -- occur. This will probably cause blowups at this stage in the game. On
963 -- the other hand, most such blowups will be caught cleanly and simply
964 -- say compilation abandoned. This flag is set to True by -gnatq or -gnatQ.
966 Undefined_Symbols_Are_False : Boolean := False;
967 -- GNAT, GNATPREP
968 -- Set to True by switch -u of gnatprep or -u in the preprocessing data
969 -- file for the compiler. Indicates that while preprocessing sources,
970 -- symbols that are not defined have the value FALSE.
972 Unique_Error_Tag : Boolean := Tag_Errors;
973 -- GNAT
974 -- Indicates if error messages are to be prefixed by the string error:
975 -- Initialized from Tag_Errors, can be forced on with the -gnatU switch.
977 Universal_Addressing_On_AAMP : Boolean := False;
978 -- GNAAMP
979 -- Indicates if library-level objects should be accessed and updated
980 -- using universal addressing instructions on the AAMP architecture.
981 -- This flag is set to True when pragma Universal_Data is given as
982 -- a configuration pragma.
984 Unreserve_All_Interrupts : Boolean := False;
985 -- GNAT, GNATBIND
986 -- Normally set False, set True if a valid Unreserve_All_Interrupts
987 -- pragma appears anywhere in the main unit for GNAT, or if any ALI
988 -- file has the corresponding attribute set in GNATBIND.
990 Upper_Half_Encoding : Boolean := False;
991 -- GNAT
992 -- Normally set False, indicating that upper half ASCII characters are
993 -- used in the normal way to represent themselves. If the wide character
994 -- encoding method uses the upper bit for this encoding, then this flag
995 -- is set True, and upper half characters in the source indicate the
996 -- start of a wide character sequence.
998 Usage_Requested : Boolean := False;
999 -- GNAT, GNATBIND, GNATMAKE
1000 -- Set to True if -h (-gnath for the compiler) switch encountered
1001 -- requesting usage information
1003 Use_VADS_Size : Boolean := False;
1004 -- GNAT
1005 -- Set to True if a valid pragma Use_VADS_Size is processed
1007 Validity_Checks_On : Boolean := True;
1008 -- GNAT
1009 -- This flag determines if validity checking is on or off. The initial
1010 -- state is on, and the required default validity checks are active. The
1011 -- actual set of checks that is performed if Validity_Checks_On is set
1012 -- is defined by the switches in package Sem_Val. The Validity_Checks_On
1013 -- flag is controlled by pragma Validity_Checks (On | Off), and also
1014 -- some generated compiler code (typically code that has to do with
1015 -- validity check generation) is compiled with this flag set to False.
1016 -- This flag is set to False by the -gnatp switch.
1018 Verbose_Mode : Boolean := False;
1019 -- GNAT, GNATBIND, GNATMAKE, GNATLINK, GNATLS, GNATCHOP, GNATNAME,
1020 -- GNATCLEAN
1021 -- Set to True to get verbose mode (full error message text and location
1022 -- information sent to standard output, also header, copyright and summary)
1024 Warn_On_Constant : Boolean := False;
1025 -- GNAT
1026 -- Set to True to generate warnings for variables that could be declared
1027 -- as constants. Modified by use of -gnatwk/K.
1029 Warn_On_Dereference : Boolean := False;
1030 -- GNAT
1031 -- Set to True to generate warnings for implicit dereferences for array
1032 -- indexing and record component access. Modified by use of -gnatwd/D.
1034 Warn_On_Export_Import : Boolean := True;
1035 -- GNAT
1036 -- Set to True to generate warnings for suspicious use of export or
1037 -- import pragmas. Modified by use of -gnatwx/X.
1039 Warn_On_Hiding : Boolean := False;
1040 -- GNAT
1041 -- Set to True to generate warnings if a declared entity hides another
1042 -- entity. The default is that this warning is suppressed.
1044 Warn_On_Modified_Unread : Boolean := False;
1045 -- GNAT
1046 -- Set to True to generate warnings if a variable is assigned but is
1047 -- never read. The default is that this warning is suppressed.
1049 Warn_On_No_Value_Assigned : Boolean := True;
1050 -- GNAT
1051 -- Set to True to generate warnings if no value is ever assigned to a
1052 -- variable that is at least partially uninitialized. Set to false to
1053 -- suppress such warnings. The default is that such warnings are enabled.
1055 Warn_On_Obsolescent_Feature : Boolean := False;
1056 -- GNAT
1057 -- Set to True to generate warnings on use of any feature in Annex J
1058 -- or if a subprogram is called for which a pragma Obsolescent applies.
1060 Warn_On_Redundant_Constructs : Boolean := False;
1061 -- GNAT
1062 -- Set to True to generate warnings for redundant constructs (e.g. useless
1063 -- assignments/conversions). The default is that this warning is disabled.
1065 Warn_On_Unchecked_Conversion : Boolean := True;
1066 -- GNAT
1067 -- Set to True to generate warnings for unchecked conversions that may have
1068 -- non-portable semantics (e.g. because sizes of types differ). The default
1069 -- is that this warning is enabled.
1071 Warn_On_Unrecognized_Pragma : Boolean := True;
1072 -- GNAT
1073 -- Set to True to generate warnings for unrecognized pragmas. The default
1074 -- is that this warning is enabled.
1076 type Warning_Mode_Type is (Suppress, Normal, Treat_As_Error);
1077 Warning_Mode : Warning_Mode_Type := Normal;
1078 -- GNAT, GNATBIND
1079 -- Controls treatment of warning messages. If set to Suppress, warning
1080 -- messages are not generated at all. In Normal mode, they are generated
1081 -- but do not count as errors. In Treat_As_Error mode, warning messages
1082 -- are generated and are treated as errors.
1084 Wide_Character_Encoding_Method : WC_Encoding_Method := WCEM_Brackets;
1085 -- GNAT
1086 -- Method used for encoding wide characters in the source program. See
1087 -- description of type in unit System.WCh_Con for a list of the methods
1088 -- that are currently supported. Note that brackets notation is always
1089 -- recognized in source programs regardless of the setting of this
1090 -- variable. The default setting causes only the brackets notation
1091 -- to be recognized. If this is the main unit, this setting also
1092 -- controls the output of the W=? parameter in the ALI file, which
1093 -- is used to provide the default for Wide_Text_IO files.
1095 Xref_Active : Boolean := True;
1096 -- GNAT
1097 -- Set if cross-referencing is enabled (i.e. xref info in ALI files)
1099 Zero_Cost_Exceptions_Val : Boolean;
1100 Zero_Cost_Exceptions_Set : Boolean := False;
1101 -- GNAT
1102 -- These values are to record the setting of the zero cost exception
1103 -- handling mode set by argument switches (-gnatZ/-gnatL). If the
1104 -- value is set by one of these switches, then Zero_Cost_Exceptions_Set
1105 -- is set to True, and Zero_Cost_Exceptions_Val indicates the setting.
1107 ----------------------------
1108 -- Configuration Settings --
1109 ----------------------------
1111 -- These are settings that are used to establish the mode at the start
1112 -- of each unit. The values defined below can be affected either by
1113 -- command line switches, or by the use of appropriate configuration
1114 -- pragmas in the gnat.adc file.
1116 Ada_Version_Config : Ada_Version_Type;
1117 -- GNAT
1118 -- This is the value of the configuration switch for the Ada 83 mode, as
1119 -- set by the command line switches -gnat83/95/05, and possibly modified
1120 -- by the use of configuration pragmas Ada_83/Ada95/Ada05. This switch
1121 -- is used to set the initial value for Ada_Version mode at the start
1122 -- of analysis of a unit. Note however, that the setting of this flag
1123 -- is ignored for internal and predefined units (which are always compiled
1124 -- in the most up to date version of Ada).
1126 Dynamic_Elaboration_Checks_Config : Boolean := False;
1127 -- GNAT
1128 -- Set True for dynamic elaboration checking mode, as set by the -gnatE
1129 -- switch or by the use of pragma Elaboration_Checking (Dynamic).
1131 Exception_Locations_Suppressed_Config : Boolean := False;
1132 -- GNAT
1133 -- Set True by use of the configuration pragma Suppress_Exception_Messages
1135 Extensions_Allowed_Config : Boolean;
1136 -- GNAT
1137 -- This is the flag that indicates whether extensions are allowed.
1138 -- It can be set True either by use of the -gnatX switch, or by use
1139 -- of the configuration pragma Extensions_Allowed (On). It is always
1140 -- set to True for internal GNAT units, since extensions are always
1141 -- permitted in such units.
1143 External_Name_Exp_Casing_Config : External_Casing_Type;
1144 -- GNAT
1145 -- This is the value of the configuration switch that controls casing
1146 -- of external symbols for which an explicit external name is given. It
1147 -- can be set to Uppercase by the command line switch -gnatF, and further
1148 -- modified by the use of the configuration pragma External_Name_Casing
1149 -- in the gnat.adc file. This flag is used to set the initial value
1150 -- for External_Name_Exp_Casing at the start of analyzing each unit.
1151 -- Note however that the setting of this flag is ignored for internal
1152 -- and predefined units (which are always compiled with As_Is mode).
1154 External_Name_Imp_Casing_Config : External_Casing_Type;
1155 -- GNAT
1156 -- This is the value of the configuration switch that controls casing
1157 -- of external symbols where the external name is implicitly given. It
1158 -- can be set to Uppercase by the command line switch -gnatF, and further
1159 -- modified by the use of the configuration pragma External_Name_Casing
1160 -- in the gnat.adc file. This flag is used to set the initial value
1161 -- for External_Name_Imp_Casing at the start of analyzing each unit.
1162 -- Note however that the setting of this flag is ignored for internal
1163 -- and predefined units (which are always compiled with Lowercase mode).
1165 Polling_Required_Config : Boolean;
1166 -- GNAT
1167 -- This is the value of the configuration switch that controls polling
1168 -- mode. It can be set True by the command line switch -gnatP, and then
1169 -- further modified by the use of pragma Polling in the gnat.adc file.
1170 -- This flag is used to set the initial value for Polling_Required
1171 -- at the start of analyzing each unit.
1173 Use_VADS_Size_Config : Boolean;
1174 -- GNAT
1175 -- This is the value of the configuration switch that controls the use
1176 -- of VADS_Size instead of Size whereever the attribute Size is used.
1177 -- It can be set True by the use of the pragma Use_VADS_Size in the
1178 -- gnat.adc file. This flag is used to set the initial value for
1179 -- Use_VADS_Size at the start of analyzing each unit. Note however that
1180 -- the setting of this flag is ignored for internal and predefined
1181 -- units (which are always compiled with the standard Size semantics).
1183 type Config_Switches_Type is private;
1184 -- Type used to save values of the switches set from Config values
1186 procedure Save_Opt_Config_Switches (Save : out Config_Switches_Type);
1187 -- This procedure saves the current values of the switches which are
1188 -- initialized from the above Config values, and then resets these
1189 -- switches according to the Config value settings.
1191 procedure Set_Opt_Config_Switches (Internal_Unit : Boolean);
1192 -- This procedure sets the switches to the appropriate initial values.
1193 -- The parameter Internal_Unit is True for an internal or predefined
1194 -- unit, and affects the way the switches are set (see above).
1196 procedure Restore_Opt_Config_Switches (Save : Config_Switches_Type);
1197 -- This procedure restores a set of switch values previously saved
1198 -- by a call to Save_Opt_Switches.
1200 procedure Register_Opt_Config_Switches;
1201 -- This procedure is called after processing the gnat.adc file to record
1202 -- the values of the Config switches, as possibly modified by the use
1203 -- of command line switches and configuration pragmas.
1205 ------------------------
1206 -- Other Global Flags --
1207 ------------------------
1209 Expander_Active : Boolean := False;
1210 -- A flag that indicates if expansion is active (True) or deactivated
1211 -- (False). When expansion is deactivated all calls to expander routines
1212 -- have no effect. Note that the initial setting of False is merely to
1213 -- prevent saving of an undefined value for an initial call to the
1214 -- Expander_Mode_Save_And_Set procedure. For more information on the
1215 -- use of this flag, see package Expander. Indeed this flag might more
1216 -- logically be in the spec of Expander, but it is referenced by Errout,
1217 -- and it really seems wrong for Errout to depend on Expander.
1219 -----------------------
1220 -- Tree I/O Routines --
1221 -----------------------
1223 procedure Tree_Read;
1224 -- Reads switch settings from current tree file using Tree_Read
1226 procedure Tree_Write;
1227 -- Writes out switch settings to current tree file using Tree_Write
1229 --------------------------
1230 -- ASIS Version Control --
1231 --------------------------
1233 -- These two variables (Tree_Version_String and Tree_ASIS_Version_Number)
1234 -- are supposed to be used in the GNAT/ASIS version check performed in
1235 -- the ASIS code (this package is also a part of the ASIS implementation).
1236 -- They are set by Tree_Read procedure, so they represent the version
1237 -- number (and the version string) of the compiler which has created the
1238 -- tree, and they are supposed to be compared with the corresponding values
1239 -- from the Gnatvsn package which is a part of ASIS implementation.
1241 Tree_Version_String : String (Gnat_Version_String'Range);
1242 -- Used to store the compiler version string read from a tree file to
1243 -- check if it is the same as stored in the version string in Gnatvsn.
1244 -- Therefore its length is taken directly from the version string in
1245 -- Gnatvsn. If the length of the version string stored in the tree is
1246 -- different, then versions are for sure different, and a string containing
1249 Tree_ASIS_Version_Number : Int;
1250 -- Used to store the ASIS version number read from a tree file to check if
1251 -- it is the same as stored in the ASIS version number in Gnatvsn.
1253 private
1255 type Config_Switches_Type is record
1256 Ada_Version : Ada_Version_Type;
1257 Dynamic_Elaboration_Checks : Boolean;
1258 Exception_Locations_Suppressed : Boolean;
1259 Extensions_Allowed : Boolean;
1260 External_Name_Exp_Casing : External_Casing_Type;
1261 External_Name_Imp_Casing : External_Casing_Type;
1262 Polling_Required : Boolean;
1263 Use_VADS_Size : Boolean;
1264 end record;
1266 end Opt;