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
60 -gnatec ^ /CONFIGURATION_PRAGMAS_FILE
61 -gnateD ^ /SYMBOL_PREPROCESSING
62 -gnatef ^ /FULL_PATH_IN_BRIEF_MESSAGES
63 -gnatem ^ /MAPPING_FILE
64 -gnatep ^ /DATA_PREPROCESSING
65 -gnatE ^ /CHECKS=ELABORATION
66 -gnatf ^ /REPORT_ERRORS=FULL
67 -gnatF ^ /UPPERCASE_EXTERNALS
68 -gnatg ^ /STYLE_CHECKS=GNAT
69 -gnatG ^ /EXPAND_SOURCE
70 -gnatk ^ /FILE_NAME_MAX_LENGTH
72 -gnatL ^ /LONGJMP_SETJMP
74 -gnatm2 ^ /ERROR_LIMIT=2
75 -gnatn ^ /INLINE=PRAGMA
77 -gnato ^ /CHECKS=OVERFLOW
78 -gnatp ^ /CHECKS=SUPPRESS_ALL
80 -gnatR ^ /REPRESENTATION_INFO
81 -gnatR0 ^ /REPRESENTATION_INFO=NONE
82 -gnatR1 ^ /REPRESENTATION_INFO=ARRAYS
83 -gnatR2 ^ /REPRESENTATION_INFO=OBJECTS
84 -gnatR3 ^ /REPRESENTATION_INFO=SYMBOLIC
85 -gnatq ^ /TRY_SEMANTICS
88 -gnatS ^ /PRINT_STANDARD
91 -gnatU ^ /UNIQUE_ERROR_TAG
92 -gnatv ^ /REPORT_ERRORS=VERBOSE
93 -gnatV ^ /VALIDITY_CHECKING
94 -gnatVa ^ /VALIDITY_CHECKING=ALL
95 -gnatVc ^ /VALIDITY_CHECKING=COPIES
96 -gnatVd ^ /VALIDITY_CHECKING=DEFAULT
97 -gnatVD ^ /VALIDITY_CHECKING=NODEFAULT
98 -gnatVf ^ /VALIDITY_CHECKING=FLOATS
99 -gnatVi ^ /VALIDITY_CHECKING=IN_PARAMS
100 -gnatVm ^ /VALIDITY_CHECKING=MOD_PARAMS
101 -gnatVn ^ /VALIDITY_CHECKING=NONE
102 -gnatVo ^ /VALIDITY_CHECKING=OPERANDS
103 -gnatVp ^ /VALIDITY_CHECKING=PARAMETERS
104 -gnatVr ^ /VALIDITY_CHECKING=RETURNS
105 -gnatVs ^ /VALIDITY_CHECKING=SUBSCRIPTS
106 -gnatVt ^ /VALIDITY_CHECKING=TESTS
108 -gnatwa ^ /WARNINGS=OPTIONAL
109 -gnatwA ^ /WARNINGS=NOOPTIONAL
110 -gnatwb ^ /WARNINGS=BAD_FIXED_VALUES
111 -gnatwB ^ /WARNINGS=NO_BAD_FIXED_VALUES
112 -gnatwc ^ /WARNINGS=CONDITIONALS
113 -gnatwC ^ /WARNINGS=NOCONDITIONALS
114 -gnatwd ^ /WARNINGS=IMPLICIT_DEREFERENCE
115 -gnatwD ^ /WARNINGS=NOIMPLICIT_DEREFERENCE
116 -gnatwe ^ /WARNINGS=ERRORS
117 -gnatwf ^ /WARNINGS=UNREFERENCED_FORMALS
118 -gnatwF ^ /WARNINGS=NOUNREFERENCED_FORMALS
119 -gnatwg ^ /WARNINGS=UNRECOGNIZED_PRAGMAS
120 -gnatwG ^ /WARNINGS=NOUNRECOGNIZED_PRAGMAS
121 -gnatwh ^ /WARNINGS=HIDING
122 -gnatwH ^ /WARNINGS=NOHIDING
123 -gnatwi ^ /WARNINGS=IMPLEMENTATION
124 -gnatwI ^ /WARNINGS=NOIMPLEMENTATION
125 -gnatwj ^ /WARNINGS=OBSOLESCENT
126 -gnatwJ ^ /WARNINGS=NOOBSOLESCENT
127 -gnatwk ^ /WARNINGS=CONSTANT_VARIABLES
128 -gnatwK ^ /WARNINGS=NOCONSTANT_VARIABLES
129 -gnatwl ^ /WARNINGS=ELABORATION
130 -gnatwL ^ /WARNINGS=NOELABORATION
131 -gnatwm ^ /WARNINGS=MODIFIED_UNREF
132 -gnatwM ^ /WARNINGS=NOMODIFIED_UNREF
133 -gnatwn ^ /WARNINGS=NORMAL
134 -gnatwo ^ /WARNINGS=OVERLAYS
135 -gnatwO ^ /WARNINGS=NOOVERLAYS
136 -gnatwp ^ /WARNINGS=INEFFECTIVE_INLINE
137 -gnatwP ^ /WARNINGS=NOINEFFECTIVE_INLINE
138 -gnatwr ^ /WARNINGS=REDUNDANT
139 -gnatwR ^ /WARNINGS=NOREDUNDANT
140 -gnatws ^ /WARNINGS=SUPPRESS
141 -gnatwu ^ /WARNINGS=UNUSED
142 -gnatwU ^ /WARNINGS=NOUNUSED
143 -gnatwv ^ /WARNINGS=VARIABLES_UNINITIALIZED
144 -gnatwV ^ /WARNINGS=NOVARIABLES_UNINITIALIZED
145 -gnatwx ^ /WARNINGS=IMPORT_EXPORT_PRAGMAS
146 -gnatwX ^ /WARNINGS=NOIMPORT_EXPORT_PRAGMAS
147 -gnatwy ^ /WARNINGS=ADA_2005_COMPATIBILITY
148 -gnatwY ^ /WARNINGS=NOADA_2005_COMPATIBILITY
149 -gnatwz ^ /WARNINGS=UNCHECKED_CONVERSIONS
150 -gnatwZ ^ /WARNINGS=NOUNCHECKED_CONVERSIONS
151 -gnatW8 ^ /WIDE_CHARACTER_ENCODING=UTF8
152 -gnatW? ^ /WIDE_CHARACTER_ENCODING=?
153 -gnaty ^ /STYLE_CHECKS
154 -gnatZ ^ /ZERO_COST_EXCEPTIONS
155 -gnatzc ^ /DISTRIBUTION_STUBS=CALLER
156 -gnatzr ^ /DISTRIBUTION_STUBS=RECEIVER
160 -gnatx ^ /XREF=SUPPRESS
161 -gnatX ^ /EXTENSIONS_ALLOWED
162 --RTS ^ /RUNTIME_SYSTEM
164 switches ^ qualifiers
166 Switches ^ Qualifiers
169 -bargs ^ /BINDER_QUALIFIERS
170 -cargs ^ /COMPILER_QUALIFIERS
171 -largs ^ /LINKER_QUALIFIERS
172 -margs ^ /MAKE_QUALIFIERS
173 -aIDIR ^ /SOURCE_SEARCH=direc
174 -aODIR ^ /OBJECT_SEARCH=direc
175 -IDIR ^ /SEARCH=direc
176 -nostdinc ^ /NOSTD_INCLUDES
177 -nostdlib ^ /NOSTD_LIBRARIES
178 -pFILE ^ /PROJECT=file
182 -O3 ^ /OPTIMIZE=INLINING