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