/gcc/testsuite/gnat.dg/specs/

• ../
• abstract_limited.ads
• access3.ads
• access_constant.ads
• access_constant_decl.ads
• ai_116.ads
• alignment1.ads
• alignment2.ads
• attribute_parsing.ads
• box1.ads
• constructor.ads
• controller.ads
• cpp1.ads
• delta_small.ads
• double_record_extension1.ads
• double_record_extension2.ads
• elab1.ads
• formal_type.ads
• gen_interface.ads
• gen_interface_p.ads
• gnati.ads
• integer_value.ads
• limited1.ads
• pack2.ads
• pack33.ads
• pr34799.ads
• preelab.ads
• private_with.ads
• size_clause1.ads
• size_clause2.ads
• size_clause3.ads
• specs.exp
• static_initializer.ads
• tag1.ads
• uc1.ads
• unchecked_union.ads
• universal_fixed.ads
• variant_part.ads
• with_containers.ads