/cp
[official-gcc.git] / gcc / testsuite / gnat.dg / 
tree19b3f0aeca274428b7e10a04d86f67d1332b5e21
drwxr-xr-x   ..
-rw-r--r-- 964 abstract1.adb
-rw-r--r-- 619 abstract1.ads
-rw-r--r-- 896 abstract_with_anonymous_result.adb
-rw-r--r-- 414 access1.adb
-rw-r--r-- 367 access2.adb
-rw-r--r-- 318 access3.adb
-rw-r--r-- 246 access3.ads
-rw-r--r-- 147 access4.adb
-rw-r--r-- 559 access_discr.adb
-rw-r--r-- 197 access_discr2.adb
-rw-r--r-- 217 access_func.adb
-rw-r--r-- 563 access_test.adb
-rw-r--r-- 387 addr1.adb
-rw-r--r-- 48 addr1.ads
-rw-r--r-- 158 addr2.adb
-rw-r--r-- 248 addr2_p.adb
-rw-r--r-- 229 addr2_p.ads
-rw-r--r-- 664 addr3.adb
-rw-r--r-- 253 addr4.adb
-rw-r--r-- 199 addr5.adb
-rw-r--r-- 554 addr6.adb
-rw-r--r-- 179 addr7.adb
-rw-r--r-- 145 addr7.ads
-rw-r--r-- 171 addr8.adb
-rw-r--r-- 137 addr8.ads
-rw-r--r-- 408 addr_slice.adb
-rw-r--r-- 452 address_conversion.adb
-rw-r--r-- 226 address_null_init.ads
-rw-r--r-- 1228 aggr1.adb
-rw-r--r-- 593 aggr10.adb
-rw-r--r-- 460 aggr10_pkg.ads
-rw-r--r-- 405 aggr11.adb
-rw-r--r-- 283 aggr11_pkg.ads
-rw-r--r-- 399 aggr12.adb
-rw-r--r-- 261 aggr12.ads
-rw-r--r-- 437 aggr13.adb
-rw-r--r-- 91 aggr14.adb
-rw-r--r-- 235 aggr14_pkg.adb
-rw-r--r-- 148 aggr14_pkg.ads
-rw-r--r-- 303 aggr15.adb
-rw-r--r-- 233 aggr15.ads
-rw-r--r-- 431 aggr16.adb
-rw-r--r-- 50 aggr16.ads
-rw-r--r-- 433 aggr16_pkg.ads
-rw-r--r-- 554 aggr17.adb
-rw-r--r-- 545 aggr18.adb
-rw-r--r-- 253 aggr19.adb
-rw-r--r-- 153 aggr19_pkg.adb
-rw-r--r-- 570 aggr19_pkg.ads
-rw-r--r-- 310 aggr2.adb
-rw-r--r-- 147 aggr20.adb
-rw-r--r-- 430 aggr20.ads
-rw-r--r-- 140 aggr20_pkg.ads
-rw-r--r-- 284 aggr21.adb
-rw-r--r-- 135 aggr21_pkg.adb
-rw-r--r-- 178 aggr21_pkg.ads
-rw-r--r-- 842 aggr3.adb
-rw-r--r-- 514 aggr4.adb
-rw-r--r-- 813 aggr7.adb
-rw-r--r-- 401 aggr8.adb
-rw-r--r-- 162 aggr9.adb
-rw-r--r-- 89 aggr9.ads
-rw-r--r-- 231 aggr9_pkg.ads
-rw-r--r-- 568 aliased1.adb
-rw-r--r-- 1558 aliased_prefix_accessibility.adb
-rw-r--r-- 491 aliasing1.adb
-rw-r--r-- 177 aliasing1.ads
-rw-r--r-- 496 aliasing2.adb
-rw-r--r-- 163 aliasing2.ads
-rw-r--r-- 162 aliasing3.adb
-rw-r--r-- 157 aliasing3_pkg.adb
-rw-r--r-- 305 aliasing3_pkg.ads
-rw-r--r-- 523 align_check.adb
-rw-r--r-- 3832 align_max.adb
-rw-r--r-- 533 aligned_vla.adb
-rw-r--r-- 247 alignment1.adb
-rw-r--r-- 390 alignment10.adb
-rw-r--r-- 1236 alignment2.adb
-rw-r--r-- 883 alignment3.adb
-rw-r--r-- 284 alignment4.adb
-rw-r--r-- 701 alignment5.adb
-rw-r--r-- 760 alignment6.adb
-rw-r--r-- 306 alignment7.adb
-rw-r--r-- 318 alignment8.adb
-rw-r--r-- 444 alignment9.adb
-rw-r--r-- 964 allocator_maxalign1.adb
-rw-r--r-- 669 allocator_maxalign2.adb
-rw-r--r-- 211 allocator_maxalign2.ads
-rw-r--r-- 233 ancestor_type.adb
-rw-r--r-- 200 ancestor_type.ads
-rw-r--r-- 66 anon1.ads
-rw-r--r-- 120 anon2.adb
-rw-r--r-- 656 array1.adb
-rw-r--r-- 151 array1.ads
-rw-r--r-- 449 array10.adb
-rw-r--r-- 333 array11.adb
-rw-r--r-- 347 array12.adb
-rw-r--r-- 211 array13.adb
-rw-r--r-- 201 array13.ads
-rw-r--r-- 682 array14.adb
-rw-r--r-- 52 array14.ads
-rw-r--r-- 455 array14_pkg.ads
-rw-r--r-- 397 array15.adb
-rw-r--r-- 78 array15.ads
-rw-r--r-- 600 array16.adb
-rw-r--r-- 537 array16.ads
-rw-r--r-- 71 array16_pkg.ads
-rw-r--r-- 242 array17.adb
-rw-r--r-- 180 array17_pkg.ads
-rw-r--r-- 125 array18.adb
-rw-r--r-- 132 array18_pkg.ads
-rw-r--r-- 531 array19.adb
-rw-r--r-- 53 array19.ads
-rw-r--r-- 129 array2.ads
-rw-r--r-- 201 array20.adb
-rw-r--r-- 60 array20.ads
-rw-r--r-- 309 array21.adb
-rw-r--r-- 385 array22.adb
-rw-r--r-- 145 array23.adb
-rw-r--r-- 254 array23_pkg1.ads
-rw-r--r-- 199 array23_pkg2.ads
-rw-r--r-- 65 array23_pkg3.ads
-rw-r--r-- 1110 array3.adb
-rw-r--r-- 576 array4.adb
-rw-r--r-- 575 array5.adb
-rw-r--r-- 605 array6.adb
-rw-r--r-- 538 array7.adb
-rw-r--r-- 484 array7.ads
-rw-r--r-- 575 array8.adb
-rw-r--r-- 309 array9.adb
-rw-r--r-- 397 array_bounds_test.adb
-rw-r--r-- 525 array_bounds_test2.adb
-rw-r--r-- 75 assert.ads
-rw-r--r-- 1086 assert1.adb
-rw-r--r-- 257 assign_from_packed.adb
-rw-r--r-- 335 assign_from_packed_pixels.ads
-rw-r--r-- 556 asynch.adb
-rw-r--r-- 199 asynch.ads
-rw-r--r-- 426 atomic1.adb
-rw-r--r-- 1024 atomic1_pkg.ads
-rw-r--r-- 214 atomic2.adb
-rw-r--r-- 398 atomic3.adb
-rw-r--r-- 270 atomic4.adb
-rw-r--r-- 534 atomic4.ads
-rw-r--r-- 341 atomic5.adb
-rw-r--r-- 382 atomic5.ads
-rw-r--r-- 1487 atomic6_1.adb
-rw-r--r-- 1681 atomic6_2.adb
-rw-r--r-- 1775 atomic6_3.adb
-rw-r--r-- 1613 atomic6_4.adb
-rw-r--r-- 1523 atomic6_5.adb
-rw-r--r-- 1543 atomic6_6.adb
-rw-r--r-- 1593 atomic6_7.adb
-rw-r--r-- 1476 atomic6_8.adb
-rw-r--r-- 600 atomic6_pkg.ads
-rw-r--r-- 146 bad_array.adb
-rw-r--r-- 1067 biased_uc.adb
-rw-r--r-- 1341 bip_aggregate_bug.adb
-rw-r--r-- 277 bip_prim_func.adb
-rw-r--r-- 222 bip_prim_func.ads
-rw-r--r-- 369 bit_packed_array1.adb
-rw-r--r-- 934 bit_packed_array1.ads
-rw-r--r-- 324 bit_packed_array2.adb
-rw-r--r-- 971 bit_packed_array3.adb
-rw-r--r-- 182 bit_packed_array4.adb
-rw-r--r-- 411 bit_packed_array4.ads
-rw-r--r-- 453 bit_packed_array5.adb
-rw-r--r-- 363 bit_packed_array5.ads
-rw-r--r-- 1178 blkextract_from_reg.adb
-rw-r--r-- 657 blocklocs.adb
-rw-r--r-- 202 bltins.adb
-rw-r--r-- 1198 boolean_bitfield.adb
-rw-r--r-- 536 boolean_conv.adb
-rw-r--r-- 781 boolean_expr1.adb
-rw-r--r-- 95 boolean_expr1.ads
-rw-r--r-- 314 boolean_expr2.adb
-rw-r--r-- 753 boolean_subtype1.adb
-rw-r--r-- 945 boolean_subtype2.adb
-rw-r--r-- 186 boolean_subtype2.ads
-rw-r--r-- 285 boolean_subtype2_pkg.ads
-rw-r--r-- 184 bug_elaboration_code.adb
-rw-r--r-- 119 bug_elaboration_code.ads
-rw-r--r-- 288 c_words.adb
-rw-r--r-- 469 c_words.ads
-rw-r--r-- 245 capture_value.adb
-rw-r--r-- 315 case_null.adb
-rw-r--r-- 207 case_null.ads
-rw-r--r-- 518 case_optimization1.adb
-rw-r--r-- 161 case_optimization1.ads
-rw-r--r-- 276 case_optimization2.adb
-rw-r--r-- 18675 case_optimization_pkg1.ads
-rw-r--r-- 598 case_optimization_pkg2.adb
-rw-r--r-- 764 case_optimization_pkg2.ads
-rw-r--r-- 146 check1.adb
-rw-r--r-- 207 check1.ads
-rw-r--r-- 1100 check_displace_generation.adb
-rw-r--r-- 197 check_elaboration_code.adb
-rw-r--r-- 489 class_wide1.adb
-rw-r--r-- 287 class_wide2.adb
-rw-r--r-- 311 class_wide2.ads
-rw-r--r-- 293 compose.adb
-rw-r--r-- 482 concat1.adb
-rw-r--r-- 117 concat1_pkg.adb
-rw-r--r-- 89 concat1_pkg.ads
-rw-r--r-- 362 concat2.adb
-rw-r--r-- 55 concat2.ads
-rw-r--r-- 317 concat_length.adb
-rw-r--r-- 177 cond_expr1.adb
-rw-r--r-- 209 cond_expr2.adb
-rw-r--r-- 82 cond_expr2.ads
-rw-r--r-- 134 constant1.adb
-rw-r--r-- 171 constant2.adb
-rw-r--r-- 134 constant2_pkg1.ads
-rw-r--r-- 184 constant2_pkg2.adb
-rw-r--r-- 108 constant2_pkg2.ads
-rw-r--r-- 391 constant3.adb
-rw-r--r-- 211 constant4.adb
-rw-r--r-- 440 constant4_pkg.ads
-rw-r--r-- 372 controlled1.ads
-rw-r--r-- 239 controlled2.adb
-rw-r--r-- 101 controlled2.ads
-rw-r--r-- 371 controlled3.ads
-rw-r--r-- 192 controlled4.adb
-rw-r--r-- 89 controlled4.ads
-rw-r--r-- 141 controlled5.adb
-rw-r--r-- 367 controlled5_pkg.adb
-rw-r--r-- 369 controlled5_pkg.ads
-rw-r--r-- 514 controlled6.adb
-rw-r--r-- 560 controlled6_pkg-iterators.adb
-rw-r--r-- 493 controlled6_pkg-iterators.ads
-rw-r--r-- 212 controlled6_pkg.ads
-rw-r--r-- 403 controlled7.adb
-rw-r--r-- 146 controlled7.ads
-rw-r--r-- 281 controlled_record.adb
-rw-r--r-- 329 controlled_record.ads
-rw-r--r-- 685 conv_bug.adb
-rw-r--r-- 739 conv_decimal.adb
-rw-r--r-- 246 conv_integer.adb
-rw-r--r-- 568 conv_real.adb
-rw-r--r-- 2246 curr_task.adb
-rw-r--r-- 502 debug1.ads
-rw-r--r-- 599 debug2.adb
-rw-r--r-- 52 debug2.ads
-rw-r--r-- 404 debug2_pkg.ads
-rw-r--r-- 483 debug3.adb
-rw-r--r-- 50 debug3.ads
-rw-r--r-- 48 decl_ctx_def.ads
-rw-r--r-- 229 decl_ctx_use.adb
-rw-r--r-- 74 decl_ctx_use.ads
-rw-r--r-- 276 deferred_const1.adb
-rw-r--r-- 203 deferred_const2.adb
-rw-r--r-- 201 deferred_const2_pkg.adb
-rw-r--r-- 224 deferred_const2_pkg.ads
-rw-r--r-- 344 deferred_const3.adb
-rw-r--r-- 342 deferred_const3_pkg.adb
-rw-r--r-- 356 deferred_const3_pkg.ads
-rw-r--r-- 174 deferred_const4.adb
-rw-r--r-- 279 deferred_const4.ads
-rw-r--r-- 347 deferred_const4_pkg.ads
-rw-r--r-- 400 deques.ads
-rw-r--r-- 104 deref1.ads
-rw-r--r-- 344 deref2.ads
-rw-r--r-- 172 deref3.adb
-rw-r--r-- 666 derived_aggregate.adb
-rw-r--r-- 650 derived_type1.adb
-rw-r--r-- 633 derived_type2.adb
-rw-r--r-- 124 derived_type3.adb
-rw-r--r-- 1048 derived_type3_pkg.adb
-rw-r--r-- 94 derived_type3_pkg.ads
-rw-r--r-- 288 derived_type4.adb
-rw-r--r-- 1096 dg.exp
-rw-r--r-- 466 discr1.ads
-rw-r--r-- 146 discr10.adb
-rw-r--r-- 516 discr10.ads
-rw-r--r-- 164 discr11.adb
-rw-r--r-- 174 discr11.ads
-rw-r--r-- 213 discr11_pkg.ads
-rw-r--r-- 565 discr12.adb
-rw-r--r-- 89 discr12_pkg.ads
-rw-r--r-- 607 discr13.adb
-rw-r--r-- 270 discr14.adb
-rw-r--r-- 1063 discr14.ads
-rw-r--r-- 312 discr15.adb
-rw-r--r-- 436 discr15_pkg.ads
-rw-r--r-- 404 discr16.adb
-rw-r--r-- 105 discr16_cont.ads
-rw-r--r-- 289 discr16_g.ads
-rw-r--r-- 165 discr16_pkg.ads
-rw-r--r-- 1085 discr17.adb
-rw-r--r-- 499 discr18.adb
-rw-r--r-- 470 discr18_pkg.ads
-rw-r--r-- 342 discr19.adb
-rw-r--r-- 372 discr2.adb
-rw-r--r-- 53 discr2.ads
-rw-r--r-- 141 discr20.adb
-rw-r--r-- 605 discr20.ads
-rw-r--r-- 584 discr21.adb
-rw-r--r-- 52 discr21.ads
-rw-r--r-- 351 discr21_pkg.ads
-rw-r--r-- 404 discr22.adb
-rw-r--r-- 280 discr23.adb
-rw-r--r-- 53 discr23.ads
-rw-r--r-- 221 discr23_pkg.ads
-rw-r--r-- 1192 discr24.adb
-rw-r--r-- 140 discr25.adb
-rw-r--r-- 463 discr25_pkg.adb
-rw-r--r-- 195 discr25_pkg.ads
-rw-r--r-- 258 discr26.adb
-rw-r--r-- 245 discr26.ads
-rw-r--r-- 71 discr26_pkg.ads
-rw-r--r-- 605 discr27.adb
-rw-r--r-- 53 discr27.ads
-rw-r--r-- 307 discr28.adb
-rw-r--r-- 337 discr28.ads
-rw-r--r-- 71 discr28_pkg.ads
-rw-r--r-- 139 discr29.adb
-rw-r--r-- 420 discr29.ads
-rw-r--r-- 299 discr3.ads
-rw-r--r-- 1194 discr30.adb
-rw-r--r-- 226 discr31.adb
-rw-r--r-- 370 discr31.ads
-rw-r--r-- 327 discr32.adb
-rw-r--r-- 472 discr32_pkg.ads
-rw-r--r-- 610 discr33.adb
-rw-r--r-- 121 discr34.adb
-rw-r--r-- 271 discr34_pkg.ads
-rw-r--r-- 215 discr35.adb
-rw-r--r-- 361 discr35.ads
-rw-r--r-- 298 discr36.adb
-rw-r--r-- 206 discr36.ads
-rw-r--r-- 151 discr36_pkg.adb
-rw-r--r-- 101 discr36_pkg.ads
-rw-r--r-- 217 discr37.adb
-rw-r--r-- 463 discr37.ads
-rw-r--r-- 941 discr38.adb
-rw-r--r-- 456 discr39.adb
-rw-r--r-- 894 discr4.adb
-rw-r--r-- 231 discr40.adb
-rw-r--r-- 719 discr40.ads
-rw-r--r-- 168 discr41.adb
-rw-r--r-- 437 discr41.ads
-rw-r--r-- 265 discr42.adb
-rw-r--r-- 255 discr42_pkg.adb
-rw-r--r-- 249 discr42_pkg.ads
-rw-r--r-- 323 discr5.adb
-rw-r--r-- 436 discr7.adb
-rw-r--r-- 636 discr8.adb
-rw-r--r-- 350 discr8.ads
-rw-r--r-- 203 discr8_pkg1.ads
-rw-r--r-- 236 discr8_pkg2.ads
-rw-r--r-- 73 discr8_pkg3.ads
-rw-r--r-- 188 discr9.adb
-rw-r--r-- 475 discr9.ads
-rw-r--r-- 415 discr_range_check.adb
-rw-r--r-- 437 discr_test.adb
-rw-r--r-- 381 discr_test2.adb
-rw-r--r-- 168 dispatch1.adb
-rw-r--r-- 95 dispatch1_p.ads
-rw-r--r-- 199 dispatch2.adb
-rw-r--r-- 152 dispatch2_p.adb
-rw-r--r-- 260 dispatch2_p.ads
-rw-r--r-- 293 div_no_warning.adb
-rw-r--r-- 361 dse_step.adb
-rw-r--r-- 411 dse_step.ads
-rw-r--r-- 529 dynamic_bound.adb
-rw-r--r-- 271 dynamic_elab1.adb
-rw-r--r-- 198 dynamic_elab1.ads
-rw-r--r-- 271 dynamic_elab2.adb
-rw-r--r-- 215 dynamic_elab2.ads
-rw-r--r-- 153 dynamic_elab_pkg.ads
-rw-r--r-- 474 elab1.ads
-rw-r--r-- 123 elab2.adb
-rw-r--r-- 83 elim1.adb
-rw-r--r-- 111 elim1.ads
-rw-r--r-- 70 elim2.adb
-rw-r--r-- 395 empty_vector_length.adb
-rw-r--r-- 888 enclosing_record_reference.adb
-rw-r--r-- 618 enclosing_record_reference.ads
-rw-r--r-- 1078 entry_queues.adb
-rw-r--r-- 834 entry_queues2.adb
-rw-r--r-- 247 enum1.adb
-rw-r--r-- 128 enum1_pkg.ads
-rw-r--r-- 274 enum2.adb
-rw-r--r-- 237 enum2_pkg.ads
-rw-r--r-- 522 enum3.adb
-rw-r--r-- 957 env_compile_capacity.adb
-rw-r--r-- 60 env_compile_capacity.ads
-rw-r--r-- 286 equal1.ads
-rw-r--r-- 142 equal_access.adb
-rw-r--r-- 620 exp0_eval.adb
-rw-r--r-- 300 expect1.adb
-rw-r--r-- 377 ext1.ads
-rw-r--r-- 234 fatp_sra.adb
-rw-r--r-- 220 finalized.adb
-rw-r--r-- 322 fixce.adb
-rw-r--r-- 186 fixedpnt.adb
-rw-r--r-- 151 forward_anon.adb
-rw-r--r-- 266 forward_anon.ads
-rw-r--r-- 419 forward_vla.adb
-rw-r--r-- 518 fp_exception.adb
-rw-r--r-- 558 frame_overflow.adb
-rw-r--r-- 423 frame_overflow.ads
-rw-r--r-- 159 frunaligned.adb
-rw-r--r-- 260 frunaligned1.ads
-rw-r--r-- 175 g_tables.adb
-rw-r--r-- 225 g_tables.ads
-rw-r--r-- 1375 gen_disp.adb
-rw-r--r-- 299 gen_disp.ads
-rw-r--r-- 236 generic_dispatch.adb
-rw-r--r-- 166 generic_dispatch_p.adb
-rw-r--r-- 525 generic_dispatch_p.ads
-rw-r--r-- 422 gnat_malloc.adb
-rw-r--r-- 305 gnatg.adb
-rw-r--r-- 538 graphic.adb
-rw-r--r-- 216 graphic.ads
-rw-r--r-- 282 handle_and_return.adb
-rw-r--r-- 270 handle_raise_from_pure.adb
-rw-r--r-- 312 hyper_flat.adb
-rw-r--r-- 187 ice_type.adb
-rw-r--r-- 150 ice_types.ads
-rw-r--r-- 408 iface1.ads
-rw-r--r-- 140 iface2.adb
-rw-r--r-- 144 iface2.ads
-rw-r--r-- 689 iface_test.adb
-rw-r--r-- 450 iface_test.ads
-rw-r--r-- 157 ifaces.adb
-rw-r--r-- 401 ifaces.ads
-rw-r--r-- 340 import1.adb
-rw-r--r-- 124 import1.ads
-rw-r--r-- 558 in_mod_conv.adb
-rw-r--r-- 799 in_out_parameter.adb
-rw-r--r-- 364 in_out_parameter2.adb
-rw-r--r-- 726 in_out_parameter3.adb
-rw-r--r-- 574 in_out_parameter4.adb
-rw-r--r-- 128 include.adb
-rw-r--r-- 66 incomplete1.ads
-rw-r--r-- 134 incomplete2.adb
-rw-r--r-- 223 incomplete2.ads
-rw-r--r-- 343 incomplete3.adb
-rw-r--r-- 486 incomplete3.ads
-rw-r--r-- 405 init_scalar1.adb
-rw-r--r-- 177 inline1.adb
-rw-r--r-- 144 inline10.adb
-rw-r--r-- 360 inline10_pkg.adb
-rw-r--r-- 100 inline10_pkg.ads
-rw-r--r-- 145 inline11.adb
-rw-r--r-- 245 inline11_pkg.adb
-rw-r--r-- 102 inline11_pkg.ads
-rw-r--r-- 1032 inline1_pkg.adb
-rw-r--r-- 216 inline1_pkg.ads
-rw-r--r-- 216 inline2.adb
-rw-r--r-- 1032 inline2_pkg.adb
-rw-r--r-- 202 inline2_pkg.ads
-rw-r--r-- 225 inline3.adb
-rw-r--r-- 247 inline3_pkg.adb
-rw-r--r-- 105 inline3_pkg.ads
-rw-r--r-- 102 inline4.adb
-rw-r--r-- 276 inline4_pkg.adb
-rw-r--r-- 105 inline4_pkg.ads
-rw-r--r-- 261 inline5.adb
-rw-r--r-- 246 inline5_pkg.adb
-rw-r--r-- 98 inline5_pkg.ads
-rw-r--r-- 141 inline6.adb
-rw-r--r-- 269 inline6_pkg.adb
-rw-r--r-- 98 inline6_pkg.ads
-rw-r--r-- 263 inline7.adb
-rw-r--r-- 227 inline7_pkg1.adb
-rw-r--r-- 100 inline7_pkg1.ads
-rw-r--r-- 130 inline7_pkg2.adb
-rw-r--r-- 117 inline7_pkg2.ads
-rw-r--r-- 143 inline8.adb
-rw-r--r-- 250 inline8_pkg1.adb
-rw-r--r-- 100 inline8_pkg1.ads
-rw-r--r-- 130 inline8_pkg2.adb
-rw-r--r-- 117 inline8_pkg2.ads
-rw-r--r-- 261 inline9.adb
-rw-r--r-- 335 inline9_pkg.adb
-rw-r--r-- 98 inline9_pkg.ads
-rw-r--r-- 362 inline_scope.adb
-rw-r--r-- 174 inline_scope_p.adb
-rw-r--r-- 116 inline_scope_p.ads
-rw-r--r-- 935 inline_tagged.adb
-rw-r--r-- 481 interface1.adb
-rw-r--r-- 490 interface2.adb
-rw-r--r-- 709 interface3.adb
-rw-r--r-- 279 interface4.adb
-rw-r--r-- 186 interface5.adb
-rw-r--r-- 258 interface5.ads
-rw-r--r-- 381 interface_conv.adb
-rw-r--r-- 1084 invalid1.adb
-rw-r--r-- 337 invariant_index.adb
-rw-r--r-- 142 invariant_index.ads
-rw-r--r-- 772 iprot_test.adb
-rw-r--r-- 161 itype.adb
-rw-r--r-- 113 itype.ads
-rw-r--r-- 519 itypes.adb
-rw-r--r-- 45 itypes.ads
-rw-r--r-- 368 kill_value.adb
-rw-r--r-- 401 late_overriding.adb
-rw-r--r-- 442 layered_abstraction.adb
-rw-r--r-- 626 layered_abstraction.ads
-rw-r--r-- 108 layered_abstraction_p.ads
-rw-r--r-- 305 layered_instance.adb
-rw-r--r-- 544 lhs_view_convert.adb
-rw-r--r-- 170 limited_with.adb
-rw-r--r-- 120 limited_with.ads
-rw-r--r-- 200 limited_with2.adb
-rw-r--r-- 207 limited_with2.ads
-rw-r--r-- 170 limited_with2_pkg1.ads
-rw-r--r-- 145 limited_with2_pkg2.ads
-rw-r--r-- 137 limited_with3.adb
-rw-r--r-- 298 limited_with3.ads
-rw-r--r-- 467 limited_with3_pkg1.adb
-rw-r--r-- 788 limited_with3_pkg1.ads
-rw-r--r-- 181 limited_with3_pkg2.ads
-rw-r--r-- 246 limited_with3_pkg3.ads
-rw-r--r-- 487 loop_address.adb
-rw-r--r-- 534 loop_address2.adb
-rw-r--r-- 276 loop_boolean.adb
-rw-r--r-- 623 loop_bound.adb
-rw-r--r-- 632 loop_optimization1.adb
-rw-r--r-- 846 loop_optimization1.ads
-rw-r--r-- 418 loop_optimization10.adb
-rw-r--r-- 360 loop_optimization10.ads
-rw-r--r-- 250 loop_optimization10_pkg.ads
-rw-r--r-- 468 loop_optimization11.adb
-rw-r--r-- 276 loop_optimization11_pkg.ads
-rw-r--r-- 618 loop_optimization12.adb
-rw-r--r-- 554 loop_optimization12.ads
-rw-r--r-- 537 loop_optimization13.adb
-rw-r--r-- 451 loop_optimization13.ads
-rw-r--r-- 82 loop_optimization13_pkg.ads
-rw-r--r-- 554 loop_optimization14.adb
-rw-r--r-- 209 loop_optimization14.ads
-rw-r--r-- 106 loop_optimization14_pkg.ads
-rw-r--r-- 459 loop_optimization15.adb
-rw-r--r-- 181 loop_optimization15.ads
-rw-r--r-- 450 loop_optimization16.adb
-rw-r--r-- 155 loop_optimization16_pkg.adb
-rw-r--r-- 133 loop_optimization16_pkg.ads
-rw-r--r-- 438 loop_optimization17.adb
-rw-r--r-- 135 loop_optimization17_pkg.adb
-rw-r--r-- 611 loop_optimization17_pkg.ads
-rw-r--r-- 1253 loop_optimization2.adb
-rw-r--r-- 1180 loop_optimization2.ads
-rw-r--r-- 315 loop_optimization3.adb
-rw-r--r-- 143 loop_optimization3_pkg.adb
-rw-r--r-- 107 loop_optimization3_pkg.ads
-rw-r--r-- 162 loop_optimization4.adb
-rw-r--r-- 461 loop_optimization4_pkg.adb
-rw-r--r-- 265 loop_optimization4_pkg.ads
-rw-r--r-- 579 loop_optimization5.adb
-rw-r--r-- 191 loop_optimization5_pkg.ads
-rw-r--r-- 483 loop_optimization6.adb
-rw-r--r-- 92 loop_optimization6.ads
-rw-r--r-- 334 loop_optimization7.adb
-rw-r--r-- 191 loop_optimization7.ads
-rw-r--r-- 171 loop_optimization7_pkg.ads
-rw-r--r-- 597 loop_optimization8.adb
-rw-r--r-- 381 loop_optimization8_pkg1.adb
-rw-r--r-- 468 loop_optimization8_pkg1.ads
-rw-r--r-- 285 loop_optimization8_pkg2.adb
-rw-r--r-- 392 loop_optimization8_pkg2.ads
-rw-r--r-- 3357 loop_optimization9.adb
-rw-r--r-- 432 loop_optimization9.ads
-rw-r--r-- 714 loop_unchecked_conversion.adb
-rw-r--r-- 90 loop_unchecked_conversion.ads
-rw-r--r-- 256 lto1.adb
-rw-r--r-- 252 lto10.adb
-rw-r--r-- 329 lto10_pkg.ads
-rw-r--r-- 459 lto11.adb
-rw-r--r-- 198 lto11.ads
-rw-r--r-- 133 lto13.adb
-rw-r--r-- 132 lto13_pkg.adb
-rw-r--r-- 76 lto13_pkg.ads
-rw-r--r-- 177 lto14.adb
-rw-r--r-- 221 lto15.adb
-rw-r--r-- 207 lto15.ads
-rw-r--r-- 312 lto16.adb
-rw-r--r-- 338 lto16_pkg.adb
-rw-r--r-- 65 lto16_pkg.ads
-rw-r--r-- 570 lto1_pkg.adb
-rw-r--r-- 737 lto1_pkg.ads
-rw-r--r-- 589 lto2.adb
-rw-r--r-- 281 lto4.adb
-rw-r--r-- 581 lto4.ads
-rw-r--r-- 113 lto5.adb
-rw-r--r-- 85 lto5_pkg.adb
-rw-r--r-- 108 lto5_pkg.ads
-rw-r--r-- 284 lto6.adb
-rw-r--r-- 235 lto6_pkg.ads
-rw-r--r-- 253 lto7.adb
-rw-r--r-- 143 lto7_pkg.adb
-rw-r--r-- 390 lto7_pkg.ads
-rw-r--r-- 382 lto8.adb
-rw-r--r-- 183 lto8_pkg.adb
-rw-r--r-- 480 lto8_pkg.ads
-rw-r--r-- 267 lto9.adb
-rw-r--r-- 623 lto9_pkg1.ads
-rw-r--r-- 249 lto9_pkg2.adb
-rw-r--r-- 482 lto9_pkg2.ads
-rw-r--r-- 308 machine_code1.adb
-rw-r--r-- 256 max_align.adb
-rw-r--r-- 379 md5_test.adb
-rw-r--r-- 273 memtrap.adb
-rw-r--r-- 387 misaligned_nest.adb
-rw-r--r-- 633 misaligned_param.adb
-rw-r--r-- 305 misaligned_param_pkg.adb
-rw-r--r-- 108 misaligned_param_pkg.ads
-rw-r--r-- 526 misaligned_volatile.adb
-rw-r--r-- 807 missing_acc_check.adb
-rw-r--r-- 566 modify_a_constant.adb
-rw-r--r-- 424 modular1.adb
-rw-r--r-- 113 modular2.adb
-rw-r--r-- 454 modular3.adb
-rw-r--r-- 239 modular3_pkg.ads
-rw-r--r-- 185 modular4.adb
-rw-r--r-- 130 modular4_pkg.ads
-rw-r--r-- 668 mutable1.adb
-rw-r--r-- 201 my_env_versioned_value_set_g.ads
-rw-r--r-- 559 named_test.adb
-rw-r--r-- 196 namet.ads
-rw-r--r-- 528 nan_max.adb
-rw-r--r-- 162 nat1.ads
-rw-r--r-- 221 nat1r.adb
-rw-r--r-- 693 nested_agg_bitfield_constructor.adb
-rw-r--r-- 1021 nested_controlled_alloc.adb
-rw-r--r-- 438 nested_float_packed.ads
-rw-r--r-- 212 nested_generic1.adb
-rw-r--r-- 229 nested_generic1_pkg.adb
-rw-r--r-- 191 nested_generic1_pkg.ads
-rw-r--r-- 567 nested_proc1.adb
-rw-r--r-- 443 nested_proc2.adb
-rw-r--r-- 892 nested_return_test.adb
-rw-r--r-- 398 nested_subtype_byref.adb
-rw-r--r-- 58 nested_subtype_byref.ads
-rw-r--r-- 327 no_exc_prop.adb
-rw-r--r-- 233 no_exc_prop.ads
-rw-r--r-- 564 no_final.adb
-rw-r--r-- 505 noinline2.adb
-rw-r--r-- 84 noinline2.ads
-rw-r--r-- 330 noreturn1.adb
-rw-r--r-- 159 noreturn1.ads
-rw-r--r-- 599 noreturn2.adb
-rw-r--r-- 166 noreturn2.ads
-rw-r--r-- 533 noreturn3.adb
-rw-r--r-- 227 noreturn3.ads
-rw-r--r-- 348 noreturn4.adb
-rw-r--r-- 214 noreturn4.ads
-rw-r--r-- 410 noreturn4_pkg.ads
-rw-r--r-- 644 noreturn5.adb
-rw-r--r-- 132 noreturn5.ads
-rw-r--r-- 487 not_null.adb
-rw-r--r-- 201 notnot.adb
-rw-r--r-- 525 null_pointer_deref1.adb
-rw-r--r-- 611 null_pointer_deref2.adb
-rw-r--r-- 549 null_pointer_deref3.adb
-rw-r--r-- 108 oalign1.ads
-rw-r--r-- 108 oalign2.ads
-rw-r--r-- 245 object_overflow1.adb
-rw-r--r-- 255 object_overflow2.adb
-rw-r--r-- 322 object_overflow3.adb
-rw-r--r-- 424 object_overflow4.adb
-rw-r--r-- 300 oconst1.adb
-rw-r--r-- 382 oconst1.ads
-rw-r--r-- 241 oconst2.adb
-rw-r--r-- 351 oconst2.ads
-rw-r--r-- 269 oconst3.adb
-rw-r--r-- 426 oconst3.ads
-rw-r--r-- 519 oconst4.adb
-rw-r--r-- 1375 oconst4.ads
-rw-r--r-- 299 oconst5.adb
-rw-r--r-- 522 oconst5.ads
-rw-r--r-- 66 old_errors.ads
-rw-r--r-- 644 opt1.adb
-rw-r--r-- 310 opt1.ads
-rw-r--r-- 477 opt10.adb
-rw-r--r-- 297 opt10_pkg.ads
-rw-r--r-- 160 opt11.adb
-rw-r--r-- 316 opt11.ads
-rw-r--r-- 288 opt12.adb
-rw-r--r-- 149 opt12_pkg.adb
-rw-r--r-- 245 opt12_pkg.ads
-rw-r--r-- 186 opt13.adb
-rw-r--r-- 587 opt13_pkg.adb
-rw-r--r-- 192 opt13_pkg.ads
-rw-r--r-- 364 opt14.adb
-rw-r--r-- 271 opt15.adb
-rw-r--r-- 184 opt15_pkg.adb
-rw-r--r-- 98 opt15_pkg.ads
-rw-r--r-- 723 opt16.adb
-rw-r--r-- 196 opt17.adb
-rw-r--r-- 89 opt17.ads
-rw-r--r-- 986 opt18.adb
-rw-r--r-- 642 opt18.ads
-rw-r--r-- 529 opt18_pkg.ads
-rw-r--r-- 477 opt19.adb
-rw-r--r-- 564 opt2.adb
-rw-r--r-- 504 opt20.adb
-rw-r--r-- 114 opt20.ads
-rw-r--r-- 263 opt20_pkg.ads
-rw-r--r-- 167 opt21.adb
-rw-r--r-- 352 opt21_pkg.adb
-rw-r--r-- 298 opt21_pkg.ads
-rw-r--r-- 301 opt22.adb
-rw-r--r-- 239 opt22_pkg.adb
-rw-r--r-- 89 opt22_pkg.ads
-rw-r--r-- 355 opt23.adb
-rw-r--r-- 97 opt23.ads
-rw-r--r-- 156 opt23_pkg.adb
-rw-r--r-- 654 opt23_pkg.ads
-rw-r--r-- 307 opt24.adb
-rw-r--r-- 97 opt24.ads
-rw-r--r-- 354 opt25.adb
-rw-r--r-- 156 opt25_pkg1.adb
-rw-r--r-- 154 opt25_pkg1.ads
-rw-r--r-- 150 opt25_pkg2.adb
-rw-r--r-- 379 opt25_pkg2.ads
-rw-r--r-- 715 opt26.adb
-rw-r--r-- 596 opt27.adb
-rw-r--r-- 802 opt27_pkg.adb
-rw-r--r-- 662 opt27_pkg.ads
-rw-r--r-- 841 opt28.adb
-rw-r--r-- 136 opt28.ads
-rw-r--r-- 397 opt28_pkg.ads
-rw-r--r-- 222 opt29.adb
-rw-r--r-- 493 opt29.ads
-rw-r--r-- 230 opt3.adb
-rw-r--r-- 418 opt30.adb
-rw-r--r-- 924 opt31.adb
-rw-r--r-- 745 opt32.adb
-rw-r--r-- 813 opt33.adb
-rw-r--r-- 653 opt34.adb
-rw-r--r-- 310 opt34_pkg.ads
-rw-r--r-- 347 opt35.adb
-rw-r--r-- 164 opt35_pkg.adb
-rw-r--r-- 115 opt35_pkg.ads
-rw-r--r-- 354 opt36.adb
-rw-r--r-- 1125 opt37.adb
-rw-r--r-- 493 opt37.ads
-rw-r--r-- 124 opt38.adb
-rw-r--r-- 482 opt38_pkg.adb
-rw-r--r-- 70 opt38_pkg.ads
-rw-r--r-- 583 opt39.adb
-rw-r--r-- 71 opt3_pkg.ads
-rw-r--r-- 303 opt4.adb
-rw-r--r-- 380 opt40.adb
-rw-r--r-- 396 opt41.adb
-rw-r--r-- 1602 opt41_pkg.adb
-rw-r--r-- 682 opt41_pkg.ads
-rw-r--r-- 573 opt42.adb
-rw-r--r-- 235 opt42.ads
-rw-r--r-- 280 opt43.adb
-rw-r--r-- 411 opt44.adb
-rw-r--r-- 172 opt44.ads
-rw-r--r-- 851 opt45.adb
-rw-r--r-- 1099 opt46.adb
-rw-r--r-- 282 opt46.ads
-rw-r--r-- 170 opt46_pkg.adb
-rw-r--r-- 679 opt46_pkg.ads
-rw-r--r-- 932 opt47.adb
-rw-r--r-- 368 opt5.adb
-rw-r--r-- 600 opt6.adb
-rw-r--r-- 389 opt6.ads
-rw-r--r-- 1248 opt7.adb
-rw-r--r-- 291 opt7.ads
-rw-r--r-- 68 opt7_pkg.ads
-rw-r--r-- 1350 opt8.adb
-rw-r--r-- 1247 opt8.ads
-rw-r--r-- 123 opt8_pkg.ads
-rw-r--r-- 390 opt9.adb
-rw-r--r-- 57 opt9_pkg.ads
-rw-r--r-- 845 outer_agg_bitfield_constructor.adb
-rw-r--r-- 365 overflow_fixed.adb
-rw-r--r-- 1822 overflow_sum.adb
-rw-r--r-- 902 overflow_sum2.adb
-rw-r--r-- 328 overriding_ops.adb
-rw-r--r-- 407 overriding_ops.ads
-rw-r--r-- 281 overriding_ops_p.ads
-rw-r--r-- 126 pack1.ads
-rw-r--r-- 507 pack10.adb
-rw-r--r-- 387 pack11.adb
-rw-r--r-- 529 pack12.adb
-rw-r--r-- 191 pack13.adb
-rw-r--r-- 734 pack13.ads
-rw-r--r-- 223 pack13_pkg.ads
-rw-r--r-- 224 pack14.adb
-rw-r--r-- 134 pack15.adb
-rw-r--r-- 383 pack15.ads
-rw-r--r-- 471 pack16.adb
-rw-r--r-- 62 pack16_pkg.ads
-rw-r--r-- 891 pack17.adb
-rw-r--r-- 220 pack18.adb
-rw-r--r-- 465 pack18_pkg.ads
-rw-r--r-- 1088 pack19.adb
-rw-r--r-- 376 pack2.adb
-rw-r--r-- 137 pack20.adb
-rw-r--r-- 240 pack20.ads
-rw-r--r-- 131 pack20_pkg.ads
-rw-r--r-- 532 pack3.adb
-rw-r--r-- 590 pack4.adb
-rw-r--r-- 508 pack5.adb
-rw-r--r-- 406 pack6.adb
-rw-r--r-- 397 pack7.adb
-rw-r--r-- 428 pack8.adb
-rw-r--r-- 437 pack9.adb
-rw-r--r-- 256 pack9.ads
-rw-r--r-- 372 packed_subtype.adb
-rw-r--r-- 445 pak.adb
-rw-r--r-- 227 pak.ads
-rw-r--r-- 358 parameterlessfunc.adb
-rw-r--r-- 303 parent_ltd_with-child_full_view.adb
-rw-r--r-- 349 parent_ltd_with-child_full_view.ads
-rw-r--r-- 304 parent_ltd_with.ads
-rw-r--r-- 230 pointer_array.adb
-rw-r--r-- 676 pointer_controlled.adb
-rw-r--r-- 429 pointer_conversion.adb
-rw-r--r-- 172 pointer_discr1.adb
-rw-r--r-- 162 pointer_discr1_pkg1.ads
-rw-r--r-- 259 pointer_discr1_pkg2.ads
-rw-r--r-- 243 pointer_discr1_pkg3.ads
-rw-r--r-- 214 pointer_protected.adb
-rw-r--r-- 182 pointer_protected_p.ads
-rw-r--r-- 626 pointer_variable_bounds.adb
-rw-r--r-- 590 pointer_variable_bounds.ads
-rw-r--r-- 165 pointer_variable_bounds_q.ads
-rw-r--r-- 208 prefix1.adb
-rw-r--r-- 148 prefix1.ads
-rw-r--r-- 958 prefix2.adb
-rw-r--r-- 743 prefix2.ads
-rw-r--r-- 59 profile_warning.adb
-rw-r--r-- 165 profile_warning.ads
-rw-r--r-- 283 profile_warning_p.adb
-rw-r--r-- 64 profile_warning_p.ads
-rw-r--r-- 443 prot1.adb
-rw-r--r-- 396 prot2.adb
-rw-r--r-- 50 prot2.ads
-rw-r--r-- 72 prot2_pkg1.ads
-rw-r--r-- 395 prot2_pkg2.adb
-rw-r--r-- 216 prot2_pkg2.ads
-rw-r--r-- 809 prot_def.adb
-rw-r--r-- 450 protected_self_ref1.adb
-rw-r--r-- 314 protected_self_ref2.adb
-rw-r--r-- 162 quote.adb
-rw-r--r-- 60 raise_ce.adb
-rw-r--r-- 197 raise_from_pure.adb
-rw-r--r-- 105 raise_from_pure.ads
-rw-r--r-- 320 range_check.adb
-rw-r--r-- 334 range_check2.adb
-rw-r--r-- 1017 rational_arithmetic.ads
-rw-r--r-- 248 recursive_call.adb
-rw-r--r-- 209 ref_type.adb
-rw-r--r-- 103 ref_type.ads
-rw-r--r-- 241 regpat1.adb
-rw-r--r-- 428 release_unc_maxalign.adb
-rw-r--r-- 468 remote_type.adb
-rw-r--r-- 583 remote_type.ads
-rw-r--r-- 243 renaming1.adb
-rw-r--r-- 83 renaming1.ads
-rw-r--r-- 1705 renaming2.adb
-rw-r--r-- 213 renaming3.adb
-rw-r--r-- 342 renaming4.ads
-rw-r--r-- 626 renaming5.adb
-rw-r--r-- 57 renaming5.ads
-rw-r--r-- 2453 rep_clause1.adb
-rw-r--r-- 241 rep_clause2.adb
-rw-r--r-- 1081 rep_clause2.ads
-rw-r--r-- 867 rep_clause3.adb
-rw-r--r-- 615 rep_clause4.adb
-rw-r--r-- 1017 rep_clause5.adb
-rw-r--r-- 243 rep_clause5.ads
-rw-r--r-- 7321 rep_clause5_pkg.ads
-rw-r--r-- 953 requeue1.adb
-rw-r--r-- 268 return1.adb
-rw-r--r-- 238 return1.ads
-rw-r--r-- 722 return2.adb
-rw-r--r-- 349 return2.ads
-rw-r--r-- 133 return2_pkg.ads
-rw-r--r-- 162 return3.adb
-rw-r--r-- 335 return4.adb
-rw-r--r-- 178 return4_pkg.adb
-rw-r--r-- 151 return4_pkg.ads
-rw-r--r-- 385 round_div.adb
-rw-r--r-- 180 rt1.adb
-rw-r--r-- 419 rt1.ads
-rw-r--r-- 571 scalar_mode_agg_compare.adb
-rw-r--r-- 404 scalar_mode_agg_compare_loop.adb
-rw-r--r-- 453 self.adb
-rw-r--r-- 574 self.ads
-rw-r--r-- 480 self1.adb
-rw-r--r-- 396 self_aggregate_with_array.adb
-rw-r--r-- 579 self_aggregate_with_call.adb
-rw-r--r-- 484 self_aggregate_with_pointer.adb
-rw-r--r-- 382 self_aggregate_with_zeros.adb
-rw-r--r-- 368 set_in_pproc.adb
-rw-r--r-- 168 show_deques_priority.adb
-rw-r--r-- 151 size_attribute.adb
-rw-r--r-- 273 sizetype1.adb
-rw-r--r-- 576 sizetype2.adb
-rw-r--r-- 409 sizetype3.adb
-rw-r--r-- 188 sizetype3.ads
-rw-r--r-- 127 sizetype3_pkg.ads
-rw-r--r-- 489 sizetype4.adb
-rw-r--r-- 485 slice1.adb
-rw-r--r-- 206 slice2.adb
-rw-r--r-- 217 slice2.ads
-rw-r--r-- 517 slice3.adb
-rw-r--r-- 581 slice4.adb
-rw-r--r-- 680 slice5.adb
-rw-r--r-- 350 slice6.adb
-rw-r--r-- 387 slice6_pkg.ads
-rw-r--r-- 1055 slice7.adb
-rw-r--r-- 149 slice7_pkg.ads
-rw-r--r-- 177 slice8.adb
-rw-r--r-- 99 slice8_pkg1.ads
-rw-r--r-- 457 slice8_pkg2.ads
-rw-r--r-- 391 slice8_pkg3.adb
-rw-r--r-- 154 slice8_pkg3.ads
-rw-r--r-- 131 slice_enum.adb
-rw-r--r-- 436 small_alignment.adb
-rw-r--r-- 303 socket1.adb
-rw-r--r-- 778 sort1.adb
-rw-r--r-- 64 sort1.ads
-rw-r--r-- 155 sort2.adb
-rw-r--r-- 85 source_ref1.adb
-rw-r--r-- 124 source_ref2.adb
drwxr-xr-x - specs
-rw-r--r-- 292 spipaterr.adb
-rw-r--r-- 1287 sse_nolib.adb
-rw-r--r-- 734 stack_check1.adb
-rw-r--r-- 818 stack_check2.adb
-rw-r--r-- 642 stack_check3.adb
-rw-r--r-- 63 stack_check3.ads
-rw-r--r-- 2194 stack_usage1.adb
-rw-r--r-- 224 stack_usage1_pkg.adb
-rw-r--r-- 242 stack_usage1_pkg.ads
-rw-r--r-- 2199 stack_usage1b.adb
-rw-r--r-- 2200 stack_usage1c.adb
-rw-r--r-- 527 stack_usage2.adb
-rw-r--r-- 244 statically_matching.ads
-rw-r--r-- 313 str1.adb
-rw-r--r-- 208 string_comparison.adb
-rw-r--r-- 339 string_slice.adb
-rw-r--r-- 492 string_slice2.adb
-rw-r--r-- 621 subp_elim_errors.adb
-rw-r--r-- 115 subp_elim_errors.ads
-rw-r--r-- 273 sync1.adb
-rw-r--r-- 319 sync1.ads
-rw-r--r-- 414 sync_iface_test.adb
-rw-r--r-- 320 sync_iface_test.ads
-rw-r--r-- 102 taft_type1.adb
-rw-r--r-- 448 taft_type1_pkg1.adb
-rw-r--r-- 183 taft_type1_pkg1.ads
-rw-r--r-- 138 taft_type1_pkg2.ads
-rw-r--r-- 315 taft_type2.adb
-rw-r--r-- 59 taft_type2.ads
-rw-r--r-- 157 taft_type2_pkg.ads
-rw-r--r-- 505 taft_type3.adb
-rw-r--r-- 125 taft_type3_pkg.ads
-rw-r--r-- 450 tag1.adb
-rw-r--r-- 560 tagged_alloc_free.adb
-rw-r--r-- 515 tagged_type_pkg.adb
-rw-r--r-- 248 tagged_type_pkg.ads
-rw-r--r-- 159 tail_call.adb
-rw-r--r-- 698 tail_call_p.adb
-rw-r--r-- 217 tail_call_p.ads
-rw-r--r-- 122 task_name.adb
-rw-r--r-- 750 task_name.ads
-rw-r--r-- 704 task_stack_align.adb
-rw-r--r-- 513 test_8bitlong_overflow.adb
-rw-r--r-- 397 test_address_null_init.adb
-rw-r--r-- 270 test_ai254.adb
-rw-r--r-- 125 test_allocator_maxalign2.adb
-rw-r--r-- 580 test_bip_no_alloc.adb
-rw-r--r-- 274 test_bounded.adb
-rw-r--r-- 599 test_call.adb
-rw-r--r-- 134 test_debug1.adb
-rw-r--r-- 129 test_delay.adb
-rw-r--r-- 243 test_direct_io.adb
-rw-r--r-- 291 test_dse_step.adb
-rw-r--r-- 604 test_enum_io.adb
-rw-r--r-- 354 test_equal1.adb
-rw-r--r-- 117 test_ext1.adb
-rw-r--r-- 852 test_fixed_io.adb
-rw-r--r-- 1174 test_iface_aggr.adb
-rw-r--r-- 215 test_ifaces.adb
-rw-r--r-- 149 test_image.adb
-rw-r--r-- 670 test_image_p.adb
-rw-r--r-- 744 test_image_p.ads
-rw-r--r-- 150 test_nested_subtype_byref.adb
-rw-r--r-- 339 test_oalign.adb
-rw-r--r-- 306 test_oconst.adb
-rw-r--r-- 273 test_prefix1.adb
-rw-r--r-- 418 test_prio.adb
-rw-r--r-- 187 test_prio_p.adb
-rw-r--r-- 479 test_prio_p.ads
-rw-r--r-- 316 test_raise_from_pure.adb
-rw-r--r-- 418 test_rational_arithmetic.adb
-rw-r--r-- 259 test_self.adb
-rw-r--r-- 845 test_self_ref.adb
-rw-r--r-- 820 test_table1.adb
-rw-r--r-- 203 test_tables.adb
-rw-r--r-- 801 test_time_stamp.adb
-rw-r--r-- 606 test_unknown_discrs.adb
-rw-r--r-- 348 test_version.adb
-rw-r--r-- 318 testint.adb
-rw-r--r-- 199 tf_interface_1.adb
-rw-r--r-- 655 tf_interface_1.ads
-rw-r--r-- 780 tfren.adb
-rw-r--r-- 234 thin_pointer1.adb
-rw-r--r-- 432 thin_pointer1.ads
-rw-r--r-- 230 thin_pointer2.adb
-rw-r--r-- 350 thin_pointer2_pkg.adb
-rw-r--r-- 169 thin_pointer2_pkg.ads
-rw-r--r-- 844 timer_cancel.adb
-rw-r--r-- 557 timing_events.adb
-rw-r--r-- 377 trampoline1.adb
-rw-r--r-- 439 trampoline2.adb
-rw-r--r-- 160 tree_static_def.adb
-rw-r--r-- 177 tree_static_def.ads
-rw-r--r-- 164 tree_static_use.adb
-rw-r--r-- 275 type_conv.adb
-rw-r--r-- 689 unaligned_rep_clause.adb
-rw-r--r-- 602 unc.adb
-rw-r--r-- 865 unc_memfree.adb
-rw-r--r-- 1359 unc_memops.adb
-rw-r--r-- 948 unc_memops.ads
-rw-r--r-- 687 unchecked_convert1.adb
-rw-r--r-- 854 unchecked_convert2.adb
-rw-r--r-- 355 unchecked_convert3.adb
-rw-r--r-- 408 unchecked_convert4.adb
-rw-r--r-- 396 unchecked_convert5.adb
-rw-r--r-- 403 unchecked_convert5b.adb
-rw-r--r-- 396 unchecked_convert6.adb
-rw-r--r-- 403 unchecked_convert6b.adb
-rw-r--r-- 653 unchecked_convert7.adb
-rw-r--r-- 631 unchecked_convert8.adb
-rw-r--r-- 76 unchecked_convert8.ads
-rw-r--r-- 332 unchecked_convert9.adb
-rw-r--r-- 365 unchecked_convert9.ads
-rw-r--r-- 409 unchecked_union1.adb
-rw-r--r-- 386 uninit_array.adb
-rw-r--r-- 79 uninit_array.ads
-rw-r--r-- 206 uninit_array_pkg.ads
-rw-r--r-- 268 uninit_func.adb
-rw-r--r-- 460 valid1.adb
-rw-r--r-- 259 valued_proc.adb
-rw-r--r-- 443 valued_proc_pkg.ads
-rw-r--r-- 466 varsize_copy.adb
-rw-r--r-- 629 varsize_copy.ads
-rw-r--r-- 558 varsize_temp.adb
-rw-r--r-- 2821 vect1.adb
-rw-r--r-- 1558 vect1.ads
-rw-r--r-- 623 vect10.adb
-rw-r--r-- 326 vect10.ads
-rw-r--r-- 796 vect11.adb
-rw-r--r-- 330 vect11.ads
-rw-r--r-- 674 vect12.adb
-rw-r--r-- 252 vect12.ads
-rw-r--r-- 672 vect13.adb
-rw-r--r-- 252 vect13.ads
-rw-r--r-- 667 vect14.adb
-rw-r--r-- 98 vect1_pkg.ads
-rw-r--r-- 2821 vect2.adb
-rw-r--r-- 1599 vect2.ads
-rw-r--r-- 100 vect2_pkg.ads
-rw-r--r-- 2821 vect3.adb
-rw-r--r-- 1664 vect3.ads
-rw-r--r-- 165 vect3_pkg.ads
-rw-r--r-- 2971 vect4.adb
-rw-r--r-- 1753 vect4.ads
-rw-r--r-- 98 vect4_pkg.ads
-rw-r--r-- 2971 vect5.adb
-rw-r--r-- 1796 vect5.ads
-rw-r--r-- 100 vect5_pkg.ads
-rw-r--r-- 2971 vect6.adb
-rw-r--r-- 1859 vect6.ads
-rw-r--r-- 165 vect6_pkg.ads
-rw-r--r-- 328 vect7.adb
-rw-r--r-- 319 vect7.ads
-rw-r--r-- 236 vect8.adb
-rw-r--r-- 164 vect8.ads
-rw-r--r-- 980 vect9.adb
-rw-r--r-- 230 vect9.ads
-rw-r--r-- 522 vect9_pkg.ads
-rw-r--r-- 1105 view_conversion1.adb
-rw-r--r-- 447 volatile1.ads
-rw-r--r-- 139 volatile10.adb
-rw-r--r-- 537 volatile10_pkg.ads
-rw-r--r-- 1051 volatile11.adb
-rw-r--r-- 699 volatile11_pkg.adb
-rw-r--r-- 475 volatile11_pkg.ads
-rw-r--r-- 115 volatile12.adb
-rw-r--r-- 136 volatile12.ads
-rw-r--r-- 472 volatile2.adb
-rw-r--r-- 267 volatile2.ads
-rw-r--r-- 285 volatile3.adb
-rw-r--r-- 323 volatile4.adb
-rw-r--r-- 172 volatile5.adb
-rw-r--r-- 156 volatile5_pkg.ads
-rw-r--r-- 368 volatile6.adb
-rw-r--r-- 430 volatile7.adb
-rw-r--r-- 429 volatile8.adb
-rw-r--r-- 403 volatile9.adb
-rw-r--r-- 676 volatile_aggregate.adb
-rw-r--r-- 288 warn1.adb
-rw-r--r-- 226 warn10.adb
-rw-r--r-- 194 warn10.ads
-rw-r--r-- 281 warn10_pkg.ads
-rw-r--r-- 413 warn2.adb
-rw-r--r-- 398 warn3.adb
-rw-r--r-- 847 warn4.adb
-rw-r--r-- 824 warn5.adb
-rw-r--r-- 228 warn6.adb
-rw-r--r-- 219 warn6.ads
-rw-r--r-- 247 warn7.adb
-rw-r--r-- 123 warn8.adb
-rw-r--r-- 153 warn9.adb
-rw-r--r-- 124 weak2.adb
-rw-r--r-- 151 weak2.ads
-rw-r--r-- 389 wide_boolean.adb
-rw-r--r-- 182 wide_boolean_pkg.adb
-rw-r--r-- 512 wide_boolean_pkg.ads
-rw-r--r-- 117 wide_pi.adb
-rw-r--r-- 348 wide_test.adb