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