aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/opt.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/opt.ads')
-rw-r--r--gcc/ada/opt.ads21
1 files changed, 17 insertions, 4 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index d766e97..00a9cef 100644
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -36,6 +36,7 @@
-- other GNAT tools. The comments indicate which options are used by which
-- programs (GNAT, GNATBIND, GNATLINK, GNATMAKE, GPRMAKE, etc).
+with Debug;
with Hostparm; use Hostparm;
with Types; use Types;
@@ -252,8 +253,8 @@ package Opt is
-- GNATMAKE, GNATCLEAN, GPRMAKE
-- GNATMAKE, GPRMAKE: set to True to skip bind and link steps (except when
-- Bind_Only is True).
- -- GNATCLEAN: set to True to only the files produced by the compiler are to
- -- be deleted, but not the library files or executable files.
+ -- GNATCLEAN: set to True to delete only the files produced by the compiler
+ -- but not the library files or the executable files.
Config_File : Boolean := True;
-- GNAT
@@ -601,6 +602,13 @@ package Opt is
-- then elaboration flag checks are to be generated in the binder
-- generated file.
+ Inspector_Mode : Boolean renames Debug.Debug_Flag_Dot_II;
+ -- GNAT
+ -- True if compiling in inspector mode (-gnatd.I switch).
+ -- Only relevant when VM_Target /= None. The compiler will attempt to
+ -- generate code even in case of unsupported construct, so that the byte
+ -- code can be used by static analysis tools.
+
Follow_Links : Boolean := False;
-- GNATMAKE
-- Set to True (-eL) to process the project files in trusted mode
@@ -1186,8 +1194,13 @@ package Opt is
Warn_On_Modified_Unread : Boolean := False;
-- GNAT
-- Set to True to generate warnings if a variable is assigned but is never
- -- read. The default is that this warning is suppressed. Also controls
- -- warnings about assignments whose value is never read.
+ -- read. The default is that this warning is suppressed.
+
+ Warn_On_Out_Parameter_Unread : Boolean := False;
+ -- GNAT
+ -- Set to True to generate warnings if a variable is modified by being
+ -- passed as to an IN OUT or OUT formal, but the resulting value is never
+ -- read. The default is that this warning is suppressed.
Warn_On_No_Value_Assigned : Boolean := True;
-- GNAT