tree: 6d4029105e2fef458939ce0cb96291d2fa4978b9 [path history] [tgz]
  1. specs/
  2. style/
  3. abstract1.adb
  4. abstract1.ads
  5. abstract_with_anonymous_result.adb
  6. access1.adb
  7. access2.adb
  8. access3.adb
  9. access3.ads
  10. access4.adb
  11. access_discr.adb
  12. access_discr2.adb
  13. access_func.adb
  14. access_test.adb
  15. addr1.adb
  16. addr1.ads
  17. addr2.adb
  18. addr2_p.adb
  19. addr2_p.ads
  20. addr3.adb
  21. addr4.adb
  22. addr5.adb
  23. addr6.adb
  24. addr_slice.adb
  25. address_conversion.adb
  26. address_null_init.ads
  27. aggr1.adb
  28. aggr10.adb
  29. aggr10_pkg.ads
  30. aggr11.adb
  31. aggr11_pkg.ads
  32. aggr12.adb
  33. aggr12.ads
  34. aggr13.adb
  35. aggr14.adb
  36. aggr14_pkg.adb
  37. aggr14_pkg.ads
  38. aggr15.adb
  39. aggr15.ads
  40. aggr16.adb
  41. aggr16.ads
  42. aggr16_pkg.ads
  43. aggr2.adb
  44. aggr3.adb
  45. aggr4.adb
  46. aggr7.adb
  47. aggr8.adb
  48. aggr9.adb
  49. aggr9.ads
  50. aggr9_pkg.ads
  51. aliased1.adb
  52. aliased_prefix_accessibility.adb
  53. aliasing1.adb
  54. aliasing1.ads
  55. aliasing2.adb
  56. aliasing2.ads
  57. aliasing3.adb
  58. aliasing3_pkg.adb
  59. aliasing3_pkg.ads
  60. align_check.adb
  61. align_max.adb
  62. aligned_vla.adb
  63. alignment1.adb
  64. alignment2.adb
  65. alignment3.adb
  66. alignment4.adb
  67. alignment5.adb
  68. alignment6.adb
  69. alignment7.adb
  70. alignment8.adb
  71. alignment9.adb
  72. allocator_maxalign1.adb
  73. allocator_maxalign2.adb
  74. allocator_maxalign2.ads
  75. ancestor_type.adb
  76. ancestor_type.ads
  77. anon1.ads
  78. anon2.adb
  79. array1.adb
  80. array1.ads
  81. array10.adb
  82. array11.adb
  83. array12.adb
  84. array13.adb
  85. array13.ads
  86. array2.ads
  87. array3.adb
  88. array4.adb
  89. array5.adb
  90. array6.adb
  91. array7.adb
  92. array7.ads
  93. array8.adb
  94. array9.adb
  95. array_bounds_test.adb
  96. assert.ads
  97. assert1.adb
  98. assign_from_packed.adb
  99. assign_from_packed_pixels.ads
  100. asynch.adb
  101. asynch.ads
  102. atomic1.adb
  103. atomic1_pkg.ads
  104. atomic2.adb
  105. atomic3.adb
  106. atomic4.adb
  107. atomic4.ads
  108. atomic5.adb
  109. atomic5.ads
  110. bad_array.adb
  111. biased_uc.adb
  112. bip_aggregate_bug.adb
  113. bip_prim_func.adb
  114. bip_prim_func.ads
  115. bit_packed_array1.adb
  116. bit_packed_array1.ads
  117. bit_packed_array2.adb
  118. bit_packed_array3.adb
  119. bit_packed_array4.adb
  120. bit_packed_array4.ads
  121. blkextract_from_reg.adb
  122. bltins.adb
  123. boolean_bitfield.adb
  124. boolean_conv.adb
  125. boolean_expr1.adb
  126. boolean_expr1.ads
  127. boolean_expr2.adb
  128. boolean_subtype.adb
  129. bug_elaboration_code.adb
  130. bug_elaboration_code.ads
  131. c_words.adb
  132. c_words.ads
  133. capture_value.adb
  134. case_null.adb
  135. case_null.ads
  136. case_optimization1.adb
  137. case_optimization1.ads
  138. case_optimization2.adb
  139. case_optimization_pkg1.ads
  140. case_optimization_pkg2.adb
  141. case_optimization_pkg2.ads
  142. check1.adb
  143. check1.ads
  144. check_displace_generation.adb
  145. check_elaboration_code.adb
  146. class_wide1.adb
  147. class_wide2.adb
  148. class_wide2.ads
  149. compose.adb
  150. concat1.adb
  151. concat1_pkg.adb
  152. concat1_pkg.ads
  153. concat_length.adb
  154. cond_expr1.adb
  155. constant1.adb
  156. constant2.adb
  157. constant2_pkg1.ads
  158. constant2_pkg2.adb
  159. constant2_pkg2.ads
  160. controlled1.ads
  161. controlled2.adb
  162. controlled2.ads
  163. controlled3.ads
  164. controlled4.adb
  165. controlled4.ads
  166. controlled5.adb
  167. controlled5_pkg.adb
  168. controlled5_pkg.ads
  169. controlled_record.adb
  170. controlled_record.ads
  171. conv_bug.adb
  172. conv_decimal.adb
  173. conv_integer.adb
  174. conv_real.adb
  175. curr_task.adb
  176. debug1.ads
  177. decl_ctx_def.ads
  178. decl_ctx_use.adb
  179. decl_ctx_use.ads
  180. deep_old.adb
  181. deferred_const1.adb
  182. deferred_const2.adb
  183. deferred_const2_pkg.adb
  184. deferred_const2_pkg.ads
  185. deferred_const3.adb
  186. deferred_const3_pkg.adb
  187. deferred_const3_pkg.ads
  188. deques.ads
  189. deref1.ads
  190. deref2.ads
  191. deref3.adb
  192. derived_aggregate.adb
  193. derived_type1.adb
  194. dg.exp
  195. discr1.ads
  196. discr10.adb
  197. discr10.ads
  198. discr11.adb
  199. discr11.ads
  200. discr11_pkg.ads
  201. discr12.adb
  202. discr12_pkg.ads
  203. discr13.adb
  204. discr14.adb
  205. discr14.ads
  206. discr15.adb
  207. discr15_pkg.ads
  208. discr16.adb
  209. discr16_cont.ads
  210. discr16_g.ads
  211. discr16_pkg.ads
  212. discr17.adb
  213. discr18.adb
  214. discr18_pkg.ads
  215. discr19.adb
  216. discr2.adb
  217. discr2.ads
  218. discr20.adb
  219. discr20.ads
  220. discr21.adb
  221. discr21.ads
  222. discr21_pkg.ads
  223. discr22.adb
  224. discr23.adb
  225. discr23.ads
  226. discr23_pkg.ads
  227. discr24.adb
  228. discr25.adb
  229. discr25_pkg.adb
  230. discr25_pkg.ads
  231. discr29.adb
  232. discr29.ads
  233. discr3.ads
  234. discr30.adb
  235. discr4.adb
  236. discr5.adb
  237. discr6.adb
  238. discr6_pkg.ads
  239. discr7.adb
  240. discr8.adb
  241. discr8.ads
  242. discr8_pkg1.ads
  243. discr8_pkg2.ads
  244. discr8_pkg3.ads
  245. discr9.adb
  246. discr9.ads
  247. discr_range_check.adb
  248. discr_test.adb
  249. discr_test2.adb
  250. dispatch1.adb
  251. dispatch1_p.ads
  252. dispatch2.adb
  253. dispatch2_p.adb
  254. dispatch2_p.ads
  255. div_no_warning.adb
  256. dse_step.adb
  257. dse_step.ads
  258. dynamic_bound.adb
  259. dynamic_elab1.adb
  260. dynamic_elab1.ads
  261. dynamic_elab2.adb
  262. dynamic_elab2.ads
  263. dynamic_elab_pkg.ads
  264. elab1.ads
  265. elab2.adb
  266. elim1.adb
  267. elim1.ads
  268. elim2.adb
  269. empty_vector_length.adb
  270. enclosing_record_reference.adb
  271. enclosing_record_reference.ads
  272. entry_queues.adb
  273. enum1.adb
  274. enum1_pkg.ads
  275. enum2.adb
  276. enum2_pkg.ads
  277. env_compile_capacity.adb
  278. env_compile_capacity.ads
  279. equal1.ads
  280. equal_access.adb
  281. exp0_eval.adb
  282. expect1.adb
  283. ext1.ads
  284. fatp_sra.adb
  285. finalized.adb
  286. fixce.adb
  287. fixedpnt.adb
  288. forward_anon.adb
  289. forward_anon.ads
  290. forward_vla.adb
  291. frame_overflow.adb
  292. frame_overflow.ads
  293. frunaligned.adb
  294. frunaligned1.ads
  295. g_tables.adb
  296. g_tables.ads
  297. gen_disp.adb
  298. gen_disp.ads
  299. generic_dispatch.adb
  300. generic_dispatch_p.adb
  301. generic_dispatch_p.ads
  302. gnat_malloc.adb
  303. gnatg.adb
  304. graphic.adb
  305. graphic.ads
  306. handle_and_return.adb
  307. handle_raise_from_pure.adb
  308. hyper_flat.adb
  309. ice_type.adb
  310. ice_types.ads
  311. iface1.ads
  312. iface2.adb
  313. iface2.ads
  314. iface_test.adb
  315. iface_test.ads
  316. ifaces.adb
  317. ifaces.ads
  318. import1.adb
  319. import1.ads
  320. in_mod_conv.adb
  321. in_out_parameter.adb
  322. in_out_parameter2.adb
  323. in_out_parameter3.adb
  324. include.adb
  325. incomplete1.ads
  326. incomplete2.adb
  327. incomplete2.ads
  328. init_scalar1.adb
  329. inline_scope.adb
  330. inline_scope_p.adb
  331. inline_scope_p.ads
  332. inline_tagged.adb
  333. interface1.adb
  334. interface2.adb
  335. interface3.adb
  336. interface4.adb
  337. interface5.adb
  338. interface5.ads
  339. interface_conv.adb
  340. invariant_index.adb
  341. invariant_index.ads
  342. iprot_test.adb
  343. itype.adb
  344. itype.ads
  345. itypes.adb
  346. itypes.ads
  347. kill_value.adb
  348. late_overriding.adb
  349. layered_abstraction.adb
  350. layered_abstraction.ads
  351. layered_abstraction_p.ads
  352. layered_instance.adb
  353. lhs_view_convert.adb
  354. limited_with.adb
  355. limited_with.ads
  356. loop_address.adb
  357. loop_address2.adb
  358. loop_boolean.adb
  359. loop_bound.adb
  360. loop_optimization1.adb
  361. loop_optimization1.ads
  362. loop_optimization2.adb
  363. loop_optimization2.ads
  364. loop_optimization3.adb
  365. loop_optimization3_pkg.adb
  366. loop_optimization3_pkg.ads
  367. loop_optimization4.adb
  368. loop_optimization4_pkg.adb
  369. loop_optimization4_pkg.ads
  370. loop_optimization5.adb
  371. loop_optimization5_pkg.ads
  372. loop_optimization6.adb
  373. loop_optimization6.ads
  374. loop_optimization7.adb
  375. loop_optimization7.ads
  376. loop_optimization7_pkg.ads
  377. loop_optimization8.adb
  378. loop_optimization8_pkg1.adb
  379. loop_optimization8_pkg1.ads
  380. loop_optimization8_pkg2.adb
  381. loop_optimization8_pkg2.ads
  382. loop_unchecked_conversion.adb
  383. loop_unchecked_conversion.ads
  384. lto1.adb
  385. lto10.adb
  386. lto10_pkg.ads
  387. lto1_pkg.adb
  388. lto1_pkg.ads
  389. lto2.adb
  390. lto4.adb
  391. lto4.ads
  392. lto5.adb
  393. lto5_pkg.adb
  394. lto5_pkg.ads
  395. lto6.adb
  396. lto6_pkg.ads
  397. lto7.adb
  398. lto7_pkg.adb
  399. lto7_pkg.ads
  400. lto8.adb
  401. lto8_pkg.adb
  402. lto8_pkg.ads
  403. lto9.adb
  404. lto9_pkg1.ads
  405. lto9_pkg2.adb
  406. lto9_pkg2.ads
  407. machine_code1.adb
  408. max_align.adb
  409. md5_test.adb
  410. memtrap.adb
  411. misaligned_nest.adb
  412. misaligned_param.adb
  413. misaligned_param_pkg.adb
  414. misaligned_param_pkg.ads
  415. missing_acc_check.adb
  416. modify_a_constant.adb
  417. modular1.adb
  418. modular2.adb
  419. modular3.adb
  420. modular3_pkg.ads
  421. mutable1.adb
  422. my_env_versioned_value_set_g.ads
  423. named_test.adb
  424. namet.ads
  425. nat1.ads
  426. nat1r.adb
  427. nested_agg_bitfield_constructor.adb
  428. nested_controlled_alloc.adb
  429. nested_float_packed.ads
  430. nested_proc1.adb
  431. nested_proc2.adb
  432. nested_return_test.adb
  433. nested_subtype_byref.adb
  434. nested_subtype_byref.ads
  435. no_exc_prop.adb
  436. no_exc_prop.ads
  437. no_final.adb
  438. noreturn1.adb
  439. noreturn1.ads
  440. noreturn2.adb
  441. noreturn2.ads
  442. noreturn3.adb
  443. noreturn3.ads
  444. not_null.adb
  445. notnot.adb
  446. null_pointer_deref1.adb
  447. null_pointer_deref2.adb
  448. oalign1.ads
  449. oalign2.ads
  450. object_overflow.adb
  451. oconst1.adb
  452. oconst1.ads
  453. oconst2.adb
  454. oconst2.ads
  455. oconst3.adb
  456. oconst3.ads
  457. oconst4.adb
  458. oconst4.ads
  459. oconst5.adb
  460. oconst5.ads
  461. oconst6.ads
  462. old_errors.adb
  463. old_errors.ads
  464. opt1.adb
  465. opt1.ads
  466. opt10.adb
  467. opt10_pkg.ads
  468. opt11.adb
  469. opt11.ads
  470. opt12.adb
  471. opt12_pkg.adb
  472. opt12_pkg.ads
  473. opt13.adb
  474. opt13_pkg.adb
  475. opt13_pkg.ads
  476. opt14.adb
  477. opt17.adb
  478. opt17.ads
  479. opt2.adb
  480. opt3.adb
  481. opt3_pkg.ads
  482. opt4.adb
  483. opt5.adb
  484. opt6.adb
  485. opt6.ads
  486. opt7.adb
  487. opt7.ads
  488. opt7_pkg.ads
  489. opt8.adb
  490. opt8.ads
  491. opt8_pkg.ads
  492. opt9.adb
  493. opt9_pkg.ads
  494. outer_agg_bitfield_constructor.adb
  495. overflow_sum.adb
  496. overflow_sum2.adb
  497. overriding_ops.adb
  498. overriding_ops.ads
  499. overriding_ops_p.ads
  500. pack1.ads
  501. pack10.adb
  502. pack11.adb
  503. pack12.adb
  504. pack13.adb
  505. pack13.ads
  506. pack13_pkg.ads
  507. pack14.adb
  508. pack15.adb
  509. pack15.ads
  510. pack2.adb
  511. pack3.adb
  512. pack4.adb
  513. pack5.adb
  514. pack6.adb
  515. pack7.adb
  516. pack8.adb
  517. pack9.adb
  518. pack9.ads
  519. packed_subtype.adb
  520. pak.adb
  521. pak.ads
  522. parameterlessfunc.adb
  523. parent_ltd_with-child_full_view.adb
  524. parent_ltd_with-child_full_view.ads
  525. parent_ltd_with.ads
  526. pointer_array.adb
  527. pointer_controlled.adb
  528. pointer_conversion.adb
  529. pointer_discr1.adb
  530. pointer_discr1_pkg1.ads
  531. pointer_discr1_pkg2.ads
  532. pointer_discr1_pkg3.ads
  533. pointer_protected.adb
  534. pointer_protected_p.ads
  535. pointer_variable_bounds.adb
  536. pointer_variable_bounds.ads
  537. pointer_variable_bounds_q.ads
  538. prefix1.adb
  539. prefix1.ads
  540. prefix2.adb
  541. prefix2.ads
  542. profile_warning.adb
  543. profile_warning.ads
  544. profile_warning_p.adb
  545. profile_warning_p.ads
  546. prot1.adb
  547. prot2.adb
  548. prot2.ads
  549. prot2_pkg1.ads
  550. prot2_pkg2.adb
  551. prot2_pkg2.ads
  552. prot_def.adb
  553. protected_self_ref1.adb
  554. protected_self_ref2.adb
  555. quote.adb
  556. raise_ce.adb
  557. raise_from_pure.adb
  558. raise_from_pure.ads
  559. range_check.adb
  560. range_check2.adb
  561. rational_arithmetic.ads
  562. ref_type.adb
  563. ref_type.ads
  564. regpat1.adb
  565. release_unc_maxalign.adb
  566. remote_type.adb
  567. remote_type.ads
  568. renaming1.adb
  569. renaming1.ads
  570. renaming2.adb
  571. renaming3.adb
  572. renaming4.ads
  573. rep_clause1.adb
  574. rep_clause2.adb
  575. rep_clause2.ads
  576. rep_clause3.adb
  577. rep_clause4.adb
  578. rep_clause5.adb
  579. rep_clause5.ads
  580. rep_clause5_pkg.ads
  581. requeue1.adb
  582. return1.adb
  583. return1.ads
  584. return2.adb
  585. return2.ads
  586. return2_pkg.ads
  587. rt1.adb
  588. rt1.ads
  589. scalar_mode_agg_compare.adb
  590. scalar_mode_agg_compare_loop.adb
  591. self.adb
  592. self.ads
  593. self1.adb
  594. self_aggregate_with_array.adb
  595. self_aggregate_with_call.adb
  596. self_aggregate_with_pointer.adb
  597. self_aggregate_with_zeros.adb
  598. set_in_pproc.adb
  599. show_deques_priority.adb
  600. size_attribute.adb
  601. sizetype1.adb
  602. sizetype2.adb
  603. sizetype3.adb
  604. sizetype3.ads
  605. sizetype3_pkg.ads
  606. sizetype4.adb
  607. slice1.adb
  608. slice2.adb
  609. slice2.ads
  610. slice3.adb
  611. slice4.adb
  612. slice5.adb
  613. slice6.adb
  614. slice6_pkg.ads
  615. slice7.adb
  616. slice7_pkg.ads
  617. slice8.adb
  618. slice8_pkg1.ads
  619. slice8_pkg2.ads
  620. slice8_pkg3.adb
  621. slice8_pkg3.ads
  622. slice_enum.adb
  623. small_alignment.adb
  624. socket1.adb
  625. sort1.adb
  626. sort1.ads
  627. sort2.adb
  628. spipaterr.adb
  629. sse_nolib.adb
  630. stack_check1.adb
  631. stack_check2.adb
  632. statically_matching.ads
  633. str1.adb
  634. string_comparison.adb
  635. string_slice.adb
  636. string_slice2.adb
  637. subp_elim_errors.adb
  638. subp_elim_errors.ads
  639. sync1.adb
  640. sync1.ads
  641. sync_iface_test.adb
  642. sync_iface_test.ads
  643. tag1.adb
  644. tagged_alloc_free.adb
  645. tagged_type_pkg.adb
  646. tagged_type_pkg.ads
  647. tail_call.adb
  648. tail_call_p.adb
  649. tail_call_p.ads
  650. tamdt.adb
  651. tamdt.ads
  652. tamdt_aux.ads
  653. task_name.adb
  654. task_name.ads
  655. task_stack_align.adb
  656. test_8bitlong_overflow.adb
  657. test_address_null_init.adb
  658. test_ai254.adb
  659. test_allocator_maxalign2.adb
  660. test_bip_no_alloc.adb
  661. test_bounded.adb
  662. test_call.adb
  663. test_debug1.adb
  664. test_delay.adb
  665. test_direct_io.adb
  666. test_dse_step.adb
  667. test_enum_io.adb
  668. test_equal1.adb
  669. test_ext1.adb
  670. test_fixed_io.adb
  671. test_iface_aggr.adb
  672. test_ifaces.adb
  673. test_image.adb
  674. test_image_p.adb
  675. test_image_p.ads
  676. test_nested_subtype_byref.adb
  677. test_oalign.adb
  678. test_oconst.adb
  679. test_prefix1.adb
  680. test_prio.adb
  681. test_prio_p.adb
  682. test_prio_p.ads
  683. test_raise_from_pure.adb
  684. test_rational_arithmetic.adb
  685. test_self.adb
  686. test_self_ref.adb
  687. test_table1.adb
  688. test_tables.adb
  689. test_tamdt.adb
  690. test_time_stamp.adb
  691. test_unknown_discrs.adb
  692. test_version.adb
  693. testint.adb
  694. tf_interface_1.adb
  695. tf_interface_1.ads
  696. tfren.adb
  697. thin_pointer1.adb
  698. thin_pointer1.ads
  699. thin_pointer2.adb
  700. thin_pointer2_pkg.adb
  701. thin_pointer2_pkg.ads
  702. timer_cancel.adb
  703. timing_events.adb
  704. trampoline1.adb
  705. trampoline2.adb
  706. tree_static_def.adb
  707. tree_static_def.ads
  708. tree_static_use.adb
  709. type_conv.adb
  710. unaligned_rep_clause.adb
  711. unc.adb
  712. unc_memfree.adb
  713. unc_memops.adb
  714. unc_memops.ads
  715. unchecked_convert1.adb
  716. unchecked_convert2.adb
  717. unchecked_convert3.adb
  718. unchecked_convert4.adb
  719. unchecked_convert5.adb
  720. unchecked_convert5b.adb
  721. unchecked_convert6.adb
  722. unchecked_convert6b.adb
  723. unchecked_convert7.adb
  724. unchecked_convert8.adb
  725. unchecked_convert8.ads
  726. unchecked_union1.adb
  727. uninit_func.adb
  728. valid1.adb
  729. varsize_copy.adb
  730. varsize_copy.ads
  731. varsize_temp.adb
  732. volatile1.ads
  733. volatile2.adb
  734. volatile2.ads
  735. volatile3.adb
  736. volatile4.adb
  737. volatile5.adb
  738. volatile5_pkg.ads
  739. volatile_aggregate.adb
  740. warn1.adb
  741. warn2.adb
  742. warn3.adb
  743. warn4.adb
  744. warn5.adb
  745. wide_boolean.adb
  746. wide_boolean_pkg.adb
  747. wide_boolean_pkg.ads
  748. wide_pi.adb
  749. wide_test.adb