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