1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1999-2021, Free Software Foundation, Inc. --
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 3, 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 COPYING3. If not, go to --
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 ------------------------------------------------------------------------------
26 -- This unit contains the routines used to handle setting of warning options
34 -- These flags are activated or deactivated by -gnatw switches and control
35 -- whether warnings of a given class will be generated or not.
37 -- Note: most of these flags are still in opt, but the plan is to move them
38 -- here as time goes by. And in fact a really nice idea would be to put
39 -- them all in a Warn_Record so that they would be easy to save/restore.
41 Warn_On_Anonymous_Allocators
: Boolean := False;
42 -- Warn when allocators for anonymous access types are present, which,
43 -- although not illegal in Ada, may be confusing to users due to how
44 -- accessibility checks get generated. Off by default, modified by use
45 -- of -gnatw_a/_A and set as part of -gnatwa.
47 Warn_On_Late_Primitives
: Boolean := False;
48 -- Warn when tagged type public primitives are defined after its private
51 Warn_On_Unknown_Compile_Time_Warning
: Boolean := True;
52 -- Warn on a pragma Compile_Time_Warning whose condition has a value that
53 -- is not known at compile time. On by default, modified by use
54 -- of -gnatw_c/_C and set as part of -gnatwa.
56 Warn_On_Overridden_Size
: Boolean := False;
57 -- Warn when explicit record component clause or array component_size
58 -- clause specifies a size that overrides a size for the type which was
59 -- set with an explicit size clause. Off by default, modified by use of
60 -- -gnatw.s/.S (but not -gnatwa).
62 Warn_On_Pedantic_Checks
: Boolean := False;
63 -- Warn for violation of miscellaneous pedantic rules (such as when the
64 -- subtype of a formal parameter given in a subprogram body's specification
65 -- comes from a different subtype declaration that the subtype of the
66 -- formal in the subprogram declaration). Off by default, and set by
67 -- -gnatw_p (but not -gnatwa).
69 Warn_On_Questionable_Layout
: Boolean := False;
70 -- Warn when default layout of a record type is questionable for run-time
71 -- efficiency reasons and would be improved by reordering the components.
72 -- Off by default, modified by use of -gnatw.q/.Q (but not -gnatwa).
74 -- WARNING: There is a matching C declaration of this variable in fe.h
76 Warn_On_Record_Holes
: Boolean := False;
77 -- Warn when explicit record component clauses leave uncovered holes (gaps)
78 -- in a record layout. Off by default, set by -gnatw.h (but not -gnatwa).
80 Warn_On_Component_Order
: Boolean := False;
81 -- Warn when record component clauses are out of order with respect to the
82 -- component declarations, or if the memory layout is out of order with
83 -- respect to component declarations and clauses. Off by default, set by
84 -- -gnatw_r (but not -gnatwa).
86 Warn_On_Size_Alignment
: Boolean := True;
87 -- Warn when explicit Size and Alignment clauses are given for a type, and
88 -- the size is not a multiple of the alignment. Off by default, modified
89 -- by use of -gnatw.z/.Z and set as part of -gnatwa.
91 Warn_On_Standard_Redefinition
: Boolean := False;
92 -- Warn when a program defines an identifier that matches a name in
93 -- Standard. Off by default, modified by use of -gnatw.k/.K (but not
96 -----------------------------------
97 -- Saving and Restoring Warnings --
98 -----------------------------------
100 -- Type used to save and restore warnings
102 type Warning_Record
is record
103 Address_Clause_Overlay_Warnings
: Boolean;
104 Check_Unreferenced
: Boolean;
105 Check_Unreferenced_Formals
: Boolean;
106 Check_Withs
: Boolean;
107 Constant_Condition_Warnings
: Boolean;
108 Elab_Info_Messages
: Boolean;
109 Elab_Warnings
: Boolean;
110 Implementation_Unit_Warnings
: Boolean;
111 Ineffective_Inline_Warnings
: Boolean;
112 List_Body_Required_Info
: Boolean;
113 List_Inherited_Aspects
: Boolean;
114 No_Warn_On_Non_Local_Exception
: Boolean;
115 Warning_Doc_Switch
: Boolean;
116 Warn_On_Ada_2005_Compatibility
: Boolean;
117 Warn_On_Ada_2012_Compatibility
: Boolean;
118 Warn_On_All_Unread_Out_Parameters
: Boolean;
119 Warn_On_Anonymous_Allocators
: Boolean;
120 Warn_On_Assertion_Failure
: Boolean;
121 Warn_On_Assumed_Low_Bound
: Boolean;
122 Warn_On_Atomic_Synchronization
: Boolean;
123 Warn_On_Bad_Fixed_Value
: Boolean;
124 Warn_On_Biased_Representation
: Boolean;
125 Warn_On_Constant
: Boolean;
126 Warn_On_Deleted_Code
: Boolean;
127 Warn_On_Dereference
: Boolean;
128 Warn_On_Export_Import
: Boolean;
129 Warn_On_Hiding
: Boolean;
130 Warn_On_Late_Primitives
: Boolean;
131 Warn_On_Modified_Unread
: Boolean;
132 Warn_On_No_Value_Assigned
: Boolean;
133 Warn_On_Non_Local_Exception
: Boolean;
134 Warn_On_Object_Renames_Function
: Boolean;
135 Warn_On_Obsolescent_Feature
: Boolean;
136 Warn_On_Overlap
: Boolean;
137 Warn_On_Overridden_Size
: Boolean;
138 Warn_On_Parameter_Order
: Boolean;
139 Warn_On_Pedantic_Checks
: Boolean;
140 Warn_On_Questionable_Layout
: Boolean;
141 Warn_On_Questionable_Missing_Parens
: Boolean;
142 Warn_On_Record_Holes
: Boolean;
143 Warn_On_Component_Order
: Boolean;
144 Warn_On_Redundant_Constructs
: Boolean;
145 Warn_On_Reverse_Bit_Order
: Boolean;
146 Warn_On_Size_Alignment
: Boolean;
147 Warn_On_Standard_Redefinition
: Boolean;
148 Warn_On_Suspicious_Contract
: Boolean;
149 Warn_On_Suspicious_Modulus_Value
: Boolean;
150 Warn_On_Unchecked_Conversion
: Boolean;
151 Warn_On_Unknown_Compile_Time_Warning
: Boolean;
152 Warn_On_Unordered_Enumeration_Type
: Boolean;
153 Warn_On_Unrecognized_Pragma
: Boolean;
154 Warn_On_Unrepped_Components
: Boolean;
155 Warn_On_Warnings_Off
: Boolean;
158 function Save_Warnings
return Warning_Record
;
159 -- Returns current settingh of warnings
161 procedure Restore_Warnings
(W
: Warning_Record
);
162 -- Restores current settings of warning flags from W
168 function Set_Warning_Switch
(C
: Character) return Boolean;
169 -- This function sets the warning switch or switches corresponding to the
170 -- given character. It is used to process a -gnatw switch on the command
171 -- line, or a character in a string literal in pragma Warnings. Returns
172 -- True for valid warning character C, False for invalid character.
174 function Set_Dot_Warning_Switch
(C
: Character) return Boolean;
175 -- This function sets the warning switch or switches corresponding to the
176 -- given character preceded by a dot. Used to process a -gnatw. switch on
177 -- the command line or .C in a string literal in pragma Warnings. Returns
178 -- True for valid warning character C, False for invalid character.
180 function Set_Underscore_Warning_Switch
(C
: Character) return Boolean;
181 -- This function sets the warning switch or switches corresponding to the
182 -- given character preceded by an underscore. Used to process a -gnatw_
183 -- switch on the command line or _C in a string literal in pragma Warnings.
184 -- Returns True for valid warnings character C, False for invalid
187 procedure Set_GNAT_Mode_Warnings
;
188 -- This is called in -gnatg mode to set the warnings for gnat mode. It is
189 -- also used to set the proper warning statuses for -gnatw.g. Note that
190 -- this set of warnings is neither a subset nor a superset of -gnatwa, it
191 -- enables warnings that are not included in -gnatwa and disables warnings
192 -- that are included in -gnatwa (such as Warn_On_Implementation_Units, that
193 -- we clearly want to be False for units built with -gnatg).