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