Google Git
Sign in
gnu / gcc / b2d961e7342b5ba4e57adfa81cb189b738d10901 / . / gcc / testsuite / gnat.dg / specs
tree: 384d4eba37fbe7497cbc5629471acb874e1e6e3d [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. atomic3.ads
  26. attribute_parsing.ads
  27. box1.ads
  28. clause_on_volatile.ads
  29. concat1.ads
  30. concat1_pkg.ads
  31. cond_expr1.ads
  32. constant1.ads
  33. constant1_pkg.ads
  34. constructor.ads
  35. controlled1.ads
  36. controlled1_pkg.ads
  37. controller.ads
  38. corr_discr.ads
  39. cpp1.ads
  40. cpp_assignment.ads
  41. delta_small.ads
  42. discr1.ads
  43. discr1_pkg.ads
  44. discr_private.ads
  45. discr_record_constant.ads
  46. double_record_extension1.ads
  47. double_record_extension2.ads
  48. double_record_extension3.ads
  49. elab1.ads
  50. elab2.ads
  51. elab2_pkg.ads
  52. elab3.ads
  53. elab4.ads
  54. elab4_proc.adb
  55. elab4_proc.ads
  56. empty_variants.ads
  57. fe_inlining.ads
  58. fe_inlining_helper.adb
  59. fe_inlining_helper.ads
  60. formal_type.ads
  61. gen_interface.ads
  62. gen_interface_p.ads
  63. genericppc.ads
  64. gnati.ads
  65. iface_eq_test-child.ads
  66. iface_eq_test.ads
  67. import_abstract.ads
  68. integer_value.ads
  69. interface5.ads
  70. last_bit.ads
  71. limited1.ads
  72. limited_with4.ads
  73. limited_with4_pkg.ads
  74. linker_alias.ads
  75. linker_section.ads
  76. loop_optimization1.ads
  77. loop_optimization1_pkg.adb
  78. loop_optimization1_pkg.ads
  79. lto12.ads
  80. lto12_pkg.ads
  81. lto3.ads
  82. lto3_pkg1.adb
  83. lto3_pkg1.ads
  84. lto3_pkg2.adb
  85. lto3_pkg2.ads
  86. machine_attribute.ads
  87. no_streams.ads
  88. noinline1.ads
  89. noinline3.ads
  90. noinline3_pkg.adb
  91. noinline3_pkg.ads
  92. not_null1.ads
  93. null_aggr_bug.ads
  94. oconst6.ads
  95. opt1.ads
  96. opt2.ads
  97. opt3.ads
  98. opt3_pkg.ads
  99. oversize.ads
  100. pack10.ads
  101. pack10_pkg.adb
  102. pack10_pkg.ads
  103. pack11.ads
  104. pack12.ads
  105. pack2.ads
  106. pack3.ads
  107. pack33.ads
  108. pack3_pkg.ads
  109. pack4.ads
  110. pack5.ads
  111. pack6.ads
  112. pack6_pkg.ads
  113. pack7.ads
  114. pack8.ads
  115. pack8_pkg.ads
  116. pack9.ads
  117. preelab.ads
  118. private1-sub.ads
  119. private1.ads
  120. private2.ads
  121. private2_pkg.ads
  122. private_with.ads
  123. renaming1.ads
  124. renaming2.ads
  125. renaming2_pkg1.ads
  126. renaming2_pkg2.ads
  127. renaming2_pkg3.ads
  128. renaming2_pkg4.adb
  129. renaming2_pkg4.ads
  130. rep_clause1.ads
  131. rep_clause2.ads
  132. rep_clause3.ads
  133. rep_clause4.ads
  134. rep_clause5.ads
  135. restricted_pkg.ads
  136. root-level_1-level_2.ads
  137. root-level_1.ads
  138. root-level_2.ads
  139. root.ads
  140. self_class.ads
  141. size_attribute1.ads
  142. size_attribute1_pkg1.adb
  143. size_attribute1_pkg1.ads
  144. size_attribute1_pkg2.adb
  145. size_attribute1_pkg2.ads
  146. size_clause1.ads
  147. size_clause2.ads
  148. size_clause3.ads
  149. small_alignment.ads
  150. specs.exp
  151. sso1.ads
  152. sso2.ads
  153. static_initializer.ads
  154. static_initializer2.ads
  155. static_initializer3.ads
  156. static_initializer4.ads
  157. static_initializer5.ads
  158. static_initializer5_pkg.ads
  159. storage.ads
  160. sync_iface_test.ads
  161. tag1.ads
  162. tag2.ads
  163. task1.ads
  164. uc1.ads
  165. uc2.ads
  166. unchecked_union1.ads
  167. unchecked_union2.ads
  168. universal_fixed.ads
  169. variant_part.ads
  170. varsize_return.ads
  171. varsize_return2.ads
  172. varsize_return2_pkg.adb
  173. varsize_return2_pkg.ads
  174. varsize_return_pkg1.adb
  175. varsize_return_pkg1.ads
  176. varsize_return_pkg2.adb
  177. varsize_return_pkg2.ads
  178. vfa1.ads
  179. vfa2.ads
  180. volatile1.ads
  181. warnstar.ads
  182. weak1.ads
  183. with_containers.ads