/gcc/testsuite/gnat.dg/specs/

• ../
• abstract_limited.ads
• abstract_private.ads
• access3.ads
• access_constant.ads
• access_constant_decl.ads
• addr1.ads
• aggr1.ads
• ai_116.ads
• alignment1.ads
• alignment2.ads
• array_no_def_init.ads
• attribute_parsing.ads
• box1.ads
• constant1.ads
• constant1_pkg.ads
• constructor.ads
• controlled1.ads
• controlled1_pkg.ads
• controller.ads
• corr_discr.ads
• cpp1.ads
• cpp_assignment.ads
• delta_small.ads
• discr_private.ads
• discr_record_constant.ads
• double_record_extension1.ads
• double_record_extension2.ads
• elab1.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
• limited1.ads
• linker_section.ads
• lto3.ads
• lto3_pkg1.adb
• lto3_pkg1.ads
• lto3_pkg2.adb
• lto3_pkg2.ads
• null_aggr_bug.ads
• oconst6.ads
• oversize.ads
• pack2.ads
• pack3.ads
• pack33.ads
• pack3_pkg.ads
• pack4.ads
• pack5.ads
• pack6.ads
• pack6_pkg.ads
• preelab.ads
• private_with.ads
• renamings.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_union.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
• warnstar.ads
• weak1.ads
• with_containers.ads