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