/gcc/testsuite/gnat.dg/specs/
../
abstract_limited.ads
abstract_private.ads
access3.ads
access_constant.ads
access_constant_decl.ads
addr1.ads
aggr1.ads
aggr2.ads
aggr3.ads
aggr3_pkg.ads
aggr4.ads
aggr4_pkg.ads
aggr5.ads
aggr6.ads
ai_116.ads
alignment1.ads
alignment2.ads
array1.ads
array2.ads
array3.ads
array_no_def_init.ads
atomic1.ads
atomic2.ads
attribute_parsing.ads
box1.ads
clause_on_volatile.ads
concat1.ads
concat1_pkg.ads
cond_expr1.ads
constant1.ads
constant1_pkg.ads
constructor.ads
controlled1.ads
controlled1_pkg.ads
controller.ads
corr_discr.ads
cpp1.ads
cpp_assignment.ads
debug1.ads
delta_small.ads
discr1.ads
discr1_pkg.ads
discr_private.ads
discr_record_constant.ads
double_record_extension1.ads
double_record_extension2.ads
elab1.ads
elab2.ads
elab2_pkg.ads
elab3.ads
empty_variants.ads
fe_inlining.ads
fe_inlining_helper.adb
fe_inlining_helper.ads
formal_type.ads
gen_interface.ads
gen_interface_p.ads
genericppc.ads
gnati.ads
iface_eq_test-child.ads
iface_eq_test.ads
import_abstract.ads
integer_value.ads
interface5.ads
last_bit.ads
limited1.ads
limited_with4.ads
limited_with4_pkg.ads
linker_alias.ads
linker_section.ads
loop_optimization1.ads
loop_optimization1_pkg.adb
loop_optimization1_pkg.ads
lto12.ads
lto12_pkg.ads
lto3.ads
lto3_pkg1.adb
lto3_pkg1.ads
lto3_pkg2.adb
lto3_pkg2.ads
machine_attribute.ads
no_streams.ads
noinline1.ads
noinline3.ads
noinline3_pkg.adb
noinline3_pkg.ads
null_aggr_bug.ads
oconst6.ads
opt1.ads
opt2.ads
oversize.ads
pack10.ads
pack10_pkg.adb
pack10_pkg.ads
pack11.ads
pack12.ads
pack2.ads
pack3.ads
pack33.ads
pack3_pkg.ads
pack4.ads
pack5.ads
pack6.ads
pack6_pkg.ads
pack7.ads
pack8.ads
pack8_pkg.ads
pack9.ads
preelab.ads
private1-sub.ads
private1.ads
private2.ads
private2_pkg.ads
private_with.ads
renaming1.ads
renaming2.ads
renaming2_pkg1.ads
renaming2_pkg2.ads
renaming2_pkg3.ads
renaming2_pkg4.adb
renaming2_pkg4.ads
rep_clause1.ads
rep_clause2.ads
rep_clause3.ads
rep_clause4.ads
restricted_pkg.ads
root-level_1-level_2.ads
root-level_1.ads
root-level_2.ads
root.ads
self_class.ads
size_attribute1.ads
size_attribute1_pkg1.adb
size_attribute1_pkg1.ads
size_attribute1_pkg2.adb
size_attribute1_pkg2.ads
size_clause1.ads
size_clause2.ads
size_clause3.ads
small_alignment.ads
specs.exp
static_initializer.ads
static_initializer2.ads
static_initializer3.ads
static_initializer4.ads
static_initializer5.ads
static_initializer5_pkg.ads
storage.ads
sync_iface_test.ads
tag1.ads
tag2.ads
uc1.ads
unchecked_union1.ads
unchecked_union2.ads
universal_fixed.ads
variant_part.ads
varsize_return.ads
varsize_return_pkg1.adb
varsize_return_pkg1.ads
varsize_return_pkg2.adb
varsize_return_pkg2.ads
volatile1.ads
warnstar.ads
weak1.ads
with_containers.ads