13 gnatcheck ^ GNAT CHECK
14 Gnatcheck ^ GNAT CHECK
17 gnatclean ^ GNAT CLEAN
18 Gnatclean ^ GNAT CLEAN
27 gnatlbr ^ GNAT LIBRARY
28 Gnatlbr ^ GNAT LIBRARY
35 gnatmetric ^ GNAT METRIC
36 Gnatmetric ^ GNAT METRIC
41 gnatprep ^ GNAT PREPROCESS
42 Gnatprep ^ GNAT PREPROCESS
49 -fno-inline ^ /INLINE=SUPPRESS
50 -fstack-check ^ /CHECKS=STACK
51 -fno-strict-aliasing ^ /OPTIMIZE=NO_STRICT_ALIASING
52 -gnata ^ /CHECKS=ASSERTIONS
54 -gnatb ^ /REPORT_ERRORS=BRIEF
56 -gnatdc ^ /TRACE_UNITS
57 -gnatdO ^ /REPORT_ERRORS=IMMEDIATE
58 -gnatC ^ /COMPRESS_NAMES
59 -gnatDG ^ /XDEBUG /EXPAND_SOURCEA
61 -gnatec ^ /CONFIGURATION_PRAGMAS_FILE
62 -gnateD ^ /SYMBOL_PREPROCESSING
63 -gnatef ^ /FULL_PATH_IN_BRIEF_MESSAGES
64 -gnateG ^ /GENERATE_PROCESSED_SOURCE
65 -gnatem ^ /MAPPING_FILE
66 -gnatep ^ /DATA_PREPROCESSING
67 -gnatE ^ /CHECKS=ELABORATION
68 -gnatf ^ /REPORT_ERRORS=FULL
69 -gnatF ^ /UPPERCASE_EXTERNALS
70 -gnatg ^ /STYLE_CHECKS=GNAT
71 -gnatG ^ /EXPAND_SOURCE
72 -gnatk ^ /FILE_NAME_MAX_LENGTH
74 -gnatL ^ /LONGJMP_SETJMP
75 -gnatj ^ /JUSTIFY_MESSAGES
76 -gnatj0 ^ /NO_JUSTIFY_MESSAGES
77 -gnatjnn ^ /JUSTIFY_MESSAGES=nn
78 -gnatL ^ /INTERSPERSE_SOURCE
80 -gnatm2 ^ /ERROR_LIMIT=2
81 -gnatn ^ /INLINE=PRAGMA
83 -gnato ^ /CHECKS=OVERFLOW
84 -gnatp ^ /CHECKS=SUPPRESS_ALL
86 -gnatR ^ /REPRESENTATION_INFO
87 -gnatR0 ^ /REPRESENTATION_INFO=NONE
88 -gnatR1 ^ /REPRESENTATION_INFO=ARRAYS
89 -gnatR2 ^ /REPRESENTATION_INFO=OBJECTS
90 -gnatR3 ^ /REPRESENTATION_INFO=SYMBOLIC
91 -gnatq ^ /TRY_SEMANTICS
93 -gnatr ^ /TREAT_RESTRICTIONS_AS_WARNINGS
95 -gnatS ^ /PRINT_STANDARD
98 -gnatU ^ /UNIQUE_ERROR_TAG
99 -gnatv ^ /REPORT_ERRORS=VERBOSE
100 -gnatV ^ /VALIDITY_CHECKING
101 -gnatVa ^ /VALIDITY_CHECKING=ALL
102 -gnatVc ^ /VALIDITY_CHECKING=COPIES
103 -gnatVd ^ /VALIDITY_CHECKING=DEFAULT
104 -gnatVE ^ /VALIDITY_CHECKING=NOCOMPONENTS
105 -gnatVe ^ /VALIDITY_CHECKING=COMPONENTS
106 -gnatVD ^ /VALIDITY_CHECKING=NODEFAULT
107 -gnatVf ^ /VALIDITY_CHECKING=FLOATS
108 -gnatVi ^ /VALIDITY_CHECKING=IN_PARAMS
109 -gnatVm ^ /VALIDITY_CHECKING=MOD_PARAMS
110 -gnatVn ^ /VALIDITY_CHECKING=NONE
111 -gnatVo ^ /VALIDITY_CHECKING=OPERANDS
112 -gnatVp ^ /VALIDITY_CHECKING=PARAMETERS
113 -gnatVr ^ /VALIDITY_CHECKING=RETURNS
114 -gnatVs ^ /VALIDITY_CHECKING=SUBSCRIPTS
115 -gnatVt ^ /VALIDITY_CHECKING=TESTS
117 -gnatwa ^ /WARNINGS=OPTIONAL
118 -gnatwA ^ /WARNINGS=NOOPTIONAL
119 -gnatw.a ^ /WARNINGS=FAILING_ASSERTIONS
120 -gnatw.A ^ /WARNINGS=NO_FAILING_ASSERTIONS
121 -gnatwb ^ /WARNINGS=BAD_FIXED_VALUES
122 -gnatwB ^ /WARNINGS=NO_BAD_FIXED_VALUES
123 -gnatwc ^ /WARNINGS=CONDITIONALS
124 -gnatwC ^ /WARNINGS=NOCONDITIONALS
125 -gnatw.c ^ /WARNINGS=MISSING_COMPONENT_CLAUSES
126 -gnatw.C ^ /WARNINGS=NOMISSING_COMPONENT_CLAUSES
127 -gnatwd ^ /WARNINGS=IMPLICIT_DEREFERENCE
128 -gnatwD ^ /WARNINGS=NOIMPLICIT_DEREFERENCE
129 -gnatwe ^ /WARNINGS=ERRORS
130 -gnatw.e ^ /WARNINGS=EVERY
131 -gnatwf ^ /WARNINGS=UNREFERENCED_FORMALS
132 -gnatwF ^ /WARNINGS=NOUNREFERENCED_FORMALS
133 -gnatwg ^ /WARNINGS=UNRECOGNIZED_PRAGMAS
134 -gnatwG ^ /WARNINGS=NOUNRECOGNIZED_PRAGMAS
135 -gnatwh ^ /WARNINGS=HIDING
136 -gnatwH ^ /WARNINGS=NOHIDING
137 -gnatwi ^ /WARNINGS=IMPLEMENTATION
138 -gnatwI ^ /WARNINGS=NOIMPLEMENTATION
139 -gnatwj ^ /WARNINGS=OBSOLESCENT
140 -gnatwJ ^ /WARNINGS=NOOBSOLESCENT
141 -gnatwk ^ /WARNINGS=CONSTANT_VARIABLES
142 -gnatwK ^ /WARNINGS=NOCONSTANT_VARIABLES
143 -gnatwl ^ /WARNINGS=ELABORATION
144 -gnatwL ^ /WARNINGS=NOELABORATION
145 -gnatwm ^ /WARNINGS=MODIFIED_UNREF
146 -gnatwM ^ /WARNINGS=NOMODIFIED_UNREF
147 -gnatwn ^ /WARNINGS=NORMAL
148 -gnatwo ^ /WARNINGS=OVERLAYS
149 -gnatwO ^ /WARNINGS=NOOVERLAYS
150 -gnatw.o ^ /WARNINGS=OUT_PARAM_UNREF
151 -gnatw.O ^ /WARNINGS=NOOUT_PARAM_UNREF
152 -gnatwp ^ /WARNINGS=INEFFECTIVE_INLINE
153 -gnatwP ^ /WARNINGS=NOINEFFECTIVE_INLINE
154 -gnatw.p ^ /WARNINGS=PARAMETER_ORDER
155 -gnatw.P ^ /WARNINGS=NO_PARAMETER_ORDER
156 -gnatwq ^ /WARNINGS=MISSING_PARENS
157 -gnatwQ ^ /WARNINGS=NOMISSING_PARENS
158 -gnatwr ^ /WARNINGS=REDUNDANT
159 -gnatwR ^ /WARNINGS=NOREDUNDANT
160 -gnatws ^ /WARNINGS=SUPPRESS
161 -gnatwt ^ /WARNINGS=DELETED_CODE
162 -gnatwT ^ /WARNINGS=NODELETED_CODE
163 -gnatwu ^ /WARNINGS=UNUSED
164 -gnatwU ^ /WARNINGS=NOUNUSED
165 -gnatwv ^ /WARNINGS=VARIABLES_UNINITIALIZED
166 -gnatwV ^ /WARNINGS=NOVARIABLES_UNINITIALIZED
167 -gnatww ^ /WARNINGS=LOWBOUND_ASSUMED
168 -gnatwW ^ /WARNINGS=NOLOWBOUND_ASSUMED
169 -gnatw.w ^ /WARNINGS=WARNINGS_OFF_PRAGMAS
170 -gnatw.W ^ /WARNINGS=NOWARNINGS_OFF_PRAGMAS
171 -gnatwx ^ /WARNINGS=IMPORT_EXPORT_PRAGMAS
172 -gnatwX ^ /WARNINGS=NOIMPORT_EXPORT_PRAGMAS
173 -gnatw.x ^ /WARNINGS=LOCAL_RAISE_HANDLING
174 -gnatw.X ^ /WARNINGS=NOLOCAL_RAISE_HANDLING
175 -gnatwy ^ /WARNINGS=ADA_2005_COMPATIBILITY
176 -gnatwY ^ /WARNINGS=NOADA_2005_COMPATIBILITY
177 -gnatwz ^ /WARNINGS=UNCHECKED_CONVERSIONS
178 -gnatwZ ^ /WARNINGS=NOUNCHECKED_CONVERSIONS
179 -gnatW8 ^ /WIDE_CHARACTER_ENCODING=UTF8
180 -gnatW? ^ /WIDE_CHARACTER_ENCODING=?
181 -gnaty ^ /STYLE_CHECKS
182 -gnatyy ^ /STYLE_CHECKS=ALL_BUILTIN
183 -gnatZ ^ /ZERO_COST_EXCEPTIONS
184 -gnatzc ^ /DISTRIBUTION_STUBS=CALLER
185 -gnatzr ^ /DISTRIBUTION_STUBS=RECEIVER
189 -gnatx ^ /XREF=SUPPRESS
190 -gnatX ^ /EXTENSIONS_ALLOWED
191 --RTS ^ /RUNTIME_SYSTEM
193 switches ^ qualifiers
195 Switches ^ Qualifiers
198 -bargs ^ /BINDER_QUALIFIERS
199 -cargs ^ /COMPILER_QUALIFIERS
200 -largs ^ /LINKER_QUALIFIERS
201 -margs ^ /MAKE_QUALIFIERS
202 -aIDIR ^ /SOURCE_SEARCH=direc
203 -aODIR ^ /OBJECT_SEARCH=direc
204 -IDIR ^ /SEARCH=direc
205 -nostdinc ^ /NOSTD_INCLUDES
206 -nostdlib ^ /NOSTD_LIBRARIES
207 -pFILE ^ /PROJECT=file
211 -O3 ^ /OPTIMIZE=INLINING