Google Git
Sign in
gnu / gcc / a48323ff520827d38b0ca4b6af4dc87fe9e26b50 / . / gcc / testsuite / gnat.dg / specs
tree: 686626cb4fa302ea63609bfe47ab13262c0c1e3f [path history] [tgz]
  1. abstract_limited.ads
  2. abstract_private.ads
  3. access1.ads
  4. access2.ads
  5. access3.ads
  6. access_constant.ads
  7. access_constant_decl.ads
  8. aggr1.ads
  9. aggr2.ads
  10. aggr3.ads
  11. aggr3_pkg.ads
  12. aggr4.ads
  13. aggr4_pkg.ads
  14. aggr5.ads
  15. aggr6.ads
  16. ai_116.ads
  17. alignment1.ads
  18. alignment2.ads
  19. array1.ads
  20. array2.ads
  21. array3.ads
  22. array_no_def_init.ads
  23. atomic1.ads
  24. atomic2.ads
  25. attribute_parsing.ads
  26. box1.ads
  27. clause_on_volatile.ads
  28. concat1.ads
  29. concat1_pkg.ads
  30. cond_expr1.ads
  31. constant1.ads
  32. constant1_pkg.ads
  33. constructor.ads
  34. controlled1.ads
  35. controlled1_pkg.ads
  36. controller.ads
  37. corr_discr.ads
  38. cpp1.ads
  39. cpp_assignment.ads
  40. delta_small.ads
  41. discr1.ads
  42. discr1_pkg.ads
  43. discr_private.ads
  44. discr_record_constant.ads
  45. double_record_extension1.ads
  46. double_record_extension2.ads
  47. double_record_extension3.ads
  48. elab1.ads
  49. elab2.ads
  50. elab2_pkg.ads
  51. elab3.ads
  52. elab4.ads
  53. elab4_proc.adb
  54. elab4_proc.ads
  55. empty_variants.ads
  56. fe_inlining.ads
  57. fe_inlining_helper.adb
  58. fe_inlining_helper.ads
  59. formal_type.ads
  60. gen_interface.ads
  61. gen_interface_p.ads
  62. genericppc.ads
  63. gnati.ads
  64. iface_eq_test-child.ads
  65. iface_eq_test.ads
  66. import_abstract.ads
  67. integer_value.ads
  68. interface5.ads
  69. last_bit.ads
  70. limited1.ads
  71. limited_with4.ads
  72. limited_with4_pkg.ads
  73. linker_alias.ads
  74. linker_section.ads
  75. loop_optimization1.ads
  76. loop_optimization1_pkg.adb
  77. loop_optimization1_pkg.ads
  78. lto12.ads
  79. lto12_pkg.ads
  80. lto3.ads
  81. lto3_pkg1.adb
  82. lto3_pkg1.ads
  83. lto3_pkg2.adb
  84. lto3_pkg2.ads
  85. machine_attribute.ads
  86. no_streams.ads
  87. noinline1.ads
  88. noinline3.ads
  89. noinline3_pkg.adb
  90. noinline3_pkg.ads
  91. null_aggr_bug.ads
  92. oconst6.ads
  93. opt1.ads
  94. opt2.ads
  95. oversize.ads
  96. pack10.ads
  97. pack10_pkg.adb
  98. pack10_pkg.ads
  99. pack11.ads
  100. pack12.ads
  101. pack2.ads
  102. pack3.ads
  103. pack33.ads
  104. pack3_pkg.ads
  105. pack4.ads
  106. pack5.ads
  107. pack6.ads
  108. pack6_pkg.ads
  109. pack7.ads
  110. pack8.ads
  111. pack8_pkg.ads
  112. pack9.ads
  113. preelab.ads
  114. private1-sub.ads
  115. private1.ads
  116. private2.ads
  117. private2_pkg.ads
  118. private_with.ads
  119. renaming1.ads
  120. renaming2.ads
  121. renaming2_pkg1.ads
  122. renaming2_pkg2.ads
  123. renaming2_pkg3.ads
  124. renaming2_pkg4.adb
  125. renaming2_pkg4.ads
  126. rep_clause1.ads
  127. rep_clause2.ads
  128. rep_clause3.ads
  129. rep_clause4.ads
  130. rep_clause5.ads
  131. restricted_pkg.ads
  132. root-level_1-level_2.ads
  133. root-level_1.ads
  134. root-level_2.ads
  135. root.ads
  136. self_class.ads
  137. size_attribute1.ads
  138. size_attribute1_pkg1.adb
  139. size_attribute1_pkg1.ads
  140. size_attribute1_pkg2.adb
  141. size_attribute1_pkg2.ads
  142. size_clause1.ads
  143. size_clause2.ads
  144. size_clause3.ads
  145. small_alignment.ads
  146. specs.exp
  147. sso1.ads
  148. sso2.ads
  149. static_initializer.ads
  150. static_initializer2.ads
  151. static_initializer3.ads
  152. static_initializer4.ads
  153. static_initializer5.ads
  154. static_initializer5_pkg.ads
  155. storage.ads
  156. sync_iface_test.ads
  157. tag1.ads
  158. tag2.ads
  159. task1.ads
  160. uc1.ads
  161. unchecked_union1.ads
  162. unchecked_union2.ads
  163. universal_fixed.ads
  164. variant_part.ads
  165. varsize_return.ads
  166. varsize_return2.ads
  167. varsize_return2_pkg.adb
  168. varsize_return2_pkg.ads
  169. varsize_return_pkg1.adb
  170. varsize_return_pkg1.ads
  171. varsize_return_pkg2.adb
  172. varsize_return_pkg2.ads
  173. volatile1.ads
  174. warnstar.ads
  175. weak1.ads
  176. with_containers.ads