20180-12-08 Steven G. Kargl <kargl@gcc.gnu.org>
[official-gcc.git] / gcc / testsuite / gnat.dg / 
tree6fbd1a8635279eb6db8057e008ecd6e543b4deff
drwxr-xr-x   ..
-rw-r--r-- 271 abe_pkg.adb
-rw-r--r-- 120 abe_pkg.ads
-rw-r--r-- 964 abstract1.adb
-rw-r--r-- 619 abstract1.ads
-rw-r--r-- 102 abstract_state1.adb
-rw-r--r-- 542 abstract_state1.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-- 79 access5.adb
-rw-r--r-- 199 access5.ads
-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-- 468 addr10.adb
-rw-r--r-- 468 addr11.adb
-rw-r--r-- 88 addr12.adb
-rw-r--r-- 554 addr12_a.adb
-rw-r--r-- 57 addr12_a.ads
-rw-r--r-- 195 addr12_b.adb
-rw-r--r-- 524 addr12_b.ads
-rw-r--r-- 133 addr12_c.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-- 827 addr9_1.adb
-rw-r--r-- 854 addr9_2.adb
-rw-r--r-- 819 addr9_3.adb
-rw-r--r-- 811 addr9_4.adb
-rw-r--r-- 408 addr_slice.adb
-rw-r--r-- 322 address_conv.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-- 350 aggr12.adb
-rw-r--r-- 261 aggr12.ads
-rw-r--r-- 390 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-- 262 aggr22.adb
-rw-r--r-- 267 aggr22.ads
-rw-r--r-- 112 aggr23.adb
-rw-r--r-- 300 aggr23_q.adb
-rw-r--r-- 106 aggr23_tt.ads
-rw-r--r-- 184 aggr24.adb
-rw-r--r-- 269 aggr24_pkg.adb
-rw-r--r-- 278 aggr24_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-- 441 aliasing1.adb
-rw-r--r-- 177 aliasing1.ads
-rw-r--r-- 446 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-- 224 alignment11.adb
-rw-r--r-- 231 alignment12.adb
-rw-r--r-- 313 alignment13.adb
-rw-r--r-- 1236 alignment2.adb
-rw-r--r-- 915 alignment3.adb
-rw-r--r-- 237 alignment4.adb
-rw-r--r-- 654 alignment5.adb
-rw-r--r-- 713 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-- 322 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-- 550 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-- 257 array24.adb
-rw-r--r-- 129 array25.adb
-rw-r--r-- 250 array25_pkg.adb
-rw-r--r-- 268 array25_pkg.ads
-rw-r--r-- 357 array26.adb
-rw-r--r-- 114 array26_pkg.adb
-rw-r--r-- 157 array26_pkg.ads
-rw-r--r-- 359 array27.adb
-rw-r--r-- 114 array27_pkg.adb
-rw-r--r-- 157 array27_pkg.ads
-rw-r--r-- 359 array28.adb
-rw-r--r-- 116 array28_pkg.adb
-rw-r--r-- 157 array28_pkg.ads
-rw-r--r-- 662 array29.adb
-rw-r--r-- 135 array29.ads
-rw-r--r-- 1110 array3.adb
-rw-r--r-- 749 array30.adb
-rw-r--r-- 312 array31.adb
-rw-r--r-- 147 array32.adb
-rw-r--r-- 174 array32.ads
-rw-r--r-- 3479 array33.adb
-rw-r--r-- 576 array4.adb
-rw-r--r-- 575 array5.adb
-rw-r--r-- 605 array6.adb
-rw-r--r-- 488 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-- 304 assertion_policy1.adb
-rw-r--r-- 201 assertion_policy1_pkg.adb
-rw-r--r-- 177 assertion_policy1_pkg.ads
-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-- 379 atomic1.adb
-rw-r--r-- 591 atomic10.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-- 1440 atomic6_1.adb
-rw-r--r-- 1634 atomic6_2.adb
-rw-r--r-- 1728 atomic6_3.adb
-rw-r--r-- 1566 atomic6_4.adb
-rw-r--r-- 1476 atomic6_5.adb
-rw-r--r-- 1496 atomic6_6.adb
-rw-r--r-- 1546 atomic6_7.adb
-rw-r--r-- 1429 atomic6_8.adb
-rw-r--r-- 600 atomic6_pkg.ads
-rw-r--r-- 214 atomic7_1.adb
-rw-r--r-- 143 atomic7_2.adb
-rw-r--r-- 152 atomic7_pkg1.ads
-rw-r--r-- 217 atomic7_pkg2.adb
-rw-r--r-- 77 atomic7_pkg2.ads
-rw-r--r-- 578 atomic8.adb
-rw-r--r-- 559 atomic9.adb
-rw-r--r-- 146 bad_array.adb
-rw-r--r-- 410 biased_subtype.adb
-rw-r--r-- 1067 biased_uc.adb
-rw-r--r-- 1341 bip_aggregate_bug.adb
-rw-r--r-- 381 bip_case_expr.adb
-rw-r--r-- 203 bip_case_expr_pkg.ads
-rw-r--r-- 428 bip_exception.adb
-rw-r--r-- 614 bip_exception.ads
-rw-r--r-- 339 bip_exception_pkg.ads
-rw-r--r-- 340 bip_overlay.adb
-rw-r--r-- 491 bip_overlay.ads
-rw-r--r-- 277 bip_prim_func.adb
-rw-r--r-- 222 bip_prim_func.ads
-rw-r--r-- 389 bit_order1.adb
-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-- 460 block_ext_return_assert_failure.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-- 303 case_character.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-- 191 class_wide3.adb
-rw-r--r-- 332 class_wide3_pkg.ads
-rw-r--r-- 522 class_wide4.adb
-rw-r--r-- 503 class_wide4_pkg.ads
-rw-r--r-- 610 class_wide4_pkg2.ads
-rw-r--r-- 113 compile_time_error1.adb
-rw-r--r-- 215 compile_time_error1.ads
-rw-r--r-- 185 compile_time_error1_pkg.ads
-rw-r--r-- 205 complex1.adb
-rw-r--r-- 86 complex1_pkg.ads
-rw-r--r-- 1175 component_size.adb
-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-- 447 config_pragma1.adb
-rw-r--r-- 616 config_pragma1_pkg.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-- 351 contract1.adb
-rw-r--r-- 372 controlled1.ads
-rw-r--r-- 266 controlled2.adb
-rw-r--r-- 101 controlled2.ads
-rw-r--r-- 371 controlled3.ads
-rw-r--r-- 219 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-- 2110 controlled8.adb
-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-- 1325 debug10.adb
-rw-r--r-- 3492 debug10_pkg.ads
-rw-r--r-- 891 debug11.adb
-rw-r--r-- 914 debug11_pkg.adb
-rw-r--r-- 267 debug11_pkg.ads
-rw-r--r-- 252 debug11_pkg2.ads
-rw-r--r-- 270 debug12.adb
-rw-r--r-- 215 debug12.ads
-rw-r--r-- 861 debug13.adb
-rw-r--r-- 70 debug13.ads
-rw-r--r-- 660 debug14.adb
-rw-r--r-- 361 debug15.adb
-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-- 142 debug4.adb
-rw-r--r-- 729 debug4_pkg.adb
-rw-r--r-- 676 debug4_pkg.ads
-rw-r--r-- 438 debug5.adb
-rw-r--r-- 170 debug6.adb
-rw-r--r-- 370 debug6_pkg.ads
-rw-r--r-- 326 debug7.adb
-rw-r--r-- 145 debug7.ads
-rw-r--r-- 761 debug8.adb
-rw-r--r-- 1624 debug9.adb
-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-- 534 default_pkg_actual.adb
-rw-r--r-- 446 default_pkg_actual2.adb
-rw-r--r-- 692 default_variants.adb
-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-- 1228 delta_aggr.adb
-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-- 601 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-- 162 derived_type5.adb
-rw-r--r-- 634 derived_type5_pkg.ads
-rw-r--r-- 188 dflt_init_cond.adb
-rw-r--r-- 360 dflt_init_cond_pkg.ads
-rw-r--r-- 1096 dg.exp
-rw-r--r-- 94 dimensions.adb
-rw-r--r-- 917 dimensions.ads
-rw-r--r-- 784 dinst.adb
-rw-r--r-- 135 dinst_pkg.adb
-rw-r--r-- 52 dinst_pkg.ads
-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-- 382 discr43.adb
-rw-r--r-- 496 discr44.adb
-rw-r--r-- 810 discr45.adb
-rw-r--r-- 244 discr46.adb
-rw-r--r-- 450 discr46.ads
-rw-r--r-- 299 discr47.adb
-rw-r--r-- 201 discr48.adb
-rw-r--r-- 449 discr48_pkg.ads
-rw-r--r-- 235 discr49.adb
-rw-r--r-- 163 discr49_rec1.adb
-rw-r--r-- 270 discr49_rec1.ads
-rw-r--r-- 149 discr49_rec2.adb
-rw-r--r-- 269 discr49_rec2.ads
-rw-r--r-- 323 discr5.adb
-rw-r--r-- 271 discr50.adb
-rw-r--r-- 676 discr51.adb
-rw-r--r-- 498 discr52.adb
-rw-r--r-- 258 discr53.adb
-rw-r--r-- 279 discr53.ads
-rw-r--r-- 73 discr53_pkg.ads
-rw-r--r-- 126 discr54.adb
-rw-r--r-- 2758 discr54_pkg.ads
-rw-r--r-- 262 discr55.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-- 161 disp1.adb
-rw-r--r-- 105 disp1_pkg.ads
-rw-r--r-- 192 disp2.adb
-rw-r--r-- 159 disp2_pkg.adb
-rw-r--r-- 269 disp2_pkg.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-- 19801 dynhash.adb
-rw-r--r-- 1215 dynhash1.adb
-rw-r--r-- 474 elab1.ads
-rw-r--r-- 123 elab2.adb
-rw-r--r-- 162 elab3.adb
-rw-r--r-- 46 elab3.ads
-rw-r--r-- 165 elab3_pkg.adb
-rw-r--r-- 126 elab3_pkg.ads
-rw-r--r-- 79 elab4.adb
-rw-r--r-- 2407 elab4_pkg.adb
-rw-r--r-- 1125 elab4_pkg.ads
-rw-r--r-- 79 elab5.adb
-rw-r--r-- 2912 elab5_pkg.adb
-rw-r--r-- 1286 elab5_pkg.ads
-rw-r--r-- 152 elab6.adb
-rw-r--r-- 78 elab6.ads
-rw-r--r-- 291 elab6_pkg.adb
-rw-r--r-- 67 elab6_pkg.ads
-rw-r--r-- 117 elab7.adb
-rw-r--r-- 118 elab7_pkg1.adb
-rw-r--r-- 54 elab7_pkg1.ads
-rw-r--r-- 270 elab7_pkg2.adb
-rw-r--r-- 81 elab7_pkg2.ads
-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-- 573 entry_family.adb
-rw-r--r-- 1078 entry_queues.adb
-rw-r--r-- 834 entry_queues2.adb
-rw-r--r-- 480 entry_queues3.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-- 1680 enum4.adb
-rw-r--r-- 171 enum5.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-- 810 equal2.adb
-rw-r--r-- 587 equal3.adb
-rw-r--r-- 288 equal4.adb
-rw-r--r-- 132 equal4.ads
-rw-r--r-- 263 equal4_controlled_filter.ads
-rw-r--r-- 251 equal4_full_selector_filter.ads
-rw-r--r-- 229 equal4_smart_pointers.ads
-rw-r--r-- 284 equal5.adb
-rw-r--r-- 675 equal5.ads
-rw-r--r-- 142 equal_access.adb
-rw-r--r-- 1322 exit1.adb
-rw-r--r-- 620 exp0_eval.adb
-rw-r--r-- 300 expect1.adb
-rw-r--r-- 92 expr_func2.adb
-rw-r--r-- 525 expr_func2.ads
-rw-r--r-- 96 expr_func3.adb
-rw-r--r-- 362 expr_func3.ads
-rw-r--r-- 220 expr_func4.adb
-rw-r--r-- 176 expr_func5.adb
-rw-r--r-- 96 expr_func6.adb
-rw-r--r-- 397 expr_func6.ads
-rw-r--r-- 94 expr_func7.adb
-rw-r--r-- 444 expr_func7.ads
-rw-r--r-- 888 expr_func8.adb
-rw-r--r-- 163 expr_func_main.adb
-rw-r--r-- 202 expr_func_pkg.adb
-rw-r--r-- 224 expr_func_pkg.ads
-rw-r--r-- 377 ext1.ads
-rw-r--r-- 234 fatp_sra.adb
-rw-r--r-- 248 finalized.adb
-rw-r--r-- 322 fixce.adb
-rw-r--r-- 186 fixedpnt.adb
-rw-r--r-- 734 fixedpnt2.adb
-rw-r--r-- 626 fixedpnt2.ads
-rw-r--r-- 399 fixedpnt3.adb
-rw-r--r-- 319 fixedpnt4.adb
-rw-r--r-- 1754 fixedpnt5.adb
-rw-r--r-- 930 float_attributes_overflows.adb
-rw-r--r-- 592 formal_containers.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-- 554 frame_overflow.adb
-rw-r--r-- 423 frame_overflow.ads
-rw-r--r-- 444 frame_overflow2.adb
-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
drwxr-xr-x - gcov
-rw-r--r-- 1375 gen_disp.adb
-rw-r--r-- 299 gen_disp.ads
-rw-r--r-- 225 gen_formal_pkg.adb
-rw-r--r-- 64 gen_formal_pkg_a.ads
-rw-r--r-- 137 gen_formal_pkg_b.ads
-rw-r--r-- 278 gen_formal_pkg_w.ads
-rw-r--r-- 472 generic_actuals.adb
-rw-r--r-- 833 generic_call_cw.adb
-rw-r--r-- 831 generic_call_iface.adb
-rw-r--r-- 225 generic_disp.adb
-rw-r--r-- 184 generic_disp_pkg.adb
-rw-r--r-- 541 generic_disp_pkg.ads
-rw-r--r-- 108 generic_inst2.adb
-rw-r--r-- 228 generic_inst2.ads
-rw-r--r-- 161 generic_inst2_c.ads
-rw-r--r-- 870 generic_pkg.adb
-rw-r--r-- 179 ghost1.adb
-rw-r--r-- 174 ghost1.ads
-rw-r--r-- 2302 global.adb
-rw-r--r-- 352 global.ads
-rw-r--r-- 108 gnat_array_split1.adb
-rw-r--r-- 120 gnat_array_split1.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-- 201 import2.adb
-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-- 158 incomplete4.adb
-rw-r--r-- 181 incomplete4_pkg.ads
-rw-r--r-- 167 incomplete5.adb
-rw-r--r-- 357 incomplete5.ads
-rw-r--r-- 284 incomplete5_pkg.adb
-rw-r--r-- 333 incomplete5_pkg.ads
-rw-r--r-- 286 incomplete6.adb
-rw-r--r-- 432 incomplete6.ads
-rw-r--r-- 405 init_scalar1.adb
-rw-r--r-- 791 initializes.adb
-rw-r--r-- 226 initializes.ads
-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-- 321 inline12.adb
-rw-r--r-- 436 inline13.adb
-rw-r--r-- 154 inline13.ads
-rw-r--r-- 148 inline13_pkg.adb
-rw-r--r-- 189 inline13_pkg.ads
-rw-r--r-- 133 inline14.adb
-rw-r--r-- 213 inline14_pkg.adb
-rw-r--r-- 86 inline14_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-- 1219 inline_always1.adb
-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-- 1038 interface6.adb
-rw-r--r-- 324 interface7.adb
-rw-r--r-- 181 interface8.adb
-rw-r--r-- 279 interface8.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-- 541 iter1.adb
-rw-r--r-- 219 iter1.ads
-rw-r--r-- 639 iter2.adb
-rw-r--r-- 100 iter2.ads
-rw-r--r-- 328 iter3.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-- 324 langdw2.adb
-rw-r--r-- 323 langdw3.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-- 136 limited1.adb
-rw-r--r-- 354 limited1_inner.adb
-rw-r--r-- 505 limited1_inner.ads
-rw-r--r-- 147 limited1_outer.adb
-rw-r--r-- 225 limited1_outer.ads
-rw-r--r-- 98 limited_aggr.adb
-rw-r--r-- 220 limited_aggr.ads
-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-- 921 limited_with4.adb
-rw-r--r-- 756 limited_with4.ads
-rw-r--r-- 356 limited_with4_pkg.ads
-rw-r--r-- 290 limited_with5.adb
-rw-r--r-- 144 limited_with5.ads
-rw-r--r-- 232 limited_with5_pkg.adb
-rw-r--r-- 227 limited_with5_pkg.ads
-rw-r--r-- 290 limited_with6.adb
-rw-r--r-- 216 limited_with6.ads
-rw-r--r-- 276 limited_with6_pkg.adb
-rw-r--r-- 299 limited_with6_pkg.ads
-rw-r--r-- 29975 linkedlist.adb
-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-- 291 loop_optimization18.adb
-rw-r--r-- 165 loop_optimization18.ads
-rw-r--r-- 345 loop_optimization18_pkg.ads
-rw-r--r-- 985 loop_optimization19.adb
-rw-r--r-- 1253 loop_optimization2.adb
-rw-r--r-- 1180 loop_optimization2.ads
-rw-r--r-- 774 loop_optimization20.adb
-rw-r--r-- 463 loop_optimization21.adb
-rw-r--r-- 189 loop_optimization21.ads
-rw-r--r-- 425 loop_optimization22.adb
-rw-r--r-- 150 loop_optimization22.ads
-rw-r--r-- 305 loop_optimization23.adb
-rw-r--r-- 280 loop_optimization23_pkg.adb
-rw-r--r-- 435 loop_optimization23_pkg.ads
-rw-r--r-- 870 loop_optimization24.adb
-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-- 433 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-- 710 loopvar.adb
-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-- 197 lto15.adb
-rw-r--r-- 207 lto15.ads
-rw-r--r-- 288 lto16.adb
-rw-r--r-- 338 lto16_pkg.adb
-rw-r--r-- 65 lto16_pkg.ads
-rw-r--r-- 228 lto17.adb
-rw-r--r-- 446 lto17.ads
-rw-r--r-- 365 lto18.adb
-rw-r--r-- 97 lto18.ads
-rw-r--r-- 656 lto18_pkg.ads
-rw-r--r-- 246 lto19.adb
-rw-r--r-- 92 lto19_pkg1.adb
-rw-r--r-- 206 lto19_pkg1.ads
-rw-r--r-- 98 lto19_pkg2.adb
-rw-r--r-- 70 lto19_pkg2.ads
-rw-r--r-- 570 lto1_pkg.adb
-rw-r--r-- 737 lto1_pkg.ads
-rw-r--r-- 589 lto2.adb
-rw-r--r-- 145 lto20.adb
-rw-r--r-- 143 lto20_pkg.adb
-rw-r--r-- 308 lto20_pkg.ads
-rw-r--r-- 153 lto21.adb
-rw-r--r-- 194 lto21_pkg1.ads
-rw-r--r-- 670 lto21_pkg2.adb
-rw-r--r-- 59 lto21_pkg2.ads
-rw-r--r-- 120 lto22.adb
-rw-r--r-- 100 lto22_pkg1.ads
-rw-r--r-- 131 lto22_pkg2.adb
-rw-r--r-- 267 lto22_pkg2.ads
-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-- 583 memorytest.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-- 104 nested_generic2.adb
-rw-r--r-- 307 nested_generic2.ads
-rw-r--r-- 279 nested_generic2_g1.adb
-rw-r--r-- 240 nested_generic2_g1.ads
-rw-r--r-- 158 nested_generic2_g2.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-- 455 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-- 224 normalize_pathname.adb
-rw-r--r-- 487 not_null.adb
-rw-r--r-- 201 notnot.adb
-rw-r--r-- 507 null_pointer_deref1.adb
-rw-r--r-- 592 null_pointer_deref2.adb
-rw-r--r-- 553 null_pointer_deref3.adb
-rw-r--r-- 108 oalign1.ads
-rw-r--r-- 108 oalign2.ads
-rw-r--r-- 280 object_overflow1.adb
-rw-r--r-- 290 object_overflow2.adb
-rw-r--r-- 357 object_overflow3.adb
-rw-r--r-- 462 object_overflow4.adb
-rw-r--r-- 468 object_overflow5.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-- 221 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-- 608 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-- 1075 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-- 533 opt39.adb
-rw-r--r-- 71 opt3_pkg.ads
-rw-r--r-- 303 opt4.adb
-rw-r--r-- 330 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-- 217 opt48.adb
-rw-r--r-- 265 opt48_pkg1.adb
-rw-r--r-- 104 opt48_pkg1.ads
-rw-r--r-- 127 opt48_pkg2.adb
-rw-r--r-- 162 opt48_pkg2.ads
-rw-r--r-- 771 opt49.adb
-rw-r--r-- 368 opt5.adb
-rw-r--r-- 395 opt50.adb
-rw-r--r-- 1427 opt50_pkg.adb
-rw-r--r-- 284 opt50_pkg.ads
-rw-r--r-- 403 opt51.adb
-rw-r--r-- 72 opt51_pkg.ads
-rw-r--r-- 244 opt52.adb
-rw-r--r-- 271 opt53.adb
-rw-r--r-- 269 opt54.adb
-rw-r--r-- 387 opt55.adb
-rw-r--r-- 428 opt55.ads
-rw-r--r-- 312 opt56.adb
-rw-r--r-- 140 opt56.ads
-rw-r--r-- 2628 opt57.adb
-rw-r--r-- 1411 opt57.ads
-rw-r--r-- 332 opt57_pkg.ads
-rw-r--r-- 377 opt58.adb
-rw-r--r-- 369 opt58_pkg.ads
-rw-r--r-- 895 opt59.adb
-rw-r--r-- 328 opt59_pkg.adb
-rw-r--r-- 209 opt59_pkg.ads
-rw-r--r-- 600 opt6.adb
-rw-r--r-- 389 opt6.ads
-rw-r--r-- 405 opt60.adb
-rw-r--r-- 360 opt61.adb
-rw-r--r-- 3368 opt61_pkg.adb
-rw-r--r-- 203 opt61_pkg.ads
-rw-r--r-- 274 opt62.adb
-rw-r--r-- 483 opt62_pkg.ads
-rw-r--r-- 471 opt63.adb
-rw-r--r-- 514 opt64.adb
-rw-r--r-- 315 opt64_pkg.adb
-rw-r--r-- 128 opt64_pkg.ads
-rw-r--r-- 727 opt65.adb
-rw-r--r-- 205 opt66.adb
-rw-r--r-- 910 opt67.adb
-rw-r--r-- 518 opt67_pkg.adb
-rw-r--r-- 823 opt67_pkg.ads
-rw-r--r-- 1286 opt68.adb
-rw-r--r-- 518 opt68.ads
-rw-r--r-- 508 opt69.adb
-rw-r--r-- 1248 opt7.adb
-rw-r--r-- 291 opt7.ads
-rw-r--r-- 251 opt70.adb
-rw-r--r-- 1687 opt70_pkg.adb
-rw-r--r-- 130 opt70_pkg.ads
-rw-r--r-- 142 opt71_pkg.ads
-rw-r--r-- 340 opt71a.adb
-rw-r--r-- 350 opt71b.adb
-rw-r--r-- 218 opt72_pkg.ads
-rw-r--r-- 340 opt72a.adb
-rw-r--r-- 350 opt72b.adb
-rw-r--r-- 945 opt73.adb
-rw-r--r-- 214 opt74.adb
-rw-r--r-- 345 opt74_pkg.adb
-rw-r--r-- 153 opt74_pkg.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-- 349 others1.adb
-rw-r--r-- 603 out_param.adb
-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-- 340 overflow_sum3.adb
-rw-r--r-- 383 overload.adb
-rw-r--r-- 360 overload.ads
-rw-r--r-- 252 overload2.adb
-rw-r--r-- 164 overload2_p.adb
-rw-r--r-- 134 overload2_p.ads
-rw-r--r-- 137 overload2_q.adb
-rw-r--r-- 100 overload2_q.ads
-rw-r--r-- 328 overriding_ops.adb
-rw-r--r-- 407 overriding_ops.ads
-rw-r--r-- 175 overriding_ops2.adb
-rw-r--r-- 301 overriding_ops2.ads
-rw-r--r-- 200 overriding_ops2_pkg-high.ads
-rw-r--r-- 296 overriding_ops2_pkg.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-- 526 pack21.adb
-rw-r--r-- 390 pack22.adb
-rw-r--r-- 367 pack22_pkg.adb
-rw-r--r-- 1619 pack22_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-- 364 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-- 218 part_of1-instantiation.adb
-rw-r--r-- 120 part_of1-instantiation.ads
-rw-r--r-- 279 part_of1-private_generic.adb
-rw-r--r-- 242 part_of1-private_generic.ads
-rw-r--r-- 34 part_of1.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-- 813 predicate1.adb
-rw-r--r-- 308 predicate2-containers.ads
-rw-r--r-- 984 predicate2-project-name_values.ads
-rw-r--r-- 138 predicate2-project-registry-attribute.ads
-rw-r--r-- 77 predicate2-project-registry.ads
-rw-r--r-- 296 predicate2-project-typ-set.ads
-rw-r--r-- 612 predicate2-project-typ.ads
-rw-r--r-- 60 predicate2-project.ads
-rw-r--r-- 785 predicate2-source_reference.ads
-rw-r--r-- 403 predicate2.ads
-rw-r--r-- 274 predicate2_main.adb
-rw-r--r-- 669 predicate3.adb
-rw-r--r-- 500 predicate3_pkg.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-- 1536 private_overriding.adb
-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-- 95 prot3.adb
-rw-r--r-- 295 prot3_pkg.adb
-rw-r--r-- 288 prot3_pkg.ads
-rw-r--r-- 512 prot4.adb
-rw-r--r-- 359 prot5.adb
-rw-r--r-- 273 prot5_pkg.adb
-rw-r--r-- 185 prot5_pkg.ads
-rw-r--r-- 325 prot6.adb
-rw-r--r-- 711 prot6.ads
-rw-r--r-- 809 prot_def.adb
-rw-r--r-- 470 protected_func.adb
-rw-r--r-- 244 protected_func.ads
-rw-r--r-- 282 protected_null.adb
-rw-r--r-- 450 protected_self_ref1.adb
-rw-r--r-- 314 protected_self_ref2.adb
-rw-r--r-- 444 pure_function1.adb
-rw-r--r-- 148 pure_function1.ads
-rw-r--r-- 497 pure_function2.adb
-rw-r--r-- 191 pure_function2.ads
-rw-r--r-- 329 pure_function3_pkg.ads
-rw-r--r-- 364 pure_function3a.adb
-rw-r--r-- 384 pure_function3b.adb
-rw-r--r-- 380 pure_function3c.adb
-rw-r--r-- 392 pure_subp_body.adb
-rw-r--r-- 54 pure_subp_body_pkg.ads
-rw-r--r-- 162 quote.adb
-rw-r--r-- 60 raise_ce.adb
-rw-r--r-- 424 raise_expr.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-- 133 remote_call_iface.adb
-rw-r--r-- 112 remote_call_iface.ads
-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-- 253 renaming10.adb
-rw-r--r-- 148 renaming10.ads
-rw-r--r-- 214 renaming11.adb
-rw-r--r-- 378 renaming11.ads
-rw-r--r-- 95 renaming12.adb
-rw-r--r-- 399 renaming12.ads
-rw-r--r-- 1705 renaming2.adb
-rw-r--r-- 213 renaming3.adb
-rw-r--r-- 342 renaming4.ads
-rw-r--r-- 576 renaming5.adb
-rw-r--r-- 57 renaming5.ads
-rw-r--r-- 561 renaming6.adb
-rw-r--r-- 238 renaming6.ads
-rw-r--r-- 216 renaming7.adb
-rw-r--r-- 61 renaming7_pkg.ads
-rw-r--r-- 172 renaming8.adb
-rw-r--r-- 119 renaming8_pkg1.ads
-rw-r--r-- 131 renaming8_pkg2.adb
-rw-r--r-- 231 renaming8_pkg2.ads
-rw-r--r-- 123 renaming8_pkg3.adb
-rw-r--r-- 86 renaming8_pkg3.ads
-rw-r--r-- 136 renaming9.adb
-rw-r--r-- 295 renaming9.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-- 96 rep_clause6.adb
-rw-r--r-- 1418 rep_clause6.ads
-rw-r--r-- 463 rep_clause7.adb
-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-- 218 rt_signals.adb
-rw-r--r-- 571 scalar_mode_agg_compare.adb
-rw-r--r-- 404 scalar_mode_agg_compare_loop.adb
-rw-r--r-- 764 sec_stack1.adb
-rw-r--r-- 3129 sec_stack2.adb
-rw-r--r-- 453 self.adb
-rw-r--r-- 574 self.ads
-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-- 16031 sets1.adb
-rw-r--r-- 168 show_deques_priority.adb
-rw-r--r-- 151 size_attribute.adb
-rw-r--r-- 271 size_clause1.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-- 297 slice9.adb
-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
-rw-r--r-- 464 spark1.adb
-rw-r--r-- 145 spark1.ads
-rw-r--r-- 258 spark2.adb
-rw-r--r-- 532 spark2.ads
drwxr-xr-x - specs
-rw-r--r-- 292 spipaterr.adb
-rw-r--r-- 275 split_args.adb
-rw-r--r-- 1287 sse_nolib.adb
drwxr-xr-x - sso
-rw-r--r-- 2010 sso1.adb
-rw-r--r-- 175 sso10.adb
-rw-r--r-- 167 sso10_pkg.ads
-rw-r--r-- 483 sso12.adb
-rw-r--r-- 966 sso13.adb
-rw-r--r-- 1297 sso14.adb
-rw-r--r-- 1276 sso15.adb
-rw-r--r-- 234 sso2.adb
-rw-r--r-- 298 sso2.ads
-rw-r--r-- 1167 sso3.adb
-rw-r--r-- 1195 sso4.adb
-rw-r--r-- 1134 sso5.adb
-rw-r--r-- 1193 sso6.adb
-rw-r--r-- 1134 sso7.adb
-rw-r--r-- 257 sso8.adb
-rw-r--r-- 785 sso8_pkg.ads
-rw-r--r-- 138 sso9.adb
-rw-r--r-- 311 sso9_pkg.ads
-rw-r--r-- 767 stack_check1.adb
-rw-r--r-- 851 stack_check2.adb
-rw-r--r-- 675 stack_check3.adb
-rw-r--r-- 63 stack_check3.ads
-rw-r--r-- 2099 stack_usage1.adb
-rw-r--r-- 242 stack_usage1_pkg.ads
-rw-r--r-- 2104 stack_usage1b.adb
-rw-r--r-- 2105 stack_usage1c.adb
-rw-r--r-- 527 stack_usage2.adb
-rw-r--r-- 913 stack_usage3.adb
-rw-r--r-- 147 stack_usage3_pkg.ads
-rw-r--r-- 235 stack_usage4.adb
-rw-r--r-- 269 stack_usage4_pkg.ads
-rw-r--r-- 198 stack_usage5.adb
-rw-r--r-- 242 stack_usage6.adb
-rw-r--r-- 369 stack_usage6_pkg.ads
-rw-r--r-- 426 static_pred1.adb
-rw-r--r-- 104 static_pred1.ads
-rw-r--r-- 244 statically_matching.ads
-rw-r--r-- 313 str1.adb
-rw-r--r-- 208 string_comparison.adb
-rw-r--r-- 415 string_merge1.adb
-rw-r--r-- 427 string_merge2.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-- 747 subp_inst.adb
-rw-r--r-- 587 subp_inst_pkg.adb
-rw-r--r-- 248 subp_inst_pkg.ads
-rw-r--r-- 167 suppress_initialization.adb
-rw-r--r-- 675 suppress_initialization_pkg.ads
-rw-r--r-- 273 sync1.adb
-rw-r--r-- 319 sync1.ads
-rw-r--r-- 436 sync2.adb
-rw-r--r-- 118 sync2.ads
-rw-r--r-- 594 sync_iface_call.adb
-rw-r--r-- 505 sync_iface_call_pkg.ads
-rw-r--r-- 120 sync_iface_call_pkg2.adb
-rw-r--r-- 148 sync_iface_call_pkg2.ads
-rw-r--r-- 414 sync_iface_test.adb
-rw-r--r-- 320 sync_iface_test.ads
-rw-r--r-- 326 synchronized1.adb
-rw-r--r-- 170 synchronized1.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-- 154 taft_type4.adb
-rw-r--r-- 257 taft_type4_pkg.adb
-rw-r--r-- 177 taft_type4_pkg.ads
-rw-r--r-- 450 tag1.adb
-rw-r--r-- 88 tagged1.adb
-rw-r--r-- 917 tagged1.ads
-rw-r--r-- 560 tagged_alloc_free.adb
-rw-r--r-- 580 tagged_prefix_call.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-- 270 tampering_check1.adb
-rw-r--r-- 118 tampering_check1_ivectors.ads
-rw-r--r-- 242 tampering_check1_trim.adb
-rw-r--r-- 114 tampering_check1_trim.ads
-rw-r--r-- 85 task1.adb
-rw-r--r-- 218 task1.ads
-rw-r--r-- 150 task1_pkg.adb
-rw-r--r-- 251 task1_pkg.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-- 1066 tls1.adb
-rw-r--r-- 567 tls1_pkg.ads
-rw-r--r-- 377 trampoline1.adb
-rw-r--r-- 439 trampoline2.adb
-rw-r--r-- 382 trampoline3.adb
-rw-r--r-- 470 trampoline4.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-- 878 unchecked_convert10.adb
-rw-r--r-- 936 unchecked_convert11.adb
-rw-r--r-- 932 unchecked_convert12.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-- 287 unchecked_convert9.adb
-rw-r--r-- 365 unchecked_convert9.ads
-rw-r--r-- 409 unchecked_union1.adb
-rw-r--r-- 944 unchecked_union2.adb
-rw-r--r-- 963 unchecked_union3.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-- 230 unreferenced.adb
-rw-r--r-- 806 unroll1.adb
-rw-r--r-- 175 unroll1.ads
-rw-r--r-- 622 unroll2.adb
-rw-r--r-- 175 unroll2.ads
-rw-r--r-- 619 unroll3.adb
-rw-r--r-- 175 unroll3.ads
-rw-r--r-- 617 unroll4.adb
-rw-r--r-- 211 unroll4.ads
-rw-r--r-- 73 unroll4_pkg.ads
-rw-r--r-- 460 valid1.adb
-rw-r--r-- 209 valid_scalars1.adb
-rw-r--r-- 274 validity_check.adb
-rw-r--r-- 251 validity_check2.adb
-rw-r--r-- 341 validity_check2_pkg.ads
-rw-r--r-- 3718 validity_check3.adb
-rw-r--r-- 3011 validity_check3.ads
-rw-r--r-- 259 valued_proc.adb
-rw-r--r-- 443 valued_proc_pkg.ads
-rw-r--r-- 552 varsize1.adb
-rw-r--r-- 458 varsize2.adb
-rw-r--r-- 621 varsize2.ads
-rw-r--r-- 66 varsize3_1.adb
-rw-r--r-- 142 varsize3_1.ads
-rw-r--r-- 143 varsize3_2.adb
-rw-r--r-- 136 varsize3_3.adb
-rw-r--r-- 139 varsize3_4.adb
-rw-r--r-- 142 varsize3_5.adb
-rw-r--r-- 138 varsize3_6.adb
-rw-r--r-- 248 varsize3_pkg1.ads
-rw-r--r-- 86 varsize3_pkg2.ads
-rw-r--r-- 164 varsize3_pkg3.ads
-rw-r--r-- 2797 vect1.adb
-rw-r--r-- 1558 vect1.ads
-rw-r--r-- 623 vect10.adb
-rw-r--r-- 326 vect10.ads
-rw-r--r-- 746 vect11.adb
-rw-r--r-- 330 vect11.ads
-rw-r--r-- 629 vect12.adb
-rw-r--r-- 252 vect12.ads
-rw-r--r-- 627 vect13.adb
-rw-r--r-- 252 vect13.ads
-rw-r--r-- 617 vect14.adb
-rw-r--r-- 387 vect15.adb
-rw-r--r-- 163 vect15.ads
-rw-r--r-- 454 vect16.adb
-rw-r--r-- 169 vect16.ads
-rw-r--r-- 399 vect17.adb
-rw-r--r-- 179 vect17.ads
-rw-r--r-- 432 vect18.adb
-rw-r--r-- 167 vect18.ads
-rw-r--r-- 98 vect1_pkg.ads
-rw-r--r-- 2797 vect2.adb
-rw-r--r-- 1599 vect2.ads
-rw-r--r-- 100 vect2_pkg.ads
-rw-r--r-- 2797 vect3.adb
-rw-r--r-- 1664 vect3.ads
-rw-r--r-- 165 vect3_pkg.ads
-rw-r--r-- 2947 vect4.adb
-rw-r--r-- 1753 vect4.ads
-rw-r--r-- 98 vect4_pkg.ads
-rw-r--r-- 2947 vect5.adb
-rw-r--r-- 1796 vect5.ads
-rw-r--r-- 100 vect5_pkg.ads
-rw-r--r-- 2947 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-- 1314 vfa1_1.adb
-rw-r--r-- 1206 vfa1_2.adb
-rw-r--r-- 1253 vfa1_3.adb
-rw-r--r-- 1235 vfa1_4.adb
-rw-r--r-- 954 vfa1_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-- 231 volatile13.adb
-rw-r--r-- 495 volatile13.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-- 318 volatile6.adb
-rw-r--r-- 380 volatile7.adb
-rw-r--r-- 379 volatile8.adb
-rw-r--r-- 353 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-- 438 warn11.adb
-rw-r--r-- 274 warn13.adb
-rw-r--r-- 1001 warn14.adb
-rw-r--r-- 202 warn15-core-main.adb
-rw-r--r-- 65 warn15-core.ads
-rw-r--r-- 53 warn15-interfaces.ads
-rw-r--r-- 30 warn15.ads
-rw-r--r-- 914 warn16.adb
-rw-r--r-- 492 warn17.adb
-rw-r--r-- 299 warn18.adb
-rw-r--r-- 335 warn19.adb
-rw-r--r-- 105 warn19.ads
-rw-r--r-- 117 warn19_pkg.ads
-rw-r--r-- 413 warn2.adb
-rw-r--r-- 398 warn3.adb
-rw-r--r-- 847 warn4.adb
-rw-r--r-- 835 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
-rw-r--r-- 2238 wide_wide_value1.adb