13 gnatcheck ^ GNAT CHECK
14 Gnatcheck ^ GNAT CHECK
17 gnatclean ^ GNAT CLEAN
18 Gnatclean ^ GNAT CLEAN
33 gnatmetric ^ GNAT METRIC
34 Gnatmetric ^ GNAT METRIC
39 gnatprep ^ GNAT PREPROCESS
40 Gnatprep ^ GNAT PREPROCESS
47 -fno-inline ^ /INLINE=SUPPRESS
48 -fstack-check ^ /CHECKS=STACK
49 -fno-strict-aliasing ^ /OPTIMIZE=NO_STRICT_ALIASING
50 -gnata ^ /CHECKS=ASSERTIONS
52 -gnatb ^ /REPORT_ERRORS=BRIEF
53 -gnatB ^ /ASSUME_VALID
55 -gnatct ^ /NOLOAD /TREE_OUTPUT
56 -gnatdc ^ /TRACE_UNITS
57 -gnatdO ^ /REPORT_ERRORS=IMMEDIATE
58 -gnatC ^ /COMPRESS_NAMES
59 -gnatDG ^ /XDEBUG /EXPAND_SOURCEA
61 -gnateA ^ /ALIASING_CHECK
62 -gnatec ^ /CONFIGURATION_PRAGMAS_FILE
63 -gnated ^ /DISABLE_ATOMIC_SYNCHRONIZATION
64 -gnateD ^ /SYMBOL_PREPROCESSING
65 -gnateE ^ /EXTRA_EXCEPTION_INFORMATION
66 -gnatef ^ /FULL_PATH_IN_BRIEF_MESSAGES
67 -gnateF ^ /FLOAT_OVERFLOW_CHECK
68 -gnateG ^ /GENERATE_PROCESSED_SOURCE
69 -gnatei ^ /MAX_INSTANTIATIONS=
70 -gnateI ^ /MULTI_UNIT_INDEX=
71 -gnatel ^ /ELABORATION_INFO_MESSAGES
72 -gnateL ^ /NOELABORATION_INFO_MESSAGES
73 -gnatem ^ /MAPPING_FILE
74 -gnatep ^ /DATA_PREPROCESSING
75 -gnateP ^ /CATEGORIZATION_WARNINGS
77 -gnatet ^ /WRITE_TARGET_DEPENDENT_INFO
78 -gnateT ^ /READ_TARGET_DEPENDENT_INFO
79 -gnateu ^ /IGNORE_UNRECOGNIZED
80 -gnateV ^ /PARAMETER_VALIDITY_CHECK
81 -gnateY ^ /IGNORE_STYLE_CHECKS_PRAGMAS
82 -gnatE ^ /CHECKS=ELABORATION
83 -gnatf ^ /REPORT_ERRORS=FULL
84 -gnatF ^ /UPPERCASE_EXTERNALS
85 -gnatg ^ /STYLE_CHECKS=GNAT
86 -gnatG ^ /EXPAND_SOURCE
87 -gnatk ^ /FILE_NAME_MAX_LENGTH
89 -gnatL ^ /LONGJMP_SETJMP
90 -gnatj ^ /JUSTIFY_MESSAGES
91 -gnatj0 ^ /NO_JUSTIFY_MESSAGES
92 -gnatjnn ^ /JUSTIFY_MESSAGES=nn
93 -gnatL ^ /INTERSPERSE_SOURCE
95 -gnatm2 ^ /ERROR_LIMIT=2
96 -gnatn ^ /INLINE=PRAGMA
97 -gnatn1 ^ /INLINE=PRAGMA_LEVEL_1
98 -gnatn2 ^ /INLINE=PRAGMA_LEVEL_2
100 -gnato ^ /CHECKS=OVERFLOW
101 -gnato? ^ /OVERFLOW_CHECKS=?
102 -gnato?? ^ /OVERFLOW_CHECKS=??
103 -gnatp ^ /CHECKS=SUPPRESS_ALL
104 -gnat-p ^ /CHECKS=UNSUPPRESS_ALL
106 -gnatR ^ /REPRESENTATION_INFO
107 -gnatR0 ^ /REPRESENTATION_INFO=NONE
108 -gnatR1 ^ /REPRESENTATION_INFO=ARRAYS
109 -gnatR2 ^ /REPRESENTATION_INFO=OBJECTS
110 -gnatR3 ^ /REPRESENTATION_INFO=SYMBOLIC
111 -gnatq ^ /TRY_SEMANTICS
113 -gnatr ^ /TREAT_RESTRICTIONS_AS_WARNINGS
114 -gnats ^ /SYNTAX_ONLY
115 -gnatS ^ /PRINT_STANDARD
116 -gnatt ^ /TREE_OUTPUT
118 -gnatU ^ /UNIQUE_ERROR_TAG
119 -gnatv ^ /REPORT_ERRORS=VERBOSE
120 -gnatV ^ /VALIDITY_CHECKING
121 -gnatVa ^ /VALIDITY_CHECKING=ALL
122 -gnatVc ^ /VALIDITY_CHECKING=COPIES
123 -gnatVd ^ /VALIDITY_CHECKING=DEFAULT
124 -gnatVE ^ /VALIDITY_CHECKING=NOCOMPONENTS
125 -gnatVe ^ /VALIDITY_CHECKING=COMPONENTS
126 -gnatVD ^ /VALIDITY_CHECKING=NODEFAULT
127 -gnatVf ^ /VALIDITY_CHECKING=FLOATS
128 -gnatVi ^ /VALIDITY_CHECKING=IN_PARAMS
129 -gnatVm ^ /VALIDITY_CHECKING=MOD_PARAMS
130 -gnatVn ^ /VALIDITY_CHECKING=NONE
131 -gnatVo ^ /VALIDITY_CHECKING=OPERANDS
132 -gnatVp ^ /VALIDITY_CHECKING=PARAMETERS
133 -gnatVr ^ /VALIDITY_CHECKING=RETURNS
134 -gnatVs ^ /VALIDITY_CHECKING=SUBSCRIPTS
135 -gnatVt ^ /VALIDITY_CHECKING=TESTS
137 -gnatwa ^ /WARNINGS=OPTIONAL
138 -gnatwA ^ /WARNINGS=NOOPTIONAL
139 -gnatw.a ^ /WARNINGS=FAILING_ASSERTIONS
140 -gnatw.A ^ /WARNINGS=NO_FAILING_ASSERTIONS
141 -gnatwb ^ /WARNINGS=BAD_FIXED_VALUES
142 -gnatwB ^ /WARNINGS=NO_BAD_FIXED_VALUES
143 -gnatw.b ^ /WARNINGS=BIASED_REPRESENTATION
144 -gnatw.B ^ /WARNINGS=NO_BIASED_REPRESENTATION
145 -gnatwc ^ /WARNINGS=CONDITIONALS
146 -gnatwC ^ /WARNINGS=NOCONDITIONALS
147 -gnatw.c ^ /WARNINGS=MISSING_COMPONENT_CLAUSES
148 -gnatw.C ^ /WARNINGS=NOMISSING_COMPONENT_CLAUSES
149 -gnatw.d ^ /WARNINGS=TAG_WARNINGS
150 -gnatw.D ^ /WARNINGS=NOTAG_WARNINGS
151 -gnatwd ^ /WARNINGS=IMPLICIT_DEREFERENCE
152 -gnatwD ^ /WARNINGS=NOIMPLICIT_DEREFERENCE
153 -gnatwe ^ /WARNINGS=ERRORS
154 -gnatw.e ^ /WARNINGS=EVERY
155 -gnatwf ^ /WARNINGS=UNREFERENCED_FORMALS
156 -gnatwF ^ /WARNINGS=NOUNREFERENCED_FORMALS
157 -gnatwg ^ /WARNINGS=UNRECOGNIZED_PRAGMAS
158 -gnatwG ^ /WARNINGS=NOUNRECOGNIZED_PRAGMAS
159 -gnatwh ^ /WARNINGS=HIDING
160 -gnatwH ^ /WARNINGS=NOHIDING
161 -gnatw.h ^ /WARNINGS=AVOIDGAPS
162 -gnatw.H ^ /WARNINGS=NOAVOIDGAPS
163 -gnatwi ^ /WARNINGS=IMPLEMENTATION
164 -gnatwI ^ /WARNINGS=NOIMPLEMENTATION
165 -gnatw.i ^ /WARNINGS=OVERLAPPING_ACTUALS
166 -gnatw.I ^ /WARNINGS=NOOVERLAPPING_ACTUALS
167 -gnatwj ^ /WARNINGS=OBSOLESCENT
168 -gnatwJ ^ /WARNINGS=NOOBSOLESCENT
169 -gnatwk ^ /WARNINGS=CONSTANT_VARIABLES
170 -gnatwK ^ /WARNINGS=NOCONSTANT_VARIABLES
171 -gnatw.k ^ /WARNINGS=STANDARD_REDEFINITION
172 -gnatw.K ^ /WARNINGS=NOSTANDARD_REDEFINITION
173 -gnatwl ^ /WARNINGS=ELABORATION
174 -gnatwL ^ /WARNINGS=NOELABORATION
175 -gnatwl ^ /WARNINGS=INHERITED_ASPECTS
176 -gnatwL ^ /WARNINGS=NOINHERITED_ASPECTS
177 -gnatwm ^ /WARNINGS=MODIFIED_UNREF
178 -gnatwM ^ /WARNINGS=NOMODIFIED_UNREF
179 -gnatw.m ^ /WARNINGS=SUSPICIOUS_MODULUES
180 -gnatw.M ^ /WARNINGS=NOSUSPICIOUS_MODULUES
181 -gnatwn ^ /WARNINGS=NORMAL
182 -gnatw.n ^ /WARNINGS=ATOMIC_SYNCHRONIZATION
183 -gnatw.N ^ /WARNINGS=NOATOMIC_SYNCHRONIZATION
184 -gnatwo ^ /WARNINGS=OVERLAYS
185 -gnatwO ^ /WARNINGS=NOOVERLAYS
186 -gnatw.o ^ /WARNINGS=OUT_PARAM_UNREF
187 -gnatw.O ^ /WARNINGS=NOOUT_PARAM_UNREF
188 -gnatwp ^ /WARNINGS=INEFFECTIVE_INLINE
189 -gnatwP ^ /WARNINGS=NOINEFFECTIVE_INLINE
190 -gnatw.p ^ /WARNINGS=PARAMETER_ORDER
191 -gnatw.P ^ /WARNINGS=NO_PARAMETER_ORDER
192 -gnatw.h ^ /WARNINGS=OVERRIDING_SIZE
193 -gnatw.H ^ /WARNINGS=NOOVERRIDING_SIZE
194 -gnatw.k ^ /WARNINGS=STANDARD_REDEFINITION
195 -gnatw.K ^ /WARNINGS=NOSTANDARD_REDEFINITION
196 -gnatwq ^ /WARNINGS=MISSING_PARENS
197 -gnatwQ ^ /WARNINGS=NOMISSING_PARENS
198 -gnatwr ^ /WARNINGS=REDUNDANT
199 -gnatwR ^ /WARNINGS=NOREDUNDANT
200 -gnatws ^ /WARNINGS=SUPPRESS
201 -gnatw.s ^ /WARNINGS=OVERRIDING_SIZE
202 -gnatw.S ^ /WARNINGS=NOOVERRIDING_SIZE
203 -gnatwt ^ /WARNINGS=DELETED_CODE
204 -gnatwT ^ /WARNINGS=NODELETED_CODE
205 -gnatw.t ^ /WARNINGS=SUSPICIOUS_CONTRACT
206 -gnatw.T ^ /WARNINGS=NOSUSPICIOUS_CONTRACT
207 -gnatwu ^ /WARNINGS=UNUSED
208 -gnatwU ^ /WARNINGS=NOUNUSED
209 -gnatw.u ^ /WARNINGS=UNORDERED_ENUMERATIONS
210 -gnatw.U ^ /WARNINGS=NOUNORDERED_ENUMERATIONS
211 -gnatwv ^ /WARNINGS=VARIABLES_UNINITIALIZED
212 -gnatwV ^ /WARNINGS=NOVARIABLES_UNINITIALIZED
213 -gnatw.v ^ /WARNINGS=REVERSE_BIT_ORDER
214 -gnatw.V ^ /WARNINGS=NOREVERSE_BIT_ORDER
215 -gnatww ^ /WARNINGS=LOWBOUND_ASSUMED
216 -gnatwW ^ /WARNINGS=NOLOWBOUND_ASSUMED
217 -gnatw.w ^ /WARNINGS=WARNINGS_OFF_PRAGMAS
218 -gnatw.W ^ /WARNINGS=NOWARNINGS_OFF_PRAGMAS
219 -gnatwx ^ /WARNINGS=IMPORT_EXPORT_PRAGMAS
220 -gnatwX ^ /WARNINGS=NOIMPORT_EXPORT_PRAGMAS
221 -gnatw.x ^ /WARNINGS=LOCAL_RAISE_HANDLING
222 -gnatw.X ^ /WARNINGS=NOLOCAL_RAISE_HANDLING
223 -gnatwy ^ /WARNINGS=ADA_COMPATIBILITY
224 -gnatwY ^ /WARNINGS=NOADA_COMPATIBILITY
225 -gnatw.y ^ /WARNINGS=WHY_SPEC_NEEDS_BODY
226 -gnatw.Y ^ /WARNINGS=NOWHY_SPEC_NEEDS_BODY
227 -gnatwz ^ /WARNINGS=UNCHECKED_CONVERSIONS
228 -gnatwZ ^ /WARNINGS=NOUNCHECKED_CONVERSIONS
229 -gnatw.z ^ /WARNINGS=SIZE_ALIGNMENT
230 -gnatw.Z ^ /WARNINGS=NOSIZE_ALIGNMENT
231 -gnatW8 ^ /WIDE_CHARACTER_ENCODING=UTF8
232 -gnatW? ^ /WIDE_CHARACTER_ENCODING=?
233 -gnaty ^ /STYLE_CHECKS
234 -gnatyO ^ /STYLE_CHECKS=OVERRIDING_INDICATORS
235 -gnatyy ^ /STYLE_CHECKS=ALL_BUILTIN
236 -gnatZ ^ /ZERO_COST_EXCEPTIONS
237 -gnatzc ^ /DISTRIBUTION_STUBS=CALLER
238 -gnatzr ^ /DISTRIBUTION_STUBS=RECEIVER
245 -gnatx ^ /XREF=SUPPRESS
246 -gnatX ^ /EXTENSIONS_ALLOWED
247 --RTS ^ /RUNTIME_SYSTEM
249 switches ^ qualifiers
251 Switches ^ Qualifiers
254 -bargs ^ /BINDER_QUALIFIERS
255 -cargs ^ /COMPILER_QUALIFIERS
256 -largs ^ /LINKER_QUALIFIERS
257 -margs ^ /MAKE_QUALIFIERS
258 -aIDIR ^ /SOURCE_SEARCH=direc
259 -aODIR ^ /OBJECT_SEARCH=direc
260 -IDIR ^ /SEARCH=direc
261 -nostdinc ^ /NOSTD_INCLUDES
262 -nostdlib ^ /NOSTD_LIBRARIES
263 -pFILE ^ /PROJECT=file
267 -O3 ^ /OPTIMIZE=INLINING
270 -Wall ^ /WARNINGS=ALL_GCC
271 -Wuninitialized ^ /WARNINGS=UNINITIALIZED