|
Up
|
|
|
|
|
abstract_limited.ads
|
|
|
|
|
abstract_private.ads
|
|
|
|
|
access1.ads
|
|
|
|
|
access2.ads
|
|
|
|
|
access3.ads
|
|
|
|
|
access_constant.ads
|
|
|
|
|
access_constant_decl.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
|
|
|
|
|
array4.ads
|
|
|
|
|
array5.ads
|
|
|
|
|
array5_pkg1.ads
|
|
|
|
|
array5_pkg2-g.ads
|
|
|
|
|
array5_pkg2.ads
|
|
|
|
|
array_no_def_init.ads
|
|
|
|
|
atomic1.ads
|
|
|
|
|
atomic2.ads
|
|
|
|
|
atomic3.ads
|
|
|
|
|
attribute_parsing.ads
|
|
|
|
|
box1.ads
|
|
|
|
|
clause_on_volatile.ads
|
|
|
|
|
compile_time1.ads
|
|
|
|
|
compile_time1_pkg.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
|
|
|
|
|
coverage1.ads
|
|
|
|
|
cpp1.ads
|
|
|
|
|
cpp_assignment.ads
|
|
|
|
|
debug1.ads
|
|
|
|
|
delta_small.ads
|
|
|
|
|
discr1.ads
|
|
|
|
|
discr1_pkg.ads
|
|
|
|
|
discr2.ads
|
|
|
|
|
discr3.ads
|
|
|
|
|
discr4.ads
|
|
|
|
|
discr4_pkg.ads
|
|
|
|
|
discr5.ads
|
|
|
|
|
discr6.ads
|
|
|
|
|
discr7.ads
|
|
|
|
|
double_record_extension1.ads
|
|
|
|
|
double_record_extension2.ads
|
|
|
|
|
double_record_extension3.ads
|
|
|
|
|
elab1.ads
|
|
|
|
|
elab2.ads
|
|
|
|
|
elab2_pkg.ads
|
|
|
|
|
elab3.ads
|
|
|
|
|
elab4.ads
|
|
|
|
|
elab4_proc.adb
|
|
|
|
|
elab4_proc.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
|
|
|
|
|
lto25.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
|
|
|
|
|
not_null1.ads
|
|
|
|
|
null_aggr_bug.ads
|
|
|
|
|
oconst6.ads
|
|
|
|
|
opt1.ads
|
|
|
|
|
opt2.ads
|
|
|
|
|
opt3.ads
|
|
|
|
|
opt3_pkg.ads
|
|
|
|
|
opt4.ads
|
|
|
|
|
opt5.ads
|
|
|
|
|
opt5_pkg.ads
|
|
|
|
|
oversize.ads
|
|
|
|
|
pack10.ads
|
|
|
|
|
pack10_pkg.adb
|
|
|
|
|
pack10_pkg.ads
|
|
|
|
|
pack11.ads
|
|
|
|
|
pack12.ads
|
|
|
|
|
pack13.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
|
|
|
|
|
rep_clause5.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
|
|
|
|
|
size_clause4.ads
|
|
|
|
|
size_clause5.ads
|
|
|
|
|
small_alignment.ads
|
|
|
|
|
specs.exp
|
|
|
|
|
sso1.ads
|
|
|
|
|
sso2.ads
|
|
|
|
|
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
|
|
|
|
|
task1.ads
|
|
|
|
|
uc1.ads
|
|
|
|
|
uc2.ads
|
|
|
|
|
unchecked_convert1.ads
|
|
|
|
|
unchecked_convert2.ads
|
|
|
|
|
unchecked_union1.ads
|
|
|
|
|
unchecked_union2.ads
|
|
|
|
|
universal_fixed.ads
|
|
|
|
|
variant_part.ads
|
|
|
|
|
varsize_return.ads
|
|
|
|
|
varsize_return2.ads
|
|
|
|
|
varsize_return2_pkg.adb
|
|
|
|
|
varsize_return2_pkg.ads
|
|
|
|
|
varsize_return_pkg1.adb
|
|
|
|
|
varsize_return_pkg1.ads
|
|
|
|
|
varsize_return_pkg2.adb
|
|
|
|
|
varsize_return_pkg2.ads
|
|
|
|
|
vfa1.ads
|
|
|
|
|
vfa2.ads
|
|
|
|
|
volatile1.ads
|
|
|
|
|
warnstar.ads
|
|
|
|
|
weak1.ads
|
|
|
|
|
with_containers.ads
|
|
|
|