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