|
111
|
1 ------------------------------------------------------------------------------
|
|
|
2 -- --
|
|
|
3 -- GNAT COMPILER COMPONENTS --
|
|
|
4 -- --
|
|
|
5 -- W A R N S W --
|
|
|
6 -- --
|
|
|
7 -- S p e c --
|
|
|
8 -- --
|
|
|
9 -- Copyright (C) 1999-2017, 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 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. --
|
|
|
20 -- --
|
|
|
21 -- GNAT was originally developed by the GNAT team at New York University. --
|
|
|
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
|
|
|
23 -- --
|
|
|
24 ------------------------------------------------------------------------------
|
|
|
25
|
|
|
26 -- This unit contains the routines used to handle setting of warning options
|
|
|
27
|
|
|
28 package Warnsw is
|
|
|
29
|
|
|
30 -------------------
|
|
|
31 -- Warning Flags --
|
|
|
32 -------------------
|
|
|
33
|
|
|
34 -- These flags are activated or deactivated by -gnatw switches and control
|
|
|
35 -- whether warnings of a given class will be generated or not.
|
|
|
36
|
|
|
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.
|
|
|
40
|
|
|
41 Warn_On_Late_Primitives : Boolean := False;
|
|
|
42 -- Warn when tagged type public primitives are defined after its private
|
|
|
43 -- extensions.
|
|
|
44
|
|
|
45 Warn_On_Overridden_Size : Boolean := False;
|
|
|
46 -- Warn when explicit record component clause or array component_size
|
|
|
47 -- clause specifies a size that overrides a size for the type which was
|
|
|
48 -- set with an explicit size clause. Off by default, modified by use of
|
|
|
49 -- -gnatw.s/.S (but not -gnatwa).
|
|
|
50
|
|
|
51 Warn_On_Questionable_Layout : Boolean := False;
|
|
|
52 -- Warn when default layout of a record type is questionable for run-time
|
|
|
53 -- efficiency reasons and would be improved by reordering the components.
|
|
|
54 -- Off by default, modified by use of -gnatw.q/.Q (but not -gnatwa).
|
|
|
55
|
|
|
56 Warn_On_Record_Holes : Boolean := False;
|
|
|
57 -- Warn when explicit record component clauses leave uncovered holes (gaps)
|
|
|
58 -- in a record layout. Off by default, set by -gnatw.h (but not -gnatwa).
|
|
|
59
|
|
|
60 Warn_On_Size_Alignment : Boolean := True;
|
|
|
61 -- Warn when explicit Size and Alignment clauses are given for a type, and
|
|
|
62 -- the size is not a multiple of the alignment. Off by default, modified
|
|
|
63 -- by use of -gnatw.z/.Z and set as part of -gnatwa.
|
|
|
64
|
|
|
65 Warn_On_Standard_Redefinition : Boolean := False;
|
|
|
66 -- Warn when a program defines an identifier that matches a name in
|
|
|
67 -- Standard. Off by default, modified by use of -gnatw.k/.K (but not
|
|
|
68 -- by -gnatwa).
|
|
|
69
|
|
|
70 -----------------------------------
|
|
|
71 -- Saving and Restoring Warnings --
|
|
|
72 -----------------------------------
|
|
|
73
|
|
|
74 -- Type used to save and restore warnings
|
|
|
75
|
|
|
76 type Warning_Record is record
|
|
|
77 Address_Clause_Overlay_Warnings : Boolean;
|
|
|
78 Check_Unreferenced : Boolean;
|
|
|
79 Check_Unreferenced_Formals : Boolean;
|
|
|
80 Check_Withs : Boolean;
|
|
|
81 Constant_Condition_Warnings : Boolean;
|
|
|
82 Elab_Info_Messages : Boolean;
|
|
|
83 Elab_Warnings : Boolean;
|
|
|
84 Implementation_Unit_Warnings : Boolean;
|
|
|
85 Ineffective_Inline_Warnings : Boolean;
|
|
|
86 List_Body_Required_Info : Boolean;
|
|
|
87 List_Inherited_Aspects : Boolean;
|
|
|
88 No_Warn_On_Non_Local_Exception : Boolean;
|
|
|
89 Warning_Doc_Switch : Boolean;
|
|
|
90 Warn_On_Ada_2005_Compatibility : Boolean;
|
|
|
91 Warn_On_Ada_2012_Compatibility : Boolean;
|
|
|
92 Warn_On_All_Unread_Out_Parameters : Boolean;
|
|
|
93 Warn_On_Assertion_Failure : Boolean;
|
|
|
94 Warn_On_Assumed_Low_Bound : Boolean;
|
|
|
95 Warn_On_Atomic_Synchronization : Boolean;
|
|
|
96 Warn_On_Bad_Fixed_Value : Boolean;
|
|
|
97 Warn_On_Biased_Representation : Boolean;
|
|
|
98 Warn_On_Constant : Boolean;
|
|
|
99 Warn_On_Deleted_Code : Boolean;
|
|
|
100 Warn_On_Dereference : Boolean;
|
|
|
101 Warn_On_Export_Import : Boolean;
|
|
|
102 Warn_On_Hiding : Boolean;
|
|
|
103 Warn_On_Late_Primitives : Boolean;
|
|
|
104 Warn_On_Modified_Unread : Boolean;
|
|
|
105 Warn_On_No_Value_Assigned : Boolean;
|
|
|
106 Warn_On_Non_Local_Exception : Boolean;
|
|
|
107 Warn_On_Object_Renames_Function : Boolean;
|
|
|
108 Warn_On_Obsolescent_Feature : Boolean;
|
|
|
109 Warn_On_Overlap : Boolean;
|
|
|
110 Warn_On_Overridden_Size : Boolean;
|
|
|
111 Warn_On_Parameter_Order : Boolean;
|
|
|
112 Warn_On_Questionable_Layout : Boolean;
|
|
|
113 Warn_On_Questionable_Missing_Parens : Boolean;
|
|
|
114 Warn_On_Record_Holes : Boolean;
|
|
|
115 Warn_On_Redundant_Constructs : Boolean;
|
|
|
116 Warn_On_Reverse_Bit_Order : Boolean;
|
|
|
117 Warn_On_Size_Alignment : Boolean;
|
|
|
118 Warn_On_Standard_Redefinition : Boolean;
|
|
|
119 Warn_On_Suspicious_Contract : Boolean;
|
|
|
120 Warn_On_Suspicious_Modulus_Value : Boolean;
|
|
|
121 Warn_On_Unchecked_Conversion : Boolean;
|
|
|
122 Warn_On_Unordered_Enumeration_Type : Boolean;
|
|
|
123 Warn_On_Unrecognized_Pragma : Boolean;
|
|
|
124 Warn_On_Unrepped_Components : Boolean;
|
|
|
125 Warn_On_Warnings_Off : Boolean;
|
|
|
126 end record;
|
|
|
127
|
|
|
128 function Save_Warnings return Warning_Record;
|
|
|
129 -- Returns current settingh of warnings
|
|
|
130
|
|
|
131 procedure Restore_Warnings (W : Warning_Record);
|
|
|
132 -- Restores current settings of warning flags from W
|
|
|
133
|
|
|
134 -----------------
|
|
|
135 -- Subprograms --
|
|
|
136 -----------------
|
|
|
137
|
|
|
138 function Set_Warning_Switch (C : Character) return Boolean;
|
|
|
139 -- This function sets the warning switch or switches corresponding to the
|
|
|
140 -- given character. It is used to process a -gnatw switch on the command
|
|
|
141 -- line, or a character in a string literal in pragma Warnings. Returns
|
|
|
142 -- True for valid warning character C, False for invalid character.
|
|
|
143
|
|
|
144 function Set_Dot_Warning_Switch (C : Character) return Boolean;
|
|
|
145 -- This function sets the warning switch or switches corresponding to the
|
|
|
146 -- given character preceded by a dot. Used to process a -gnatw. switch on
|
|
|
147 -- the command line or .C in a string literal in pragma Warnings. Returns
|
|
|
148 -- True for valid warning character C, False for invalid character.
|
|
|
149
|
|
|
150 function Set_Underscore_Warning_Switch (C : Character) return Boolean;
|
|
|
151 -- This function sets the warning switch or switches corresponding to the
|
|
|
152 -- given character preceded by an underscore. Used to process a -gnatw_
|
|
|
153 -- switch on the command line or _C in a string literal in pragma Warnings.
|
|
|
154 -- Returns True for valid warnings character C, False for invalid
|
|
|
155 -- character.
|
|
|
156
|
|
|
157 procedure Set_GNAT_Mode_Warnings;
|
|
|
158 -- This is called in -gnatg mode to set the warnings for gnat mode. It is
|
|
|
159 -- also used to set the proper warning statuses for -gnatw.g. Note that
|
|
|
160 -- this set of warnings is neither a subset nor a superset of -gnatwa, it
|
|
|
161 -- enables warnings that are not included in -gnatwa and disables warnings
|
|
|
162 -- that are included in -gnatwa (such as Warn_On_Implementation_Units, that
|
|
|
163 -- we clearly want to be False for units built with -gnatg).
|
|
|
164
|
|
|
165 end Warnsw;
|
