Google Git
Sign in
gnu / gcc / 2ead0bd7a4111845cb91592b2aa33cd3d73d3fea / . / gcc / testsuite / gnat.dg
tree: 2cd172d1767cf64459812e8945128b2fa6927b74 [path history] [tgz]
  1. specs/
  2. abstract1.adb
  3. abstract1.ads
  4. abstract_with_anonymous_result.adb
  5. access1.adb
  6. access2.adb
  7. access3.adb
  8. access3.ads
  9. access4.adb
  10. access_discr.adb
  11. access_discr2.adb
  12. access_func.adb
  13. access_test.adb
  14. addr1.adb
  15. addr1.ads
  16. addr2.adb
  17. addr2_p.adb
  18. addr2_p.ads
  19. addr3.adb
  20. addr4.adb
  21. addr5.adb
  22. addr6.adb
  23. addr7.adb
  24. addr7.ads
  25. addr8.adb
  26. addr8.ads
  27. addr_slice.adb
  28. address_conversion.adb
  29. address_null_init.ads
  30. aggr1.adb
  31. aggr10.adb
  32. aggr10_pkg.ads
  33. aggr11.adb
  34. aggr11_pkg.ads
  35. aggr12.adb
  36. aggr12.ads
  37. aggr13.adb
  38. aggr14.adb
  39. aggr14_pkg.adb
  40. aggr14_pkg.ads
  41. aggr15.adb
  42. aggr15.ads
  43. aggr16.adb
  44. aggr16.ads
  45. aggr16_pkg.ads
  46. aggr17.adb
  47. aggr18.adb
  48. aggr19.adb
  49. aggr19_pkg.adb
  50. aggr19_pkg.ads
  51. aggr2.adb
  52. aggr20.adb
  53. aggr20.ads
  54. aggr20_pkg.ads
  55. aggr21.adb
  56. aggr21_pkg.adb
  57. aggr21_pkg.ads
  58. aggr3.adb
  59. aggr4.adb
  60. aggr7.adb
  61. aggr8.adb
  62. aggr9.adb
  63. aggr9.ads
  64. aggr9_pkg.ads
  65. aliased1.adb
  66. aliased_prefix_accessibility.adb
  67. aliasing1.adb
  68. aliasing1.ads
  69. aliasing2.adb
  70. aliasing2.ads
  71. aliasing3.adb
  72. aliasing3_pkg.adb
  73. aliasing3_pkg.ads
  74. align_check.adb
  75. align_max.adb
  76. aligned_vla.adb
  77. alignment1.adb
  78. alignment10.adb
  79. alignment2.adb
  80. alignment3.adb
  81. alignment4.adb
  82. alignment5.adb
  83. alignment6.adb
  84. alignment7.adb
  85. alignment8.adb
  86. alignment9.adb
  87. allocator_maxalign1.adb
  88. allocator_maxalign2.adb
  89. allocator_maxalign2.ads
  90. ancestor_type.adb
  91. ancestor_type.ads
  92. anon1.ads
  93. anon2.adb
  94. array1.adb
  95. array1.ads
  96. array10.adb
  97. array11.adb
  98. array12.adb
  99. array13.adb
  100. array13.ads
  101. array14.adb
  102. array14.ads
  103. array14_pkg.ads
  104. array15.adb
  105. array15.ads
  106. array16.adb
  107. array16.ads
  108. array16_pkg.ads
  109. array17.adb
  110. array17_pkg.ads
  111. array18.adb
  112. array18_pkg.ads
  113. array19.adb
  114. array19.ads
  115. array2.ads
  116. array20.adb
  117. array20.ads
  118. array21.adb
  119. array22.adb
  120. array23.adb
  121. array23_pkg1.ads
  122. array23_pkg2.ads
  123. array23_pkg3.ads
  124. array3.adb
  125. array4.adb
  126. array5.adb
  127. array6.adb
  128. array7.adb
  129. array7.ads
  130. array8.adb
  131. array9.adb
  132. array_bounds_test.adb
  133. array_bounds_test2.adb
  134. assert.ads
  135. assert1.adb
  136. assign_from_packed.adb
  137. assign_from_packed_pixels.ads
  138. asynch.adb
  139. asynch.ads
  140. atomic1.adb
  141. atomic1_pkg.ads
  142. atomic2.adb
  143. atomic3.adb
  144. atomic4.adb
  145. atomic4.ads
  146. atomic5.adb
  147. atomic5.ads
  148. atomic6_1.adb
  149. atomic6_2.adb
  150. atomic6_3.adb
  151. atomic6_4.adb
  152. atomic6_5.adb
  153. atomic6_6.adb
  154. atomic6_7.adb
  155. atomic6_8.adb
  156. atomic6_pkg.ads
  157. atomic8.adb
  158. bad_array.adb
  159. biased_subtype.adb
  160. biased_uc.adb
  161. bip_aggregate_bug.adb
  162. bip_prim_func.adb
  163. bip_prim_func.ads
  164. bit_packed_array1.adb
  165. bit_packed_array1.ads
  166. bit_packed_array2.adb
  167. bit_packed_array3.adb
  168. bit_packed_array4.adb
  169. bit_packed_array4.ads
  170. bit_packed_array5.adb
  171. bit_packed_array5.ads
  172. blkextract_from_reg.adb
  173. blocklocs.adb
  174. bltins.adb
  175. boolean_bitfield.adb
  176. boolean_conv.adb
  177. boolean_expr1.adb
  178. boolean_expr1.ads
  179. boolean_expr2.adb
  180. boolean_subtype1.adb
  181. boolean_subtype2.adb
  182. boolean_subtype2.ads
  183. boolean_subtype2_pkg.ads
  184. bug_elaboration_code.adb
  185. bug_elaboration_code.ads
  186. c_words.adb
  187. c_words.ads
  188. capture_value.adb
  189. case_null.adb
  190. case_null.ads
  191. case_optimization1.adb
  192. case_optimization1.ads
  193. case_optimization2.adb
  194. case_optimization_pkg1.ads
  195. case_optimization_pkg2.adb
  196. case_optimization_pkg2.ads
  197. check1.adb
  198. check1.ads
  199. check_displace_generation.adb
  200. check_elaboration_code.adb
  201. class_wide1.adb
  202. class_wide2.adb
  203. class_wide2.ads
  204. compose.adb
  205. concat1.adb
  206. concat1_pkg.adb
  207. concat1_pkg.ads
  208. concat2.adb
  209. concat2.ads
  210. concat_length.adb
  211. cond_expr1.adb
  212. cond_expr2.adb
  213. cond_expr2.ads
  214. constant1.adb
  215. constant2.adb
  216. constant2_pkg1.ads
  217. constant2_pkg2.adb
  218. constant2_pkg2.ads
  219. constant3.adb
  220. constant4.adb
  221. constant4_pkg.ads
  222. controlled1.ads
  223. controlled2.adb
  224. controlled2.ads
  225. controlled3.ads
  226. controlled4.adb
  227. controlled4.ads
  228. controlled5.adb
  229. controlled5_pkg.adb
  230. controlled5_pkg.ads
  231. controlled6.adb
  232. controlled6_pkg-iterators.adb
  233. controlled6_pkg-iterators.ads
  234. controlled6_pkg.ads
  235. controlled7.adb
  236. controlled7.ads
  237. controlled_record.adb
  238. controlled_record.ads
  239. conv_bug.adb
  240. conv_decimal.adb
  241. conv_integer.adb
  242. conv_real.adb
  243. curr_task.adb
  244. debug1.ads
  245. debug2.adb
  246. debug2.ads
  247. debug2_pkg.ads
  248. debug3.adb
  249. debug3.ads
  250. decl_ctx_def.ads
  251. decl_ctx_use.adb
  252. decl_ctx_use.ads
  253. deferred_const1.adb
  254. deferred_const2.adb
  255. deferred_const2_pkg.adb
  256. deferred_const2_pkg.ads
  257. deferred_const3.adb
  258. deferred_const3_pkg.adb
  259. deferred_const3_pkg.ads
  260. deferred_const4.adb
  261. deferred_const4.ads
  262. deferred_const4_pkg.ads
  263. deques.ads
  264. deref1.ads
  265. deref2.ads
  266. deref3.adb
  267. derived_aggregate.adb
  268. derived_type1.adb
  269. derived_type2.adb
  270. derived_type3.adb
  271. derived_type3_pkg.adb
  272. derived_type3_pkg.ads
  273. derived_type4.adb
  274. dg.exp
  275. discr1.ads
  276. discr10.adb
  277. discr10.ads
  278. discr11.adb
  279. discr11.ads
  280. discr11_pkg.ads
  281. discr12.adb
  282. discr12_pkg.ads
  283. discr13.adb
  284. discr14.adb
  285. discr14.ads
  286. discr15.adb
  287. discr15_pkg.ads
  288. discr16.adb
  289. discr16_cont.ads
  290. discr16_g.ads
  291. discr16_pkg.ads
  292. discr17.adb
  293. discr18.adb
  294. discr18_pkg.ads
  295. discr19.adb
  296. discr2.adb
  297. discr2.ads
  298. discr20.adb
  299. discr20.ads
  300. discr21.adb
  301. discr21.ads
  302. discr21_pkg.ads
  303. discr22.adb
  304. discr23.adb
  305. discr23.ads
  306. discr23_pkg.ads
  307. discr24.adb
  308. discr25.adb
  309. discr25_pkg.adb
  310. discr25_pkg.ads
  311. discr26.adb
  312. discr26.ads
  313. discr26_pkg.ads
  314. discr27.adb
  315. discr27.ads
  316. discr28.adb
  317. discr28.ads
  318. discr28_pkg.ads
  319. discr29.adb
  320. discr29.ads
  321. discr3.ads
  322. discr30.adb
  323. discr31.adb
  324. discr31.ads
  325. discr32.adb
  326. discr32_pkg.ads
  327. discr33.adb
  328. discr34.adb
  329. discr34_pkg.ads
  330. discr35.adb
  331. discr35.ads
  332. discr36.adb
  333. discr36.ads
  334. discr36_pkg.adb
  335. discr36_pkg.ads
  336. discr37.adb
  337. discr37.ads
  338. discr38.adb
  339. discr39.adb
  340. discr4.adb
  341. discr40.adb
  342. discr40.ads
  343. discr41.adb
  344. discr41.ads
  345. discr42.adb
  346. discr42_pkg.adb
  347. discr42_pkg.ads
  348. discr5.adb
  349. discr7.adb
  350. discr8.adb
  351. discr8.ads
  352. discr8_pkg1.ads
  353. discr8_pkg2.ads
  354. discr8_pkg3.ads
  355. discr9.adb
  356. discr9.ads
  357. discr_range_check.adb
  358. discr_test.adb
  359. discr_test2.adb
  360. dispatch1.adb
  361. dispatch1_p.ads
  362. dispatch2.adb
  363. dispatch2_p.adb
  364. dispatch2_p.ads
  365. div_no_warning.adb
  366. dse_step.adb
  367. dse_step.ads
  368. dynamic_bound.adb
  369. dynamic_elab1.adb
  370. dynamic_elab1.ads
  371. dynamic_elab2.adb
  372. dynamic_elab2.ads
  373. dynamic_elab_pkg.ads
  374. elab1.ads
  375. elab2.adb
  376. elim1.adb
  377. elim1.ads
  378. elim2.adb
  379. empty_vector_length.adb
  380. enclosing_record_reference.adb
  381. enclosing_record_reference.ads
  382. entry_queues.adb
  383. entry_queues2.adb
  384. entry_queues3.adb
  385. enum1.adb
  386. enum1_pkg.ads
  387. enum2.adb
  388. enum2_pkg.ads
  389. enum3.adb
  390. env_compile_capacity.adb
  391. env_compile_capacity.ads
  392. equal1.ads
  393. equal_access.adb
  394. exp0_eval.adb
  395. expect1.adb
  396. ext1.ads
  397. fatp_sra.adb
  398. finalized.adb
  399. fixce.adb
  400. fixedpnt.adb
  401. forward_anon.adb
  402. forward_anon.ads
  403. forward_vla.adb
  404. fp_exception.adb
  405. frame_overflow.adb
  406. frame_overflow.ads
  407. frunaligned.adb
  408. frunaligned1.ads
  409. g_tables.adb
  410. g_tables.ads
  411. gen_disp.adb
  412. gen_disp.ads
  413. generic_dispatch.adb
  414. generic_dispatch_p.adb
  415. generic_dispatch_p.ads
  416. gnat_malloc.adb
  417. gnatg.adb
  418. graphic.adb
  419. graphic.ads
  420. handle_and_return.adb
  421. handle_raise_from_pure.adb
  422. hyper_flat.adb
  423. ice_type.adb
  424. ice_types.ads
  425. iface1.ads
  426. iface2.adb
  427. iface2.ads
  428. iface_test.adb
  429. iface_test.ads
  430. ifaces.adb
  431. ifaces.ads
  432. import1.adb
  433. import1.ads
  434. in_mod_conv.adb
  435. in_out_parameter.adb
  436. in_out_parameter2.adb
  437. in_out_parameter3.adb
  438. in_out_parameter4.adb
  439. include.adb
  440. incomplete1.ads
  441. incomplete2.adb
  442. incomplete2.ads
  443. incomplete3.adb
  444. incomplete3.ads
  445. init_scalar1.adb
  446. inline1.adb
  447. inline10.adb
  448. inline10_pkg.adb
  449. inline10_pkg.ads
  450. inline11.adb
  451. inline11_pkg.adb
  452. inline11_pkg.ads
  453. inline12.adb
  454. inline1_pkg.adb
  455. inline1_pkg.ads
  456. inline2.adb
  457. inline2_pkg.adb
  458. inline2_pkg.ads
  459. inline3.adb
  460. inline3_pkg.adb
  461. inline3_pkg.ads
  462. inline4.adb
  463. inline4_pkg.adb
  464. inline4_pkg.ads
  465. inline5.adb
  466. inline5_pkg.adb
  467. inline5_pkg.ads
  468. inline6.adb
  469. inline6_pkg.adb
  470. inline6_pkg.ads
  471. inline7.adb
  472. inline7_pkg1.adb
  473. inline7_pkg1.ads
  474. inline7_pkg2.adb
  475. inline7_pkg2.ads
  476. inline8.adb
  477. inline8_pkg1.adb
  478. inline8_pkg1.ads
  479. inline8_pkg2.adb
  480. inline8_pkg2.ads
  481. inline9.adb
  482. inline9_pkg.adb
  483. inline9_pkg.ads
  484. inline_scope.adb
  485. inline_scope_p.adb
  486. inline_scope_p.ads
  487. inline_tagged.adb
  488. interface1.adb
  489. interface2.adb
  490. interface3.adb
  491. interface4.adb
  492. interface5.adb
  493. interface5.ads
  494. interface_conv.adb
  495. invalid1.adb
  496. invariant_index.adb
  497. invariant_index.ads
  498. iprot_test.adb
  499. itype.adb
  500. itype.ads
  501. itypes.adb
  502. itypes.ads
  503. kill_value.adb
  504. late_overriding.adb
  505. layered_abstraction.adb
  506. layered_abstraction.ads
  507. layered_abstraction_p.ads
  508. layered_instance.adb
  509. lhs_view_convert.adb
  510. limited_with.adb
  511. limited_with.ads
  512. limited_with2.adb
  513. limited_with2.ads
  514. limited_with2_pkg1.ads
  515. limited_with2_pkg2.ads
  516. limited_with3.adb
  517. limited_with3.ads
  518. limited_with3_pkg1.adb
  519. limited_with3_pkg1.ads
  520. limited_with3_pkg2.ads
  521. limited_with3_pkg3.ads
  522. loop_address.adb
  523. loop_address2.adb
  524. loop_boolean.adb
  525. loop_bound.adb
  526. loop_optimization1.adb
  527. loop_optimization1.ads
  528. loop_optimization10.adb
  529. loop_optimization10.ads
  530. loop_optimization10_pkg.ads
  531. loop_optimization11.adb
  532. loop_optimization11_pkg.ads
  533. loop_optimization12.adb
  534. loop_optimization12.ads
  535. loop_optimization13.adb
  536. loop_optimization13.ads
  537. loop_optimization13_pkg.ads
  538. loop_optimization14.adb
  539. loop_optimization14.ads
  540. loop_optimization14_pkg.ads
  541. loop_optimization15.adb
  542. loop_optimization15.ads
  543. loop_optimization16.adb
  544. loop_optimization16_pkg.adb
  545. loop_optimization16_pkg.ads
  546. loop_optimization17.adb
  547. loop_optimization17_pkg.adb
  548. loop_optimization17_pkg.ads
  549. loop_optimization18.adb
  550. loop_optimization18.ads
  551. loop_optimization18_pkg.ads
  552. loop_optimization2.adb
  553. loop_optimization2.ads
  554. loop_optimization23.adb
  555. loop_optimization23_pkg.adb
  556. loop_optimization23_pkg.ads
  557. loop_optimization3.adb
  558. loop_optimization3_pkg.adb
  559. loop_optimization3_pkg.ads
  560. loop_optimization4.adb
  561. loop_optimization4_pkg.adb
  562. loop_optimization4_pkg.ads
  563. loop_optimization5.adb
  564. loop_optimization5_pkg.ads
  565. loop_optimization6.adb
  566. loop_optimization6.ads
  567. loop_optimization7.adb
  568. loop_optimization7.ads
  569. loop_optimization7_pkg.ads
  570. loop_optimization8.adb
  571. loop_optimization8_pkg1.adb
  572. loop_optimization8_pkg1.ads
  573. loop_optimization8_pkg2.adb
  574. loop_optimization8_pkg2.ads
  575. loop_optimization9.adb
  576. loop_optimization9.ads
  577. loop_unchecked_conversion.adb
  578. loop_unchecked_conversion.ads
  579. lto1.adb
  580. lto10.adb
  581. lto10_pkg.ads
  582. lto11.adb
  583. lto11.ads
  584. lto13.adb
  585. lto13_pkg.adb
  586. lto13_pkg.ads
  587. lto14.adb
  588. lto15.adb
  589. lto15.ads
  590. lto16.adb
  591. lto16_pkg.adb
  592. lto16_pkg.ads
  593. lto1_pkg.adb
  594. lto1_pkg.ads
  595. lto2.adb
  596. lto4.adb
  597. lto4.ads
  598. lto5.adb
  599. lto5_pkg.adb
  600. lto5_pkg.ads
  601. lto6.adb
  602. lto6_pkg.ads
  603. lto7.adb
  604. lto7_pkg.adb
  605. lto7_pkg.ads
  606. lto8.adb
  607. lto8_pkg.adb
  608. lto8_pkg.ads
  609. lto9.adb
  610. lto9_pkg1.ads
  611. lto9_pkg2.adb
  612. lto9_pkg2.ads
  613. machine_code1.adb
  614. max_align.adb
  615. md5_test.adb
  616. memtrap.adb
  617. misaligned_nest.adb
  618. misaligned_param.adb
  619. misaligned_param_pkg.adb
  620. misaligned_param_pkg.ads
  621. misaligned_volatile.adb
  622. missing_acc_check.adb
  623. modify_a_constant.adb
  624. modular1.adb
  625. modular2.adb
  626. modular3.adb
  627. modular3_pkg.ads
  628. modular4.adb
  629. modular4_pkg.ads
  630. mutable1.adb
  631. my_env_versioned_value_set_g.ads
  632. named_test.adb
  633. namet.ads
  634. nan_max.adb
  635. nat1.ads
  636. nat1r.adb
  637. nested_agg_bitfield_constructor.adb
  638. nested_controlled_alloc.adb
  639. nested_float_packed.ads
  640. nested_generic1.adb
  641. nested_generic1_pkg.adb
  642. nested_generic1_pkg.ads
  643. nested_proc1.adb
  644. nested_proc2.adb
  645. nested_return_test.adb
  646. nested_subtype_byref.adb
  647. nested_subtype_byref.ads
  648. no_exc_prop.adb
  649. no_exc_prop.ads
  650. no_final.adb
  651. noinline2.adb
  652. noinline2.ads
  653. noreturn1.adb
  654. noreturn1.ads
  655. noreturn2.adb
  656. noreturn2.ads
  657. noreturn3.adb
  658. noreturn3.ads
  659. noreturn4.adb
  660. noreturn4.ads
  661. noreturn4_pkg.ads
  662. noreturn5.adb
  663. noreturn5.ads
  664. not_null.adb
  665. notnot.adb
  666. null_pointer_deref1.adb
  667. null_pointer_deref2.adb
  668. null_pointer_deref3.adb
  669. oalign1.ads
  670. oalign2.ads
  671. object_overflow1.adb
  672. object_overflow2.adb
  673. object_overflow3.adb
  674. object_overflow4.adb
  675. object_overflow5.adb
  676. oconst1.adb
  677. oconst1.ads
  678. oconst2.adb
  679. oconst2.ads
  680. oconst3.adb
  681. oconst3.ads
  682. oconst4.adb
  683. oconst4.ads
  684. oconst5.adb
  685. oconst5.ads
  686. old_errors.ads
  687. opt1.adb
  688. opt1.ads
  689. opt10.adb
  690. opt10_pkg.ads
  691. opt11.adb
  692. opt11.ads
  693. opt12.adb
  694. opt12_pkg.adb
  695. opt12_pkg.ads
  696. opt13.adb
  697. opt13_pkg.adb
  698. opt13_pkg.ads
  699. opt14.adb
  700. opt15.adb
  701. opt15_pkg.adb
  702. opt15_pkg.ads
  703. opt16.adb
  704. opt17.adb
  705. opt17.ads
  706. opt18.adb
  707. opt18.ads
  708. opt18_pkg.ads
  709. opt19.adb
  710. opt2.adb
  711. opt20.adb
  712. opt20.ads
  713. opt20_pkg.ads
  714. opt21.adb
  715. opt21_pkg.adb
  716. opt21_pkg.ads
  717. opt22.adb
  718. opt22_pkg.adb
  719. opt22_pkg.ads
  720. opt23.adb
  721. opt23.ads
  722. opt23_pkg.adb
  723. opt23_pkg.ads
  724. opt24.adb
  725. opt24.ads
  726. opt25.adb
  727. opt25_pkg1.adb
  728. opt25_pkg1.ads
  729. opt25_pkg2.adb
  730. opt25_pkg2.ads
  731. opt26.adb
  732. opt27.adb
  733. opt27_pkg.adb
  734. opt27_pkg.ads
  735. opt28.adb
  736. opt28.ads
  737. opt28_pkg.ads
  738. opt29.adb
  739. opt29.ads
  740. opt3.adb
  741. opt30.adb
  742. opt31.adb
  743. opt32.adb
  744. opt33.adb
  745. opt34.adb
  746. opt34_pkg.ads
  747. opt35.adb
  748. opt35_pkg.adb
  749. opt35_pkg.ads
  750. opt36.adb
  751. opt37.adb
  752. opt37.ads
  753. opt38.adb
  754. opt38_pkg.adb
  755. opt38_pkg.ads
  756. opt39.adb
  757. opt3_pkg.ads
  758. opt4.adb
  759. opt40.adb
  760. opt41.adb
  761. opt41_pkg.adb
  762. opt41_pkg.ads
  763. opt42.adb
  764. opt42.ads
  765. opt43.adb
  766. opt44.adb
  767. opt44.ads
  768. opt45.adb
  769. opt46.adb
  770. opt46.ads
  771. opt46_pkg.adb
  772. opt46_pkg.ads
  773. opt47.adb
  774. opt48.adb
  775. opt48_pkg1.adb
  776. opt48_pkg1.ads
  777. opt48_pkg2.adb
  778. opt48_pkg2.ads
  779. opt5.adb
  780. opt6.adb
  781. opt6.ads
  782. opt63.adb
  783. opt7.adb
  784. opt7.ads
  785. opt7_pkg.ads
  786. opt8.adb
  787. opt8.ads
  788. opt8_pkg.ads
  789. opt9.adb
  790. opt9_pkg.ads
  791. outer_agg_bitfield_constructor.adb
  792. overflow_fixed.adb
  793. overflow_sum.adb
  794. overflow_sum2.adb
  795. overriding_ops.adb
  796. overriding_ops.ads
  797. overriding_ops_p.ads
  798. pack1.ads
  799. pack10.adb
  800. pack11.adb
  801. pack12.adb
  802. pack13.adb
  803. pack13.ads
  804. pack13_pkg.ads
  805. pack14.adb
  806. pack15.adb
  807. pack15.ads
  808. pack16.adb
  809. pack16_pkg.ads
  810. pack17.adb
  811. pack18.adb
  812. pack18_pkg.ads
  813. pack19.adb
  814. pack2.adb
  815. pack20.adb
  816. pack20.ads
  817. pack20_pkg.ads
  818. pack3.adb
  819. pack4.adb
  820. pack5.adb
  821. pack6.adb
  822. pack7.adb
  823. pack8.adb
  824. pack9.adb
  825. pack9.ads
  826. packed_subtype.adb
  827. pak.adb
  828. pak.ads
  829. parameterlessfunc.adb
  830. parent_ltd_with-child_full_view.adb
  831. parent_ltd_with-child_full_view.ads
  832. parent_ltd_with.ads
  833. pointer_array.adb
  834. pointer_controlled.adb
  835. pointer_conversion.adb
  836. pointer_discr1.adb
  837. pointer_discr1_pkg1.ads
  838. pointer_discr1_pkg2.ads
  839. pointer_discr1_pkg3.ads
  840. pointer_protected.adb
  841. pointer_protected_p.ads
  842. pointer_variable_bounds.adb
  843. pointer_variable_bounds.ads
  844. pointer_variable_bounds_q.ads
  845. prefix1.adb
  846. prefix1.ads
  847. prefix2.adb
  848. prefix2.ads
  849. profile_warning.adb
  850. profile_warning.ads
  851. profile_warning_p.adb
  852. profile_warning_p.ads
  853. prot1.adb
  854. prot2.adb
  855. prot2.ads
  856. prot2_pkg1.ads
  857. prot2_pkg2.adb
  858. prot2_pkg2.ads
  859. prot_def.adb
  860. protected_self_ref1.adb
  861. protected_self_ref2.adb
  862. quote.adb
  863. raise_ce.adb
  864. raise_from_pure.adb
  865. raise_from_pure.ads
  866. range_check.adb
  867. range_check2.adb
  868. rational_arithmetic.ads
  869. recursive_call.adb
  870. ref_type.adb
  871. ref_type.ads
  872. regpat1.adb
  873. release_unc_maxalign.adb
  874. remote_type.adb
  875. remote_type.ads
  876. renaming1.adb
  877. renaming1.ads
  878. renaming2.adb
  879. renaming3.adb
  880. renaming4.ads
  881. renaming5.adb
  882. renaming5.ads
  883. rep_clause1.adb
  884. rep_clause2.adb
  885. rep_clause2.ads
  886. rep_clause3.adb
  887. rep_clause4.adb
  888. rep_clause5.adb
  889. rep_clause5.ads
  890. rep_clause5_pkg.ads
  891. requeue1.adb
  892. return1.adb
  893. return1.ads
  894. return2.adb
  895. return2.ads
  896. return2_pkg.ads
  897. return3.adb
  898. return4.adb
  899. return4_pkg.adb
  900. return4_pkg.ads
  901. round_div.adb
  902. rt1.adb
  903. rt1.ads
  904. scalar_mode_agg_compare.adb
  905. scalar_mode_agg_compare_loop.adb
  906. self.adb
  907. self.ads
  908. self1.adb
  909. self_aggregate_with_array.adb
  910. self_aggregate_with_call.adb
  911. self_aggregate_with_pointer.adb
  912. self_aggregate_with_zeros.adb
  913. set_in_pproc.adb
  914. show_deques_priority.adb
  915. size_attribute.adb
  916. sizetype1.adb
  917. sizetype2.adb
  918. sizetype3.adb
  919. sizetype3.ads
  920. sizetype3_pkg.ads
  921. sizetype4.adb
  922. slice1.adb
  923. slice2.adb
  924. slice2.ads
  925. slice3.adb
  926. slice4.adb
  927. slice5.adb
  928. slice6.adb
  929. slice6_pkg.ads
  930. slice7.adb
  931. slice7_pkg.ads
  932. slice8.adb
  933. slice8_pkg1.ads
  934. slice8_pkg2.ads
  935. slice8_pkg3.adb
  936. slice8_pkg3.ads
  937. slice_enum.adb
  938. small_alignment.adb
  939. socket1.adb
  940. sort1.adb
  941. sort1.ads
  942. sort2.adb
  943. source_ref1.adb
  944. source_ref2.adb
  945. spipaterr.adb
  946. sse_nolib.adb
  947. stack_check1.adb
  948. stack_check2.adb
  949. stack_check3.adb
  950. stack_check3.ads
  951. stack_usage1.adb
  952. stack_usage1_pkg.adb
  953. stack_usage1_pkg.ads
  954. stack_usage1b.adb
  955. stack_usage1c.adb
  956. stack_usage2.adb
  957. statically_matching.ads
  958. str1.adb
  959. string_comparison.adb
  960. string_slice.adb
  961. string_slice2.adb
  962. subp_elim_errors.adb
  963. subp_elim_errors.ads
  964. sync1.adb
  965. sync1.ads
  966. sync_iface_test.adb
  967. sync_iface_test.ads
  968. taft_type1.adb
  969. taft_type1_pkg1.adb
  970. taft_type1_pkg1.ads
  971. taft_type1_pkg2.ads
  972. taft_type2.adb
  973. taft_type2.ads
  974. taft_type2_pkg.ads
  975. taft_type3.adb
  976. taft_type3_pkg.ads
  977. tag1.adb
  978. tagged_alloc_free.adb
  979. tagged_type_pkg.adb
  980. tagged_type_pkg.ads
  981. tail_call.adb
  982. tail_call_p.adb
  983. tail_call_p.ads
  984. task_name.adb
  985. task_name.ads
  986. task_stack_align.adb
  987. test_8bitlong_overflow.adb
  988. test_address_null_init.adb
  989. test_ai254.adb
  990. test_allocator_maxalign2.adb
  991. test_bip_no_alloc.adb
  992. test_bounded.adb
  993. test_call.adb
  994. test_debug1.adb
  995. test_delay.adb
  996. test_direct_io.adb
  997. test_dse_step.adb
  998. test_enum_io.adb
  999. test_equal1.adb
  1000. test_ext1.adb
  1001. test_fixed_io.adb
  1002. test_iface_aggr.adb
  1003. test_ifaces.adb
  1004. test_image.adb
  1005. test_image_p.adb
  1006. test_image_p.ads
  1007. test_nested_subtype_byref.adb
  1008. test_oalign.adb
  1009. test_oconst.adb
  1010. test_prefix1.adb
  1011. test_prio.adb
  1012. test_prio_p.adb
  1013. test_prio_p.ads
  1014. test_raise_from_pure.adb
  1015. test_rational_arithmetic.adb
  1016. test_self.adb
  1017. test_self_ref.adb
  1018. test_table1.adb
  1019. test_tables.adb
  1020. test_time_stamp.adb
  1021. test_unknown_discrs.adb
  1022. test_version.adb
  1023. testint.adb
  1024. tf_interface_1.adb
  1025. tf_interface_1.ads
  1026. tfren.adb
  1027. thin_pointer1.adb
  1028. thin_pointer1.ads
  1029. thin_pointer2.adb
  1030. thin_pointer2_pkg.adb
  1031. thin_pointer2_pkg.ads
  1032. timer_cancel.adb
  1033. trampoline1.adb
  1034. trampoline2.adb
  1035. tree_static_def.adb
  1036. tree_static_def.ads
  1037. tree_static_use.adb
  1038. type_conv.adb
  1039. unaligned_rep_clause.adb
  1040. unc.adb
  1041. unc_memfree.adb
  1042. unc_memops.adb
  1043. unc_memops.ads
  1044. unchecked_convert1.adb
  1045. unchecked_convert2.adb
  1046. unchecked_convert3.adb
  1047. unchecked_convert4.adb
  1048. unchecked_convert5.adb
  1049. unchecked_convert5b.adb
  1050. unchecked_convert6.adb
  1051. unchecked_convert6b.adb
  1052. unchecked_convert7.adb
  1053. unchecked_convert8.adb
  1054. unchecked_convert8.ads
  1055. unchecked_convert9.adb
  1056. unchecked_convert9.ads
  1057. unchecked_union1.adb
  1058. uninit_array.adb
  1059. uninit_array.ads
  1060. uninit_array_pkg.ads
  1061. uninit_func.adb
  1062. valid1.adb
  1063. valued_proc.adb
  1064. valued_proc_pkg.ads
  1065. varsize_copy.adb
  1066. varsize_copy.ads
  1067. varsize_temp.adb
  1068. vect1.adb
  1069. vect1.ads
  1070. vect10.adb
  1071. vect10.ads
  1072. vect11.adb
  1073. vect11.ads
  1074. vect12.adb
  1075. vect12.ads
  1076. vect13.adb
  1077. vect13.ads
  1078. vect14.adb
  1079. vect1_pkg.ads
  1080. vect2.adb
  1081. vect2.ads
  1082. vect2_pkg.ads
  1083. vect3.adb
  1084. vect3.ads
  1085. vect3_pkg.ads
  1086. vect4.adb
  1087. vect4.ads
  1088. vect4_pkg.ads
  1089. vect5.adb
  1090. vect5.ads
  1091. vect5_pkg.ads
  1092. vect6.adb
  1093. vect6.ads
  1094. vect6_pkg.ads
  1095. vect7.adb
  1096. vect7.ads
  1097. vect8.adb
  1098. vect8.ads
  1099. vect9.adb
  1100. vect9.ads
  1101. vect9_pkg.ads
  1102. view_conversion1.adb
  1103. volatile1.ads
  1104. volatile10.adb
  1105. volatile10_pkg.ads
  1106. volatile11.adb
  1107. volatile11_pkg.adb
  1108. volatile11_pkg.ads
  1109. volatile12.adb
  1110. volatile12.ads
  1111. volatile13.adb
  1112. volatile13.ads
  1113. volatile2.adb
  1114. volatile2.ads
  1115. volatile3.adb
  1116. volatile4.adb
  1117. volatile5.adb
  1118. volatile5_pkg.ads
  1119. volatile6.adb
  1120. volatile7.adb
  1121. volatile8.adb
  1122. volatile9.adb
  1123. volatile_aggregate.adb
  1124. warn1.adb
  1125. warn10.adb
  1126. warn10.ads
  1127. warn10_pkg.ads
  1128. warn2.adb
  1129. warn3.adb
  1130. warn4.adb
  1131. warn5.adb
  1132. warn6.adb
  1133. warn6.ads
  1134. warn7.adb
  1135. warn8.adb
  1136. warn9.adb
  1137. weak2.adb
  1138. weak2.ads
  1139. wide_boolean.adb
  1140. wide_boolean_pkg.adb
  1141. wide_boolean_pkg.ads
  1142. wide_pi.adb
  1143. wide_test.adb