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 -gnatec ^ /CONFIGURATION_PRAGMAS_FILE
62 -gnateE ^ /EXTRA_EXCEPTION_INFORMATION
63 -gnateD ^ /SYMBOL_PREPROCESSING
64 -gnatef ^ /FULL_PATH_IN_BRIEF_MESSAGES
65 -gnateG ^ /GENERATE_PROCESSED_SOURCE
66 -gnatem ^ /MAPPING_FILE
67 -gnatep ^ /DATA_PREPROCESSING
69 -gnatE ^ /CHECKS=ELABORATION
70 -gnatf ^ /REPORT_ERRORS=FULL
71 -gnatF ^ /UPPERCASE_EXTERNALS
72 -gnatg ^ /STYLE_CHECKS=GNAT
73 -gnatG ^ /EXPAND_SOURCE
74 -gnatk ^ /FILE_NAME_MAX_LENGTH
76 -gnatL ^ /LONGJMP_SETJMP
77 -gnatj ^ /JUSTIFY_MESSAGES
78 -gnatj0 ^ /NO_JUSTIFY_MESSAGES
79 -gnatjnn ^ /JUSTIFY_MESSAGES=nn
80 -gnatL ^ /INTERSPERSE_SOURCE
82 -gnatm2 ^ /ERROR_LIMIT=2
83 -gnatn ^ /INLINE=PRAGMA
85 -gnato ^ /CHECKS=OVERFLOW
86 -gnatp ^ /CHECKS=SUPPRESS_ALL
87 -gnat-p ^ /CHECKS=UNSUPPRESS_ALL
89 -gnatR ^ /REPRESENTATION_INFO
90 -gnatR0 ^ /REPRESENTATION_INFO=NONE
91 -gnatR1 ^ /REPRESENTATION_INFO=ARRAYS
92 -gnatR2 ^ /REPRESENTATION_INFO=OBJECTS
93 -gnatR3 ^ /REPRESENTATION_INFO=SYMBOLIC
94 -gnatq ^ /TRY_SEMANTICS
96 -gnatr ^ /TREAT_RESTRICTIONS_AS_WARNINGS
98 -gnatS ^ /PRINT_STANDARD
101 -gnatU ^ /UNIQUE_ERROR_TAG
102 -gnatv ^ /REPORT_ERRORS=VERBOSE
103 -gnatV ^ /VALIDITY_CHECKING
104 -gnatVa ^ /VALIDITY_CHECKING=ALL
105 -gnatVc ^ /VALIDITY_CHECKING=COPIES
106 -gnatVd ^ /VALIDITY_CHECKING=DEFAULT
107 -gnatVE ^ /VALIDITY_CHECKING=NOCOMPONENTS
108 -gnatVe ^ /VALIDITY_CHECKING=COMPONENTS
109 -gnatVD ^ /VALIDITY_CHECKING=NODEFAULT
110 -gnatVf ^ /VALIDITY_CHECKING=FLOATS
111 -gnatVi ^ /VALIDITY_CHECKING=IN_PARAMS
112 -gnatVm ^ /VALIDITY_CHECKING=MOD_PARAMS
113 -gnatVn ^ /VALIDITY_CHECKING=NONE
114 -gnatVo ^ /VALIDITY_CHECKING=OPERANDS
115 -gnatVp ^ /VALIDITY_CHECKING=PARAMETERS
116 -gnatVr ^ /VALIDITY_CHECKING=RETURNS
117 -gnatVs ^ /VALIDITY_CHECKING=SUBSCRIPTS
118 -gnatVt ^ /VALIDITY_CHECKING=TESTS
120 -gnatwa ^ /WARNINGS=OPTIONAL
121 -gnatwA ^ /WARNINGS=NOOPTIONAL
122 -gnatw.a ^ /WARNINGS=FAILING_ASSERTIONS
123 -gnatw.A ^ /WARNINGS=NO_FAILING_ASSERTIONS
124 -gnatwb ^ /WARNINGS=BAD_FIXED_VALUES
125 -gnatwB ^ /WARNINGS=NO_BAD_FIXED_VALUES
126 -gnatw.b ^ /WARNINGS=BIASED_REPRESENTATION
127 -gnatw.B ^ /WARNINGS=NO_BIASED_REPRESENTATION
128 -gnatwc ^ /WARNINGS=CONDITIONALS
129 -gnatwC ^ /WARNINGS=NOCONDITIONALS
130 -gnatw.c ^ /WARNINGS=MISSING_COMPONENT_CLAUSES
131 -gnatw.C ^ /WARNINGS=NOMISSING_COMPONENT_CLAUSES
132 -gnatwd ^ /WARNINGS=IMPLICIT_DEREFERENCE
133 -gnatwD ^ /WARNINGS=NOIMPLICIT_DEREFERENCE
134 -gnatwe ^ /WARNINGS=ERRORS
135 -gnatw.e ^ /WARNINGS=EVERY
136 -gnatwf ^ /WARNINGS=UNREFERENCED_FORMALS
137 -gnatwF ^ /WARNINGS=NOUNREFERENCED_FORMALS
138 -gnatwg ^ /WARNINGS=UNRECOGNIZED_PRAGMAS
139 -gnatwG ^ /WARNINGS=NOUNRECOGNIZED_PRAGMAS
140 -gnatwh ^ /WARNINGS=HIDING
141 -gnatwH ^ /WARNINGS=NOHIDING
142 -gnatw.h ^ /WARNINGS=AVOIDGAPS
143 -gnatw.H ^ /WARNINGS=NOAVOIDGAPS
144 -gnatwi ^ /WARNINGS=IMPLEMENTATION
145 -gnatwI ^ /WARNINGS=NOIMPLEMENTATION
146 -gnatwj ^ /WARNINGS=OBSOLESCENT
147 -gnatwJ ^ /WARNINGS=NOOBSOLESCENT
148 -gnatwk ^ /WARNINGS=CONSTANT_VARIABLES
149 -gnatwK ^ /WARNINGS=NOCONSTANT_VARIABLES
150 -gnatwl ^ /WARNINGS=ELABORATION
151 -gnatwL ^ /WARNINGS=NOELABORATION
152 -gnatwm ^ /WARNINGS=MODIFIED_UNREF
153 -gnatwM ^ /WARNINGS=NOMODIFIED_UNREF
154 -gnatw.m ^ /WARNINGS=SUSPICIOUS_MODULUES
155 -gnatw.M ^ /WARNINGS=NOSUSPICIOUS_MODULUES
156 -gnatwn ^ /WARNINGS=NORMAL
157 -gnatwo ^ /WARNINGS=OVERLAYS
158 -gnatwO ^ /WARNINGS=NOOVERLAYS
159 -gnatw.o ^ /WARNINGS=OUT_PARAM_UNREF
160 -gnatw.O ^ /WARNINGS=NOOUT_PARAM_UNREF
161 -gnatwp ^ /WARNINGS=INEFFECTIVE_INLINE
162 -gnatwP ^ /WARNINGS=NOINEFFECTIVE_INLINE
163 -gnatw.p ^ /WARNINGS=PARAMETER_ORDER
164 -gnatw.P ^ /WARNINGS=NO_PARAMETER_ORDER
165 -gnatw.h ^ /WARNINGS=OVERRIDING_SIZE
166 -gnatw.H ^ /WARNINGS=NOOVERRIDING_SIZE
167 -gnatwq ^ /WARNINGS=MISSING_PARENS
168 -gnatwQ ^ /WARNINGS=NOMISSING_PARENS
169 -gnatwr ^ /WARNINGS=REDUNDANT
170 -gnatwR ^ /WARNINGS=NOREDUNDANT
171 -gnatws ^ /WARNINGS=SUPPRESS
172 -gnatwt ^ /WARNINGS=DELETED_CODE
173 -gnatwT ^ /WARNINGS=NODELETED_CODE
174 -gnatwu ^ /WARNINGS=UNUSED
175 -gnatwU ^ /WARNINGS=NOUNUSED
176 -gnatw.u ^ /WARNINGS=UNORDERED_ENUMERATIONS
177 -gnatw.U ^ /WARNINGS=NOUNORDERED_ENUMERATIONS
178 -gnatwv ^ /WARNINGS=VARIABLES_UNINITIALIZED
179 -gnatwV ^ /WARNINGS=NOVARIABLES_UNINITIALIZED
180 -gnatww ^ /WARNINGS=LOWBOUND_ASSUMED
181 -gnatwW ^ /WARNINGS=NOLOWBOUND_ASSUMED
182 -gnatw.w ^ /WARNINGS=WARNINGS_OFF_PRAGMAS
183 -gnatw.W ^ /WARNINGS=NOWARNINGS_OFF_PRAGMAS
184 -gnatwx ^ /WARNINGS=IMPORT_EXPORT_PRAGMAS
185 -gnatwX ^ /WARNINGS=NOIMPORT_EXPORT_PRAGMAS
186 -gnatw.x ^ /WARNINGS=LOCAL_RAISE_HANDLING
187 -gnatw.X ^ /WARNINGS=NOLOCAL_RAISE_HANDLING
188 -gnatwy ^ /WARNINGS=ADA_2005_COMPATIBILITY
189 -gnatwY ^ /WARNINGS=NOADA_2005_COMPATIBILITY
190 -gnatwz ^ /WARNINGS=UNCHECKED_CONVERSIONS
191 -gnatwZ ^ /WARNINGS=NOUNCHECKED_CONVERSIONS
192 -gnatW8 ^ /WIDE_CHARACTER_ENCODING=UTF8
193 -gnatW? ^ /WIDE_CHARACTER_ENCODING=?
194 -gnaty ^ /STYLE_CHECKS
195 -gnatyO ^ /STYLE_CHECKS=OVERRIDING_INDICATORS
196 -gnatyy ^ /STYLE_CHECKS=ALL_BUILTIN
197 -gnatZ ^ /ZERO_COST_EXCEPTIONS
198 -gnatzc ^ /DISTRIBUTION_STUBS=CALLER
199 -gnatzr ^ /DISTRIBUTION_STUBS=RECEIVER
206 -gnatx ^ /XREF=SUPPRESS
207 -gnatX ^ /EXTENSIONS_ALLOWED
208 --RTS ^ /RUNTIME_SYSTEM
210 switches ^ qualifiers
212 Switches ^ Qualifiers
215 -bargs ^ /BINDER_QUALIFIERS
216 -cargs ^ /COMPILER_QUALIFIERS
217 -largs ^ /LINKER_QUALIFIERS
218 -margs ^ /MAKE_QUALIFIERS
219 -aIDIR ^ /SOURCE_SEARCH=direc
220 -aODIR ^ /OBJECT_SEARCH=direc
221 -IDIR ^ /SEARCH=direc
222 -nostdinc ^ /NOSTD_INCLUDES
223 -nostdlib ^ /NOSTD_LIBRARIES
224 -pFILE ^ /PROJECT=file
228 -O3 ^ /OPTIMIZE=INLINING